Searched refs:isKnownNonPositive (Results 1 – 4 of 4) sorted by relevance
1085 return SE->isKnownNonPositive(Delta); in isKnownPredicate()1314 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()1316 bool CoeffMaybePositive = !SE->isKnownNonPositive(Coeff); in strongSIVtest()2152 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()2172 else if (SE->isKnownNonPositive(A1)) { in symbolicRDIVtest()2192 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()3310 if (!SE->isKnownNonPositive(Level.Distance)) // if may be positive in updateDirection()
2065 if (SE.isKnownNonPositive(Dist)) { in isDependent()
6744 if (!isKnownNonPositive(AddRec->getOperand(i))) in getRangeRef()10860 bool ScalarEvolution::isKnownNonPositive(const SCEV *S) { in isKnownNonPositive() function in ScalarEvolution11048 if (isKnownNonPositive(Step)) in getMonotonicPredicateTypeImpl()12520 if (isKnownNonPositive(RHS) && in isImpliedViaOperations()
1026 bool isKnownNonPositive(const SCEV *S);