[llvm] [InstCombine] Fold `(icmp pred (trunc nuw/nsw X), C)` -> `(icmp pred X, (zext/sext C))` (PR #87935)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Sat May 11 07:04:09 PDT 2024


================
@@ -1409,6 +1409,19 @@ Instruction *InstCombinerImpl::foldICmpTruncConstant(ICmpInst &Cmp,
                                                      const APInt &C) {
   ICmpInst::Predicate Pred = Cmp.getPredicate();
   Value *X = Trunc->getOperand(0);
+  Type *SrcTy = X->getType();
+  unsigned DstBits = Trunc->getType()->getScalarSizeInBits(),
+           SrcBits = SrcTy->getScalarSizeInBits();
+
+  // Match (icmp pred (trunc nuw/nsw X), C)
+  // Which we can convert to (icmp pred X, (sext/zext C))
+  if (shouldChangeType(DstBits, SrcBits)) {
----------------
nikic wrote:

Shouldn't this be passing the types, not the bit width? That way we will not transform vector cases, for which we don't have sensible profitability heuristics here.

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


More information about the llvm-commits mailing list