Searched refs:isKnownPositive (Results 1 – 9 of 9) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Analysis/ |
| H A D | LoopAccessAnalysis.cpp | 1403 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance() 1410 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance() 2179 if (SE->isKnownPositive(StrideMinusBETaken)) { in collectStridedAccess()
|
| H A D | LoopInfo.cpp | 278 if (SE.isKnownPositive(StepRecur)) in getDirection()
|
| H A D | ScalarEvolution.cpp | 1277 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep() 1406 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend() 4547 if (isKnownPositive(Step)) { in proveNoUnsignedWrapViaInduction() 5197 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createAddRecFromPHI() 6202 if (isKnownPositive(Step) && in getRangeForAffineNoSelfWrappingAR() 8621 isKnownPositive(BackedgeTakenCount) && in computeSCEVAtScope() 9552 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution 9565 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero() 11016 if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator)) in isImpliedViaOperations() 11188 assert(isKnownPositive(Stride) && "Positive stride expected!"); in doesIVOverflowOnLT() [all …]
|
| H A D | DependenceAnalysis.cpp | 1002 return SE->isKnownPositive(Delta); in isKnownPredicate() 1318 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest() 2102 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
|
| H A D | ValueTracking.cpp | 325 bool llvm::isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
|
| /netbsd-src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 155 bool isKnownPositive(const Value *V, const DataLayout &DL, unsigned Depth = 0,
|
| H A D | ScalarEvolution.h | 885 bool isKnownPositive(const SCEV *S);
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Transforms/Scalar/ |
| H A D | LoopFuse.cpp | 1042 bool Pos = SE.isKnownPositive(Expr->getStepRecurrence(SE)); in visitAddRecExpr()
|
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineCompares.cpp | 1366 if (isKnownPositive(A, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero() 1368 if (isKnownPositive(B, DL, 0, &AC, &Cmp, &DT)) in foldICmpWithZero()
|