summaryrefslogtreecommitdiffstats
path: root/llvm/lib/Transforms
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/lib/Transforms')
-rw-r--r--llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp14
1 files changed, 0 insertions, 14 deletions
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp b/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
index fea0d0245c8..8c0ad525980 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
@@ -3008,20 +3008,6 @@ Instruction *InstCombiner::visitICmpInst(ICmpInst &I) {
// icmp X, X+Cst
if (match(Op1, m_Add(m_Value(X), m_ConstantInt(Cst))) && Op0 == X)
return FoldICmpAddOpCst(I, X, Cst, I.getSwappedPredicate());
-
- ConstantInt *Cst2;
- if (I.isSigned() &&
- match(Op1, m_ConstantInt(Cst)) &&
- match(Op0, m_Add(m_Value(X), m_ConstantInt(Cst2))) &&
- cast<BinaryOperator>(Op0)->hasNoSignedWrap()) {
- // icmp X+Cst2, Cst --> icmp X, Cst-Cst2
- // iff Cst-Cst2 does not overflow
- bool Overflow;
- APInt NewCst = Cst->getValue().ssub_ov(Cst2->getValue(), Overflow);
- if (!Overflow)
- return new ICmpInst(I.getPredicate(), X,
- ConstantInt::get(Cst->getType(), NewCst));
- }
}
return Changed ? &I : 0;
}
OpenPOWER on IntegriCloud