Searched refs:isKnownNegative (Results 1 – 4 of 4) sorted by relevance
917 return SE->isKnownNegative(Delta); in isKnownPredicate()1182 if (SE->isKnownNegative(ConstCoeff)) { in weakCrossingSIVtest()1206 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()1615 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()1618 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()1643 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()1725 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()1728 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()1753 if (SE->isKnownNegative(NewDelta)) { in weakZeroDstSIVtest()1979 if (SE->isKnownNegative(C2_C1)) { in symbolicRDIVtest()
143 bool isKnownNegative = false; in ComputeMaskedBitsMul() local161 isKnownNegative = (isKnownNegativeOp1 && isKnownNonNegativeOp0 && in ComputeMaskedBitsMul()191 else if (isKnownNegative && !KnownZero.isNegative()) in ComputeMaskedBitsMul()
1032 } else if (isKnownNegative(Step)) { in getZeroExtendExpr()1072 if (SE->isKnownNegative(Step)) { in getOverflowLimitForStep()5971 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution5988 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
804 bool isKnownNegative(const SCEV *S);