diff options
Diffstat (limited to 'llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp')
| -rw-r--r-- | llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp b/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp index 3eeb2272613..6252e5d15a1 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp @@ -1107,21 +1107,6 @@ static Value *foldUnsignedUnderflowCheck(ICmpInst *ZeroICmp, if (!match(ZeroCmpOp, m_Sub(m_Value(Base), m_Value(Offset)))) return nullptr; - // ZeroCmpOp < Base && ZeroCmpOp != 0 --> Base > Offset iff Offset != 0 - // ZeroCmpOp >= Base || ZeroCmpOp == 0 --> Base <= Base iff Offset != 0 - if (match(UnsignedICmp, - m_c_ICmp(UnsignedPred, m_Specific(ZeroCmpOp), m_Specific(Base)))) { - if (UnsignedICmp->getOperand(0) != ZeroCmpOp) - UnsignedPred = ICmpInst::getSwappedPredicate(UnsignedPred); - - if (UnsignedPred == ICmpInst::ICMP_ULT && IsAnd && - EqPred == ICmpInst::ICMP_NE && IsKnownNonZero(Offset)) - return Builder.CreateICmpUGT(Base, Offset); - if (UnsignedPred == ICmpInst::ICMP_UGE && !IsAnd && - EqPred == ICmpInst::ICMP_EQ && IsKnownNonZero(Offset)) - return Builder.CreateICmpULE(Base, Offset); - } - if (!match(UnsignedICmp, m_c_ICmp(UnsignedPred, m_Specific(Base), m_Specific(Offset))) || !ICmpInst::isUnsigned(UnsignedPred)) |
