Searched refs:isKnownPositive (Results 1 – 3 of 3) sorted by relevance
879 bool isKnownPositive(const SCEV *S);
1175 if (SE->isKnownPositive(Step)) { in getSignedOverflowLimitForStep()1300 !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount)) in getPreStartForExtend()1541 if (isKnownPositive(Step)) { in getZeroExtendExpr()3678 if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr))) in createNodeForPHI()6567 bool ScalarEvolution::isKnownPositive(const SCEV *S) { in isKnownPositive() function in ScalarEvolution6580 return isKnownNegative(S) || isKnownPositive(S); in isKnownNonZero()7307 if (!isKnownPositive(Stride)) in HowManyLessThans()7387 if (!isKnownPositive(Stride)) in HowManyGreaterThans()
981 return SE->isKnownPositive(Delta); in isKnownPredicate()1256 assert(SE->isKnownPositive(ConstCoeff) && "ConstCoeff should be positive"); in weakCrossingSIVtest()2068 if (SE->isKnownPositive(C2_C1)) { in symbolicRDIVtest()