Searched refs:isKnownPositive (Results 1 – 10 of 10) sorted by relevance
| /openbsd/gnu/llvm/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 149 bool isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth = 0,
|
| H A D | ScalarEvolution.h | 998 bool isKnownPositive(const SCEV *S);
|
| /openbsd/gnu/llvm/llvm/lib/Analysis/ |
| H A D | LoopAccessAnalysis.cpp | 1781 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
1788 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()
2605 if (SE->isKnownPositive(StrideMinusBETaken)) { in collectStridedAccess()
|
| H A D | LoopInfo.cpp | 278 if (SE.isKnownPositive(StepRecur)) in getDirection()
|
| H A D | ScalarEvolution.cpp | 1297 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()
1426 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()
5175 if (isKnownPositive(Step)) { in proveNoUnsignedWrapViaInduction()
5843 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createAddRecFromPHI()
7055 if (isKnownPositive(Step) && in getRangeForAffineNoSelfWrappingAR()
9996 isKnownPositive(BackedgeTakenCount) && in computeSCEVAtScope()
10825 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution
11100 isKnownPositive(ArLHS->getStepRecurrence(*this)) && in getLoopInvariantPredicate()
12628 assert(isKnownPositive(Stride) && "Positive stride expected!"); in canIVOverflowOnLT()
12842 bool PositiveStride = isKnownPositive(Stride); in howManyLessThans()
[all …]
|
| H A D | DependenceAnalysis.cpp | 1087 return SE->isKnownPositive(Delta); in isKnownPredicate()
1403 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()
2187 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
|
| H A D | ValueTracking.cpp | 329 bool llvm::isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
|
| /openbsd/gnu/llvm/llvm/lib/Transforms/Utils/ |
| H A D | ScalarEvolutionExpander.cpp | 2409 if (!Signed && Start->isZero() && SE.isKnownPositive(Step)) in generateOverflowCheck()
2433 bool NeedNegCheck = !SE.isKnownPositive(Step); in generateOverflowCheck()
|
| /openbsd/gnu/llvm/llvm/lib/Transforms/Scalar/ |
| H A D | LoopFuse.cpp | 1252 bool Pos = SE.isKnownPositive(Expr->getStepRecurrence(SE)); in visitAddRecExpr()
|
| /openbsd/gnu/llvm/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineCompares.cpp | 1275 if (isKnownPositive(A, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
1277 if (isKnownPositive(B, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
|