[llvm] [InstCombine] Fold (X << Y) / (X << Z) -> 1 << Y >> Z (PR #68863)

via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 12 22:20:06 PDT 2023


XChy wrote:

For udiv, nsw in dividend should be preserved too. [Whole proofs](https://alive2.llvm.org/ce/z/A5b85F)

https://github.com/llvm/llvm-project/pull/68863


More information about the llvm-commits mailing list