Lines Matching refs:Pred2
3952 static bool isImpliedTrueByMatchingCmp(CmpPredicate Pred1, CmpPredicate Pred2) { in isImpliedTrueByMatchingCmp() argument
3955 if (CmpPredicate::getMatching(Pred1, Pred2)) in isImpliedTrueByMatchingCmp()
3958 if (Pred1.hasSameSign() && CmpInst::isSigned(Pred2)) in isImpliedTrueByMatchingCmp()
3960 else if (Pred2.hasSameSign() && CmpInst::isSigned(Pred1)) in isImpliedTrueByMatchingCmp()
3961 Pred2 = ICmpInst::getFlippedSignednessPredicate(Pred2); in isImpliedTrueByMatchingCmp()
3968 return Pred2 == CmpInst::ICMP_UGE || Pred2 == CmpInst::ICMP_ULE || in isImpliedTrueByMatchingCmp()
3969 Pred2 == CmpInst::ICMP_SGE || Pred2 == CmpInst::ICMP_SLE; in isImpliedTrueByMatchingCmp()
3971 return Pred2 == CmpInst::ICMP_NE || Pred2 == CmpInst::ICMP_UGE; in isImpliedTrueByMatchingCmp()
3973 return Pred2 == CmpInst::ICMP_NE || Pred2 == CmpInst::ICMP_ULE; in isImpliedTrueByMatchingCmp()
3975 return Pred2 == CmpInst::ICMP_NE || Pred2 == CmpInst::ICMP_SGE; in isImpliedTrueByMatchingCmp()
3977 return Pred2 == CmpInst::ICMP_NE || Pred2 == CmpInst::ICMP_SLE; in isImpliedTrueByMatchingCmp()
3983 CmpPredicate Pred2) { in isImpliedFalseByMatchingCmp() argument
3985 ICmpInst::getInverseCmpPredicate(Pred2)); in isImpliedFalseByMatchingCmp()
3989 CmpPredicate Pred2) { in isImpliedByMatchingCmp() argument
3990 if (isImpliedTrueByMatchingCmp(Pred1, Pred2)) in isImpliedByMatchingCmp()
3992 if (isImpliedFalseByMatchingCmp(Pred1, Pred2)) in isImpliedByMatchingCmp()