Lines Matching refs:isKnownNegative

1089     return SE->isKnownNegative(Delta);  in isKnownPredicate()
1116         if (SE->isKnownNegative(Limit))  in isKnownLessThan()
1125   return SE->isKnownNegative(LimitedBound);  in isKnownLessThan()
1397   if (SE->isKnownNegative(ConstCoeff)) {  in weakCrossingSIVtest()
1419   if (SE->isKnownNegative(Delta)) {  in weakCrossingSIVtest()
1792     SE->isKnownNegative(ConstCoeff) ?  in weakZeroSrcSIVtest()
1795     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;  in weakZeroSrcSIVtest()
1820   if (SE->isKnownNegative(NewDelta)) {  in weakZeroSrcSIVtest()
1901     SE->isKnownNegative(ConstCoeff) ?  in weakZeroDstSIVtest()
1904     SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta;  in weakZeroDstSIVtest()
1929   if (SE->isKnownNegative(NewDelta)) {  in weakZeroDstSIVtest()
2166       if (SE->isKnownNegative(C2_C1)) {  in symbolicRDIVtest()