Lines Matching refs:isKnownNegative

1004     return SE->isKnownNegative(Delta);  in isKnownPredicate()
1031         if (SE->isKnownNegative(Limit))  in isKnownLessThan()
1040   return SE->isKnownNegative(LimitedBound);  in isKnownLessThan()
1312   if (SE->isKnownNegative(ConstCoeff)) {  in weakCrossingSIVtest()
1334   if (SE->isKnownNegative(Delta)) {  in weakCrossingSIVtest()
1707     SE->isKnownNegative(ConstCoeff) ?  in weakZeroSrcSIVtest()
1710     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;  in weakZeroSrcSIVtest()
1735   if (SE->isKnownNegative(NewDelta)) {  in weakZeroSrcSIVtest()
1816     SE->isKnownNegative(ConstCoeff) ?  in weakZeroDstSIVtest()
1819     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;  in weakZeroDstSIVtest()
1844   if (SE->isKnownNegative(NewDelta)) {  in weakZeroDstSIVtest()
2081       if (SE->isKnownNegative(C2_C1)) {  in symbolicRDIVtest()