Lines Matching refs:ICMP_SGT

973   case CmpInst::ICMP_SGT:  in isKnownPredicate()
1094     if (isKnownPredicate(CmpInst::ICMP_SGT, AbsDelta, Product)) {  in strongSIVtest()
1270     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) {  in weakCrossingSIVtest()
1665     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {  in weakZeroSrcSIVtest()
1774     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {  in weakZeroDstSIVtest()
1984         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) {  in symbolicRDIVtest()
2007         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) {  in symbolicRDIVtest()
2028         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) {  in symbolicRDIVtest()
2045         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) {  in symbolicRDIVtest()
2635     if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta))  in testBounds()
2638     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound))  in testBounds()