Home
last modified time | relevance | path

Searched refs:isKnownNonPositive (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Analysis/
H A DDependenceAnalysis.cpp1022 return SE->isKnownNonPositive(Delta); in isKnownPredicate()
1251 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()
1253 bool CoeffMaybePositive = !SE->isKnownNonPositive(Coeff); in strongSIVtest()
2089 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()
2109 else if (SE->isKnownNonPositive(A1)) { in symbolicRDIVtest()
2129 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()
3247 if (!SE->isKnownNonPositive(Level.Distance)) // if may be positive in updateDirection()
H A DScalarEvolution.cpp6537 if (!isKnownNonPositive(AddRec->getOperand(i))) in getRangeRef()
10533 bool ScalarEvolution::isKnownNonPositive(const SCEV *S) { in isKnownNonPositive() function in ScalarEvolution
10720 if (isKnownNonPositive(Step)) in getMonotonicPredicateTypeImpl()
12131 if (isKnownNonPositive(RHS) && in isImpliedViaOperations()
12347 assert((!IsSigned || !isKnownNonPositive(Stride)) && in computeMaxBECountForLT()
12538 if (IsSigned && isKnownNonPositive(Stride)) in howManyLessThans()
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DScalarEvolution.h988 bool isKnownNonPositive(const SCEV *S);