Lines Matching defs:isKnownPositive

1251   if (SE->isKnownPositive(Step)) {
1383       !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount))
5202   if (isKnownPositive(Step)) {
7131   if (isKnownPositive(Step) &&
9263           isKnownPositive(AR->getStepRecurrence(*this))) {
10946 bool ScalarEvolution::isKnownPositive(const SCEV *S) {
11242         isKnownPositive(ArLHS->getStepRecurrence(*this)) &&
12669       if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator))
12835   assert(isKnownPositive(Stride) && "Positive stride expected!");
13025   bool PositiveStride = isKnownPositive(Stride);
13058     // The positive stride case is the same as isKnownPositive(Stride) returning
13163         if (isKnownPositive(Denominator)) {
13405   if (!isKnownPositive(Stride))
14981   if (!SE.isKnownPositive(Step) || !SE.isKnownPositive(OpStep))