Searched refs:isKnownNonPositive (Results 1 – 3 of 3) sorted by relevance
994 return SE->isKnownNonPositive(Delta); in isKnownPredicate()1223 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()1225 bool CoeffMaybePositive = !SE->isKnownNonPositive(Coeff); in strongSIVtest()2072 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()2092 else if (SE->isKnownNonPositive(A1)) { in symbolicRDIVtest()2112 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()3217 if (!SE->isKnownNonPositive(Level.Distance)) // if may be positive in updateDirection()
5649 if (!isKnownNonPositive(AddRec->getOperand(i))) AllNonPos = false; in getRangeRef()9023 bool ScalarEvolution::isKnownNonPositive(const SCEV *S) { in isKnownNonPositive() function in ScalarEvolution9178 if (isKnownNonPositive(Step)) { in isMonotonicPredicateImpl()10272 if (isKnownNonPositive(RHS) && in isImpliedViaOperations()10453 assert(!isKnownNonPositive(Stride) && in computeMaxBECountForLT()10562 if (PredicatedIV || !NoWrap || isKnownNonPositive(Stride) || in howManyLessThans()
839 bool isKnownNonPositive(const SCEV *S);