Lines Matching refs:isKnownNegative

1026     return SE->isKnownNegative(Delta);  in isKnownPredicate()
1053         if (SE->isKnownNegative(Limit))  in isKnownLessThan()
1062   return SE->isKnownNegative(LimitedBound);  in isKnownLessThan()
1334   if (SE->isKnownNegative(ConstCoeff)) {  in weakCrossingSIVtest()
1356   if (SE->isKnownNegative(Delta)) {  in weakCrossingSIVtest()
1729     SE->isKnownNegative(ConstCoeff) ?  in weakZeroSrcSIVtest()
1732     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;  in weakZeroSrcSIVtest()
1757   if (SE->isKnownNegative(NewDelta)) {  in weakZeroSrcSIVtest()
1838     SE->isKnownNegative(ConstCoeff) ?  in weakZeroDstSIVtest()
1841     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;  in weakZeroDstSIVtest()
1866   if (SE->isKnownNegative(NewDelta)) {  in weakZeroDstSIVtest()
2103       if (SE->isKnownNegative(C2_C1)) {  in symbolicRDIVtest()