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()
1721 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()
1724 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()
1749 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()
1830 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()
1833 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()
1858 if (SE->isKnownNegative(NewDelta)) { in weakZeroDstSIVtest()
2079 if (SE->isKnownNegative(C2_C1)) { in symbolicRDIVtest()