Searched refs:isKnownPositive (Results 1 – 8 of 8) sorted by relevance
104 bool isKnownPositive(Value *V, const DataLayout &DL, unsigned Depth = 0,
1456 bool isKnownPositive(const SCEV *S);
793 bool isKnownPositive(const SCEV *S);
1155 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()1282 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()1537 if (isKnownPositive(Step)) { in getZeroExtendExpr()4000 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createAddRecFromPHI()7559 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution7572 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()8663 if (!isKnownPositive(Stride)) in howManyLessThans()8738 if (!isKnownPositive(Stride)) in howManyGreaterThans()
974 return SE->isKnownPositive(Delta); in isKnownPredicate()1239 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()2034 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()
186 bool llvm::isKnownPositive(Value *V, const DataLayout &DL, unsigned Depth, in isKnownPositive() function in llvm
996 if (isKnownPositive(Step)) { in getZeroExtendExpr()1045 if (SE->isKnownPositive(Step)) { in getOverflowLimitForStep()5696 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution5709 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()6103 } else if (isKnownPositive(Step)) { in HowManyLessThans()
3274 if (isKnownPositive(A, DL)) in visitICmpInst()3276 if (isKnownPositive(B, DL)) in visitICmpInst()