Searched refs:isKnownNonPositive (Results 1 – 3 of 3) sorted by relevance
933 return SE->isKnownNonPositive(Delta); in isKnownPredicate()1115 bool DeltaMaybePositive = !SE->isKnownNonPositive(Delta); in strongSIVtest()1117 bool CoeffMaybePositive = !SE->isKnownNonPositive(Coeff); in strongSIVtest()1985 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()2005 else if (SE->isKnownNonPositive(A1)) { in symbolicRDIVtest()2025 else if (SE->isKnownNonPositive(A2)) { in symbolicRDIVtest()3159 if (!SE->isKnownNonPositive(Level.Distance)) // if may be positive in updateDirection()
3920 if (!isKnownNonPositive(AddRec->getOperand(i))) AllNonPos = false; in getSignedRange()6479 bool ScalarEvolution::isKnownNonPositive(const SCEV *S) { in isKnownNonPositive() function in ScalarEvolution
855 bool isKnownNonPositive(const SCEV *S);