Lines Matching defs:isKnownPositive

1236   if (SE->isKnownPositive(Step)) {
1368       !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount))
5224   if (isKnownPositive(Step)) {
7109   if (isKnownPositive(Step) &&
10852 bool ScalarEvolution::isKnownPositive(const SCEV *S) {
11129         isKnownPositive(ArLHS->getStepRecurrence(*this)) &&
12497       if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator))
12670   assert(isKnownPositive(Stride) && "Positive stride expected!");
12889   bool PositiveStride = isKnownPositive(Stride);
12922     // The positive stride case is the same as isKnownPositive(Stride) returning
13038         if (isKnownPositive(Denominator)) {
13282   if (!isKnownPositive(Stride))