arsenm added a comment. Can you post a real example? I would expect LICM to be used as a canonicalization pass, and then operations would be sunk as appropriate Repository: rL LLVM CHANGES SINCE LAST ACTION https://reviews.llvm.org/D64557/new/ https://reviews.llvm.org/D64557