[llvm] [InstCombine] Missed optimization: Fold (sext(a) & sext(c1)) == c2 to (a & c1) == c2 (PR #112646)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Thu Oct 17 00:36:25 PDT 2024
https://github.com/nikic requested changes to this pull request.
The pattern you implemented looks way too specific to me. You are checking for specific constants C1 and C2, but this should be implemented for *any* C1/C2 that satisfy the necessary preconditions from the proof.
https://github.com/llvm/llvm-project/pull/112646
More information about the llvm-commits
mailing list