[llvm] [InstCombine] Propogate disjoint flags during shl-binop transform (PR #91333)

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Tue May 7 19:25:05 PDT 2024


dtcxzyw wrote:

> Proof: https://alive2.llvm.org/ce/z/7YWJ69

The proof doesn't match your implementation.



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


More information about the llvm-commits mailing list