Searched refs:isKnownNonPositive (Results 1 – 13 of 13) sorted by relevance
972 return SE->isKnownNonPositive(Delta); in isKnownPredicate()1150 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()1152 bool CoeffMaybePositive = !SE->isKnownNonPositive(Coeff); in strongSIVtest()1999 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()2019 else if (SE->isKnownNonPositive(A1)) { in symbolicRDIVtest()2039 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()3137 if (!SE->isKnownNonPositive(Level.Distance)) // if may be positive in updateDirection()
4530 if (!isKnownNonPositive(AddRec->getOperand(i))) AllNonPos = false; in getRange()7567 bool ScalarEvolution::isKnownNonPositive(const SCEV *S) { in isKnownNonPositive() function in ScalarEvolution7677 if (isKnownNonPositive(Step)) { in isMonotonicPredicateImpl()
998 return SE->isKnownNonPositive(Delta); in isKnownPredicate()1227 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()1229 bool CoeffMaybePositive = !SE->isKnownNonPositive(Coeff); in strongSIVtest()2076 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()2096 else if (SE->isKnownNonPositive(A1)) { in symbolicRDIVtest()2116 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()3221 if (!SE->isKnownNonPositive(Level.Distance)) // if may be positive in updateDirection()
5688 if (!isKnownNonPositive(AddRec->getOperand(i))) in getRangeRef()9165 bool ScalarEvolution::isKnownNonPositive(const SCEV *S) { in isKnownNonPositive() function in ScalarEvolution9320 if (isKnownNonPositive(Step)) { in isMonotonicPredicateImpl()10392 if (isKnownNonPositive(RHS) && in isImpliedViaOperations()10606 assert(!isKnownNonPositive(Stride) && in computeMaxBECountForLT()10715 if (PredicatedIV || !NoWrap || isKnownNonPositive(Stride) || in howManyLessThans()
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()
6727 if (!isKnownNonPositive(AddRec->getOperand(i))) in getRangeRef()10833 bool ScalarEvolution::isKnownNonPositive(const SCEV *S) { in isKnownNonPositive() function in ScalarEvolution11018 if (isKnownNonPositive(Step)) in getMonotonicPredicateTypeImpl()12479 if (isKnownNonPositive(RHS) && in isImpliedViaOperations()
1464 bool isKnownNonPositive(const SCEV *S);
857 bool isKnownNonPositive(const SCEV *S);
1004 bool isKnownNonPositive(const SCEV *S);
1019 bool isKnownNonPositive(const SCEV *S);
1018 bool isKnownNonPositive(const SCEV *S);