440     if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD()))  in intersectConstraints()
442     if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) {  in intersectConstraints()
469     if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) {  in intersectConstraints()
474       if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2))  in intersectConstraints()
476       if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {  in intersectConstraints()
483     if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {  in intersectConstraints()
555     if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC()))  in intersectConstraints()
557     if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) {  in intersectConstraints()
899   if (Pred == CmpInst::ICMP_EQ ||  in isKnownPredicate()
900       Pred == CmpInst::ICMP_NE) {  in isKnownPredicate()
924   case CmpInst::ICMP_EQ:  in isKnownPredicate()
926   case CmpInst::ICMP_NE:  in isKnownPredicate()
928   case CmpInst::ICMP_SGE:  in isKnownPredicate()
930   case CmpInst::ICMP_SLE:  in isKnownPredicate()
932   case CmpInst::ICMP_SGT:  in isKnownPredicate()
934   case CmpInst::ICMP_SLT:  in isKnownPredicate()
984   if (isKnownPredicate(CmpInst::ICMP_EQ, Src, Dst)) {  in testZIV()
988   if (isKnownPredicate(CmpInst::ICMP_NE, Src, Dst)) {  in testZIV()
1057     if (isKnownPredicate(CmpInst::ICMP_SGT, AbsDelta, Product)) {  in strongSIVtest()
1239     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) {  in weakCrossingSIVtest()
1245     if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) {  in weakCrossingSIVtest()
1621   if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {  in weakZeroSrcSIVtest()
1643     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {  in weakZeroSrcSIVtest()
1648     if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) {  in weakZeroSrcSIVtest()
1731   if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {  in weakZeroDstSIVtest()
1753     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {  in weakZeroDstSIVtest()
1758     if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) {  in weakZeroDstSIVtest()
1968         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) {  in symbolicRDIVtest()
1977         if (isKnownPredicate(CmpInst::ICMP_SLT, A2N2, C1_C2)) {  in symbolicRDIVtest()
1991         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) {  in symbolicRDIVtest()
2012         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) {  in symbolicRDIVtest()
2029         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) {  in symbolicRDIVtest()
2038         if (isKnownPredicate(CmpInst::ICMP_SLT, C1_C2, A2N2)) {  in symbolicRDIVtest()
2639     if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta))  in testBounds()
2642     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound))  in testBounds()
2679     if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart))  in findBoundsALL()
2682     if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart))  in findBoundsALL()
3088   else if (isKnownPredicate(CmpInst::ICMP_EQ, A, B)) {  in propagateLine()
3172     if (!isKnownPredicate(CmpInst::ICMP_NE,  in updateDirection()
3177     if (!isKnownPredicate(CmpInst::ICMP_SLE,  in updateDirection()
3182     if (!isKnownPredicate(CmpInst::ICMP_SGE,  in updateDirection()