diff options
Diffstat (limited to 'lib/Transforms/Scalar/InstructionCombining.cpp')
| -rw-r--r-- | lib/Transforms/Scalar/InstructionCombining.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index 27af3c397a..8d35bb5af0 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -3594,6 +3594,22 @@ Instruction *InstCombiner::visitAnd(BinaryOperator &I) { } } + + { // (icmp ugt/ult A, C) & (icmp B, C) --> (icmp (A|B), C) + // where C is a power of 2 + Value *A, *B; + ConstantInt *C1, *C2; + ICmpInst::Predicate LHSCC, RHSCC; + if (match(&I, m_And(m_ICmp(LHSCC, m_Value(A), m_ConstantInt(C1)), + m_ICmp(RHSCC, m_Value(B), m_ConstantInt(C2))))) + if (C1 == C2 && LHSCC == RHSCC && C1->getValue().isPowerOf2() && + (LHSCC == ICmpInst::ICMP_ULT || LHSCC == ICmpInst::ICMP_UGT)) { + Instruction *NewOr = BinaryOperator::CreateOr(A, B); + InsertNewInstBefore(NewOr, I); + return new ICmpInst(LHSCC, NewOr, C1); + } + } + if (ICmpInst *RHS = dyn_cast<ICmpInst>(Op1)) { // (icmp1 A, B) & (icmp2 A, B) --> (icmp3 A, B) if (Instruction *R = AssociativeOpt(I, FoldICmpLogical(*this, RHS))) |