Home
last modified time | relevance | path

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

/external/llvm-project/llvm/lib/Analysis/
DLoopCacheAnalysis.cpp99 if (StepRec && SE.isKnownNegative(StepRec)) in isOneDimensionalArray()
297 if (SE.isKnownNegative(Stride)) in computeRefCost()
372 if (StepRec && SE.isKnownNegative(StepRec)) in delinearize()
424 Stride = SE.isKnownNegative(Stride) ? SE.getNegativeSCEV(Stride) : Stride; in isConsecutive()
DDependenceAnalysis.cpp1004 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()
[all …]
DLoopInfo.cpp279 if (SE.isKnownNegative(StepRecur)) in getDirection()
DValueTracking.cpp345 bool llvm::isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownNegative() function in llvm
422 bool isKnownNegative = false; in computeKnownBitsMul() local
440 isKnownNegative = in computeKnownBitsMul()
456 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
DScalarEvolution.cpp1246 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()
1692 if (isKnownNegative(Step)) { in getZeroExtendExpr()
6052 else if (isKnownNegative(Step) && in getRangeForAffineNoSelfWrappingAR()
9405 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution
9422 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
10863 if (isKnownNegative(RHS) && in isImpliedViaOperations()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
DDependenceAnalysis.cpp1002 return SE->isKnownNegative(Delta); in isKnownPredicate()
1029 if (SE->isKnownNegative(Limit)) in isKnownLessThan()
1038 return SE->isKnownNegative(LimitedBound); in isKnownLessThan()
1310 if (SE->isKnownNegative(ConstCoeff)) { in weakCrossingSIVtest()
1332 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()
1732 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()
1735 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()
1760 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()
1841 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()
1844 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()
[all …]
DLoopInfo.cpp278 if (SE.isKnownNegative(StepRecur)) in getDirection()
DValueTracking.cpp268 bool llvm::isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownNegative() function in llvm
331 bool isKnownNegative = false; in computeKnownBitsMul() local
349 isKnownNegative = (isKnownNegativeOp1 && isKnownNonNegativeOp0 && in computeKnownBitsMul()
436 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
DScalarEvolution.cpp1361 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()
1811 } else if (isKnownNegative(Step)) { in getZeroExtendExpr()
9153 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution
9170 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
10405 if (isKnownNegative(RHS) && in isImpliedViaOperations()
/external/llvm/include/llvm/Analysis/
DValueTracking.h111 bool isKnownNegative(Value *V, const DataLayout &DL, unsigned Depth = 0,
DScalarEvolution.h1452 bool isKnownNegative(const SCEV *S);
/external/llvm/lib/Analysis/
DDependenceAnalysis.cpp976 return SE->isKnownNegative(Delta); in isKnownPredicate()
1233 if (SE->isKnownNegative(ConstCoeff)) { in weakCrossingSIVtest()
1255 if (SE->isKnownNegative(Delta)) { in weakCrossingSIVtest()
1655 SE->isKnownNegative(ConstCoeff) ? in weakZeroSrcSIVtest()
1658 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroSrcSIVtest()
1683 if (SE->isKnownNegative(NewDelta)) { in weakZeroSrcSIVtest()
1764 SE->isKnownNegative(ConstCoeff) ? in weakZeroDstSIVtest()
1767 SE->isKnownNegative(ConstCoeff) ? SE->getNegativeSCEV(Delta) : Delta; in weakZeroDstSIVtest()
1792 if (SE->isKnownNegative(NewDelta)) { in weakZeroDstSIVtest()
2013 if (SE->isKnownNegative(C2_C1)) { in symbolicRDIVtest()
DValueTracking.cpp198 bool llvm::isKnownNegative(Value *V, const DataLayout &DL, unsigned Depth, in isKnownNegative() function in llvm
322 bool isKnownNegative = false; in computeKnownBitsMul() local
340 isKnownNegative = (isKnownNegativeOp1 && isKnownNonNegativeOp0 && in computeKnownBitsMul()
370 else if (isKnownNegative && !KnownZero.isNegative()) in computeKnownBitsMul()
DScalarEvolution.cpp1160 if (SE->isKnownNegative(Step)) { in getSignedOverflowLimitForStep()
1552 } else if (isKnownNegative(Step)) { in getZeroExtendExpr()
7555 bool ScalarEvolution::isKnownNegative(const SCEV *S) { in isKnownNegative() function in ScalarEvolution
7572 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()
/external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/Analysis/
DValueTracking.h134 bool isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth = 0,
DScalarEvolution.h848 bool isKnownNegative(const SCEV *S);
/external/llvm-project/llvm/include/llvm/Analysis/
DValueTracking.h163 bool isKnownNegative(const Value *V, const DataLayout &DL, unsigned Depth = 0,
DScalarEvolution.h882 bool isKnownNegative(const SCEV *S);
/external/llvm-project/polly/lib/Support/
DSCEVAffinator.cpp484 if (SE.isKnownNegative(Divisor)) { in visitUDivExpr()
DSCEVValidator.cpp738 if (SE.isKnownNegative(Factor)) { in extractConstantFactor()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Scalar/
DInductiveRangeCheckElimination.cpp655 assert(SE.isKnownNegative(Step) && "expecting negative step"); in isSafeDecreasingBound()
/external/llvm-project/llvm/lib/Transforms/Scalar/
DInductiveRangeCheckElimination.cpp671 assert(SE.isKnownNegative(Step) && "expecting negative step"); in isSafeDecreasingBound()
/external/llvm-project/llvm/lib/Transforms/Utils/
DSimplifyIndVar.cpp1602 if (!SE->isKnownNegative(RHS)) in widenWithVariantUse()