Searched refs:isKnownPositive (Results 1 – 13 of 13) sorted by relevance
174 LLVM_ABI bool isKnownPositive(const Value *V, const SimplifyQuery &SQ,
1047 LLVM_ABI bool isKnownPositive(const SCEV *S);
1913 if (SE.isKnownPositive(Minus)) in isSafeDependenceDistance()1920 return SE.isKnownPositive(Minus); in isSafeDependenceDistance()2986 if (SE->isKnownPositive(StrideMinusBETaken)) { in collectStridedAccess()
1242 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()1374 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()5190 if (isKnownPositive(Step)) { in proveNoUnsignedWrapViaInduction()7119 if (isKnownPositive(Step) && in getRangeForAffineNoSelfWrappingAR()9241 isKnownPositive(AR->getStepRecurrence(*this))) { in computeExitLimitFromICmp()10934 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution11279 isKnownPositive(ArLHS->getStepRecurrence(*this)) && in getLoopInvariantPredicate()12687 if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator)) in isImpliedViaOperations()12853 assert(isKnownPositive(Stride) && "Positive stride expected!"); in canIVOverflowOnLT()13043 bool PositiveStride = isKnownPositive(Stride); in howManyLessThans()[all …]
279 if (SE.isKnownPositive(StepRecur)) in getDirection()
1106 return SE->isKnownPositive(Delta); in isKnownPredicate()1422 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()2206 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
726 (isFindLastIVRecurrenceKind(Kind) && !SE.isKnownPositive(Step))) in isFindIVPattern()
284 bool llvm::isKnownPositive(const Value *V, const SimplifyQuery &SQ, in isKnownPositive() function in llvm
2139 if (!Signed && Start->isZero() && SE.isKnownPositive(Step) && in generateOverflowCheck()2167 bool NeedNegCheck = !SE.isKnownPositive(Step); in generateOverflowCheck()
535 if (SE.isKnownPositive(Step)) in countToEliminateCompares()
1249 bool Pos = SE.isKnownPositive(Expr->getStepRecurrence(SE)); in visitAddRecExpr()
1239 if (isKnownPositive(A, SQ.getWithInstruction(&Cmp))) in foldICmpWithZero()1241 if (isKnownPositive(B, SQ.getWithInstruction(&Cmp))) in foldICmpWithZero()
20159 {"_ZN4llvm15ScalarEvolution15isKnownPositiveEPKNS_4SCEVE", "llvm::ScalarEvolution::isKnownPositive(…