Home
last modified time | relevance | path

Searched refs:isKnownNegative (Results 1 – 4 of 4) sorted by relevance

/external/llvm/lib/Analysis/
DDependenceAnalysis.cpp935 return SE->isKnownNegative(Delta); in isKnownPredicate()
1200 if (SE->isKnownNegative(ConstCoeff)) { in weakCrossingSIVtest()
1224 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()
1633 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()
1636 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()
1661 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()
1743 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()
1746 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()
1771 if (SE->isKnownNegative(NewDelta)) { in weakZeroDstSIVtest()
1997 if (SE->isKnownNegative(C2_C1)) { in symbolicRDIVtest()
DValueTracking.cpp280 bool isKnownNegative = false; in computeKnownBitsMul() local
298 isKnownNegative = (isKnownNegativeOp1 && isKnownNonNegativeOp0 && in computeKnownBitsMul()
328 else if (isKnownNegative && !KnownZero.isNegative()) in computeKnownBitsMul()
DScalarEvolution.cpp1165 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()
1540 } else if (isKnownNegative(Step)) { in getZeroExtendExpr()
6534 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution
6551 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
/external/llvm/include/llvm/Analysis/
DScalarEvolution.h866 bool isKnownNegative(const SCEV *S);