522     if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD()))  in intersectConstraints()
524     if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) {  in intersectConstraints()
551     if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) {  in intersectConstraints()
556       if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2))  in intersectConstraints()
558       if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {  in intersectConstraints()
565     if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {  in intersectConstraints()
637     if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC()))  in intersectConstraints()
639     if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) {  in intersectConstraints()
1051 bool DependenceInfo::isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *X,  in isKnownPredicate()  function in DependenceInfo
1069   if (SE->isKnownPredicate(Pred, X, Y))  in isKnownPredicate()
1188   if (isKnownPredicate(CmpInst::ICMP_EQ, Src, Dst)) {  in testZIV()
1192   if (isKnownPredicate(CmpInst::ICMP_NE, Src, Dst)) {  in testZIV()
1258     if (isKnownPredicate(CmpInst::ICMP_SGT, AbsDelta, Product)) {  in strongSIVtest()
1434     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) {  in weakCrossingSIVtest()
1440     if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) {  in weakCrossingSIVtest()
1780   if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {  in weakZeroSrcSIVtest()
1802     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {  in weakZeroSrcSIVtest()
1807     if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) {  in weakZeroSrcSIVtest()
1889   if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {  in weakZeroDstSIVtest()
1911     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {  in weakZeroDstSIVtest()
1916     if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) {  in weakZeroDstSIVtest()
2137         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) {  in symbolicRDIVtest()
2146         if (isKnownPredicate(CmpInst::ICMP_SLT, A2N2, C1_C2)) {  in symbolicRDIVtest()
2160         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) {  in symbolicRDIVtest()
2181         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) {  in symbolicRDIVtest()
2198         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) {  in symbolicRDIVtest()
2207         if (isKnownPredicate(CmpInst::ICMP_SLT, C1_C2, A2N2)) {  in symbolicRDIVtest()
2807     if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta))  in testBounds()
2810     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound))  in testBounds()
2845     if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart))  in findBoundsALL()
2848     if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart))  in findBoundsALL()
3243   else if (isKnownPredicate(CmpInst::ICMP_EQ, A, B)) {  in propagateLine()
3325     if (!isKnownPredicate(CmpInst::ICMP_NE,  in updateDirection()
3330     if (!isKnownPredicate(CmpInst::ICMP_SLE,  in updateDirection()
3335     if (!isKnownPredicate(CmpInst::ICMP_SGE,  in updateDirection()