1234   if (SE->isKnownPositive(Step)) {  in getSignedOverflowLimitForStep()
1366       !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount))  in getPreStartForExtend()
5219   if (isKnownPositive(Step)) {  in proveNoUnsignedWrapViaInduction()
5888             if (isKnownPositive(Accum))  in createAddRecFromPHI()
7093   if (isKnownPositive(Step) &&  in getRangeForAffineNoSelfWrappingAR()
10773 bool ScalarEvolution::isKnownPositive(const SCEV *S) {  in isKnownPositive()  function in ScalarEvolution
11051         isKnownPositive(ArLHS->getStepRecurrence(*this)) &&  in getLoopInvariantPredicate()
12419       if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator))  in isImpliedViaOperations()
12592   assert(isKnownPositive(Stride) && "Positive stride expected!");  in canIVOverflowOnLT()
12811   bool PositiveStride = isKnownPositive(Stride);  in howManyLessThans()
13156   if (!isKnownPositive(Stride))  in howManyGreaterThans()