1241   if (SE->isKnownPositive(Step)) {  in getSignedOverflowLimitForStep()
1370       !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount))  in getPreStartForExtend()
4521   if (isKnownPositive(Step)) {  in proveNoUnsignedWrapViaInduction()
5175             if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr)))  in createAddRecFromPHI()
6049   if (isKnownPositive(Step) &&  in getRangeForAffineNoSelfWrappingAR()
8483               isKnownPositive(BackedgeTakenCount) &&  in computeSCEVAtScope()
9409 bool ScalarEvolution::isKnownPositive(const SCEV *S) {  in isKnownPositive()  function in ScalarEvolution
9422   return isKnownNegative(S) || isKnownPositive(S);  in isKnownNonZero()
10827       if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator))  in isImpliedViaOperations()
11002   assert(isKnownPositive(Stride) && "Positive stride expected!");  in doesIVOverflowOnLT()
11127   bool PositiveStride = isKnownPositive(Stride);  in howManyLessThans()
11274   if (!isKnownPositive(Stride))  in howManyGreaterThans()