[llvm] [InstCombine] Missed optimization: Fold (sext(a) & sext(c1)) == c2 to (a & c1) == c2 (PR #112646)
Lee Wei via llvm-commits
llvm-commits at lists.llvm.org
Thu Oct 24 20:20:11 PDT 2024
leewei05 wrote:
I've clarified the matching pattern of this problem with @XChy and updated the changes based on the providing proof. Thanks again!
Here's an updated Alive2 proof: https://alive2.llvm.org/ce/z/iQUQfE
https://github.com/llvm/llvm-project/pull/112646
More information about the llvm-commits
mailing list