Lines Matching refs:ICMP_EQ
441 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) in intersectConstraints()
470 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
475 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
556 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) in intersectConstraints()
948 if (Pred == CmpInst::ICMP_EQ || in isKnownPredicate()
973 case CmpInst::ICMP_EQ: in isKnownPredicate()
1035 if (isKnownPredicate(CmpInst::ICMP_EQ, Src, Dst)) { in testZIV()
1294 if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) { in weakCrossingSIVtest()
1670 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) { in weakZeroSrcSIVtest()
1697 if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) { in weakZeroSrcSIVtest()
1780 if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) { in weakZeroDstSIVtest()
1807 if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) { in weakZeroDstSIVtest()
2728 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart)) in findBoundsALL()
2731 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart)) in findBoundsALL()
3135 else if (isKnownPredicate(CmpInst::ICMP_EQ, A, B)) { in propagateLine()