Lines Matching refs:isKnownNegative

998     return SE->isKnownNegative(Delta);  in isKnownPredicate()
1025         if (SE->isKnownNegative(Limit))  in isKnownLessThan()
1034   return SE->isKnownNegative(LimitedBound);  in isKnownLessThan()
1306   if (SE->isKnownNegative(ConstCoeff)) {  in weakCrossingSIVtest()
1328   if (SE->isKnownNegative(Delta)) {  in weakCrossingSIVtest()
1728     SE->isKnownNegative(ConstCoeff) ?  in weakZeroSrcSIVtest()
1731     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;  in weakZeroSrcSIVtest()
1756   if (SE->isKnownNegative(NewDelta)) {  in weakZeroSrcSIVtest()
1837     SE->isKnownNegative(ConstCoeff) ?  in weakZeroDstSIVtest()
1840     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;  in weakZeroDstSIVtest()
1865   if (SE->isKnownNegative(NewDelta)) {  in weakZeroDstSIVtest()
2086       if (SE->isKnownNegative(C2_C1)) {  in symbolicRDIVtest()