[llvm] [InstCombine] Make the `(icmp eq/ne (and X, Y), X)` canonicalization work for non-const operands (PR #84688)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Wed Apr 10 02:43:26 PDT 2024


================
@@ -7221,6 +7219,11 @@ Instruction *InstCombinerImpl::visitICmpInst(ICmpInst &I) {
           foldICmpCommutative(I.getSwappedPredicate(), Op1, Op0, I))
     return Res;
 
+  // Need this to be after foldICmpCommutative so we do mask folds before
+  // transforming the `and`.
----------------
nikic wrote:

Could you please share a new diff of what regresses without the foldICmpWithLowBitMasked special case, now that your other changes have landed?

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


More information about the llvm-commits mailing list