Lines Matching defs:Pred2
3925 static bool isImpliedTrueByMatchingCmp(CmpPredicate Pred1, CmpPredicate Pred2) {
3928 if (CmpPredicate::getMatching(Pred1, Pred2))
3931 if (Pred1.hasSameSign() && CmpInst::isSigned(Pred2))
3933 else if (Pred2.hasSameSign() && CmpInst::isSigned(Pred1))
3934 Pred2 = ICmpInst::getFlippedSignednessPredicate(Pred2);
3941 return Pred2 == CmpInst::ICMP_UGE || Pred2 == CmpInst::ICMP_ULE ||
3942 Pred2 == CmpInst::ICMP_SGE || Pred2 == CmpInst::ICMP_SLE;
3944 return Pred2 == CmpInst::ICMP_NE || Pred2 == CmpInst::ICMP_UGE;
3946 return Pred2 == CmpInst::ICMP_NE || Pred2 == CmpInst::ICMP_ULE;
3948 return Pred2 == CmpInst::ICMP_NE || Pred2 == CmpInst::ICMP_SGE;
3950 return Pred2 == CmpInst::ICMP_NE || Pred2 == CmpInst::ICMP_SLE;
3956 CmpPredicate Pred2) {
3958 ICmpInst::getInverseCmpPredicate(Pred2));
3962 CmpPredicate Pred2) {
3963 if (isImpliedTrueByMatchingCmp(Pred1, Pred2))
3965 if (isImpliedFalseByMatchingCmp(Pred1, Pred2))