• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /freebsd-13-stable/contrib/llvm-project/llvm/lib/Analysis/

Lines Matching defs:Pred1

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)
1723 ICmpInst::Predicate Pred1;
1724 if (!match(Cmp1, m_c_ICmp(Pred1, m_Specific(X), m_Value())) ||
1725 ICmpInst::isEquality(Pred1))
1731 Pred1 = ICmpInst::getInversePredicate(Pred1);
1736 if (ICmpInst::isSigned(Pred1)) {
1737 Pred1 = ICmpInst::getUnsignedPredicate(Pred1);
1744 if (Pred0 == ICmpInst::ICMP_NE && Pred1 == ICmpInst::ICMP_ULT)
1750 if (Pred0 == ICmpInst::ICMP_NE && Pred1 == ICmpInst::ICMP_UGT)
1788 ICmpInst::Predicate Pred0, Pred1;
1794 if (!match(Op1, m_ICmp(Pred1, m_Specific(V), m_Value())))
1808 if (Pred0 == ICmpInst::ICMP_UGE && Pred1 == ICmpInst::ICMP_SLE)
1810 if (Pred0 == ICmpInst::ICMP_SGE && Pred1 == ICmpInst::ICMP_SLE && isNSW)
1814 if (Pred0 == ICmpInst::ICMP_UGT && Pred1 == ICmpInst::ICMP_SLE)
1816 if (Pred0 == ICmpInst::ICMP_SGT && Pred1 == ICmpInst::ICMP_SLE && isNSW)
1822 if (Pred0 == ICmpInst::ICMP_UGE && Pred1 == ICmpInst::ICMP_ULE)
1825 if (Pred0 == ICmpInst::ICMP_UGT && Pred1 == ICmpInst::ICMP_ULE)