Lines Matching refs:ICMP_SGT
981 case CmpInst::ICMP_SGT: in isKnownPredicate()
1108 if (isKnownPredicate(CmpInst::ICMP_SGT, AbsDelta, Product)) { in strongSIVtest()
1288 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) { in weakCrossingSIVtest()
1692 if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) { in weakZeroSrcSIVtest()
1802 if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) { in weakZeroDstSIVtest()
2017 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) { in symbolicRDIVtest()
2040 if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) { in symbolicRDIVtest()
2061 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) { in symbolicRDIVtest()
2078 if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) { in symbolicRDIVtest()
2688 if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta)) in testBounds()
2691 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound)) in testBounds()