lib/Analysis/InstructionSimplify.cpp

80   CmpInst::Predicate ExpectedPred, Pred1, Pred2;
102   if (!match(Cond, m_c_BinOp(m_c_ICmp(Pred1, m_Specific(TrueVal),
105       Pred1 != Pred2 || Pred1 != ExpectedPred)
1526   ICmpInst::Predicate Pred0, Pred1;
1529       !match(Op1, m_ICmp(Pred1, m_Specific(A), m_Specific(B))))
1532   // We have (icmp Pred0, A, B) & (icmp Pred1, A, B).
1535   if (ICmpInst::isImpliedTrueByMatchingCmp(Pred0, Pred1))
1539   if ((Pred0 == ICmpInst::getInversePredicate(Pred1)) ||
1540       (Pred0 == ICmpInst::ICMP_EQ && ICmpInst::isFalseWhenEqual(Pred1)) ||
1541       (Pred0 == ICmpInst::ICMP_SLT && Pred1 == ICmpInst::ICMP_SGT) ||
1542       (Pred0 == ICmpInst::ICMP_ULT && Pred1 == ICmpInst::ICMP_UGT))
1551   ICmpInst::Predicate Pred0, Pred1;
1554       !match(Op1, m_ICmp(Pred1, m_Specific(A), m_Specific(B))))
1557   // We have (icmp Pred0, A, B) | (icmp Pred1, A, B).
1560   if (ICmpInst::isImpliedTrueByMatchingCmp(Pred0, Pred1))
1565   if ((Pred0 == ICmpInst::getInversePredicate(Pred1)) ||
1566       (Pred0 == ICmpInst::ICMP_NE && ICmpInst::isTrueWhenEqual(Pred1)) ||
1567       (Pred0 == ICmpInst::ICMP_SLE && Pred1 == ICmpInst::ICMP_SGE) ||
1568       (Pred0 == ICmpInst::ICMP_ULE && Pred1 == ICmpInst::ICMP_UGE))
1654   ICmpInst::Predicate Pred0, Pred1;
1660   if (!match(Op1, m_ICmp(Pred1, m_Specific(V), m_Value())))
1674       if (Pred0 == ICmpInst::ICMP_ULT && Pred1 == ICmpInst::ICMP_SGT)
1676       if (Pred0 == ICmpInst::ICMP_SLT && Pred1 == ICmpInst::ICMP_SGT && isNSW)
1680       if (Pred0 == ICmpInst::ICMP_ULE && Pred1 == ICmpInst::ICMP_SGT)
1682       if (Pred0 == ICmpInst::ICMP_SLE && Pred1 == ICmpInst::ICMP_SGT && isNSW)
1688       if (Pred0 == ICmpInst::ICMP_ULT && Pred1 == ICmpInst::ICMP_UGT)
1691       if (Pred0 == ICmpInst::ICMP_ULE && Pred1 == ICmpInst::ICMP_UGT)
1727   ICmpInst::Predicate Pred0, Pred1;
1733   if (!match(Op1, m_ICmp(Pred1, m_Specific(V), m_Value())))
1747       if (Pred0 == ICmpInst::ICMP_UGE && Pred1 == ICmpInst::ICMP_SLE)
1749       if (Pred0 == ICmpInst::ICMP_SGE && Pred1 == ICmpInst::ICMP_SLE && isNSW)
1753       if (Pred0 == ICmpInst::ICMP_UGT && Pred1 == ICmpInst::ICMP_SLE)
1755       if (Pred0 == ICmpInst::ICMP_SGT && Pred1 == ICmpInst::ICMP_SLE && isNSW)
1761       if (Pred0 == ICmpInst::ICMP_UGE && Pred1 == ICmpInst::ICMP_ULE)
1764       if (Pred0 == ICmpInst::ICMP_UGT && Pred1 == ICmpInst::ICMP_ULE)