Lines Matching refs:ICMP_EQ
436 if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD())) in intersectConstraints()
465 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) { in intersectConstraints()
470 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) in intersectConstraints()
551 if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC())) in intersectConstraints()
940 if (Pred == CmpInst::ICMP_EQ || in isKnownPredicate()
965 case CmpInst::ICMP_EQ: in isKnownPredicate()
1024 if (isKnownPredicate(CmpInst::ICMP_EQ, Src, Dst)) { in testZIV()
1276 if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) { in weakCrossingSIVtest()
1643 if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) { in weakZeroSrcSIVtest()
1670 if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) { in weakZeroSrcSIVtest()
1752 if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) { in weakZeroDstSIVtest()
1779 if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) { in weakZeroDstSIVtest()
2673 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart)) in findBoundsALL()
2676 if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart)) in findBoundsALL()
3070 else if (isKnownPredicate(CmpInst::ICMP_EQ, A, B)) { in propagateLine()