Home
last modified time | relevance | path

Searched refs:isKnownPositive (Results 1 – 11 of 11) sorted by relevance

/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dmin-positive.ll30 ; Range metadata doesn't work for vectors, so find another way to trigger isKnownPositive().
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DValueTracking.h154 bool isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth = 0,
H A DScalarEvolution.h982 bool isKnownPositive(const SCEV *S);
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DLoopAccessAnalysis.cpp1726 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
1733 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
2549 if (SE->isKnownPositive(StrideMinusBETaken)) { in collectStridedAccess()
H A DLoopInfo.cpp274 if (SE.isKnownPositive(StepRecur)) in getDirection()
H A DScalarEvolution.cpp1305 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()
1434 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()
5040 if (isKnownPositive(Step)) { in proveNoUnsignedWrapViaInduction()
5695 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createAddRecFromPHI()
6828 if (isKnownPositive(Step) && in getRangeForAffineNoSelfWrappingAR()
9616 isKnownPositive(BackedgeTakenCount) && in computeSCEVAtScope()
10525 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution
12108 if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator)) in isImpliedViaOperations()
12280 assert(isKnownPositive(Stride) && "Positive stride expected!"); in canIVOverflowOnLT()
12494 bool PositiveStride = isKnownPositive(Stride); in howManyLessThans()
[all …]
H A DDependenceAnalysis.cpp1024 return SE->isKnownPositive(Delta); in isKnownPredicate()
1340 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()
2124 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
H A DValueTracking.cpp356 bool llvm::isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DScalarEvolutionExpander.cpp2418 if (!Signed && Start->isZero() && SE.isKnownPositive(Step)) in generateOverflowCheck()
2442 bool NeedNegCheck = !SE.isKnownPositive(Step); in generateOverflowCheck()
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DLoopFuse.cpp1042 bool Pos = SE.isKnownPositive(Expr->getStepRecurrence(SE)); in visitAddRecExpr()
/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombineCompares.cpp1385 if (isKnownPositive(A, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
1387 if (isKnownPositive(B, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()