Searched refs:isKnownNonPositive (Results 1 – 5 of 5) sorted by relevance
1104 return SE->isKnownNonPositive(Delta); in isKnownPredicate()1333 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()1335 bool CoeffMaybePositive = !SE->isKnownNonPositive(Coeff); in strongSIVtest()2171 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()2191 else if (SE->isKnownNonPositive(A1)) { in symbolicRDIVtest()2211 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()3320 if (!SE->isKnownNonPositive(Level.Distance)) // if may be positive in updateDirection()
2168 if (SE.isKnownNonPositive(Dist)) { in isDependent()
6756 if (!isKnownNonPositive(AddRec->getOperand(i))) in getRangeRef()10942 bool ScalarEvolution::isKnownNonPositive(const SCEV *S) { in isKnownNonPositive() function in ScalarEvolution11199 if (isKnownNonPositive(Step)) in getMonotonicPredicateTypeImpl()12710 if (isKnownNonPositive(RHS) && in isImpliedViaOperations()
1053 LLVM_ABI bool isKnownNonPositive(const SCEV *S);
20200 …volution18isKnownNonPositiveEPKNS_4SCEVE", "llvm::ScalarEvolution::isKnownNonPositive(llvm::SCEV c…