1288   if (SE->isKnownPositive(Step)) {  in getSignedOverflowLimitForStep()
1417       !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount))  in getPreStartForExtend()
4748   if (isKnownPositive(Step)) {  in proveNoUnsignedWrapViaInduction()
5398             if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr)))  in createAddRecFromPHI()
6412   if (isKnownPositive(Step) &&  in getRangeForAffineNoSelfWrappingAR()
8877               isKnownPositive(BackedgeTakenCount) &&  in computeSCEVAtScope()
9808 bool ScalarEvolution::isKnownPositive(const SCEV *S) {  in isKnownPositive()  function in ScalarEvolution
11301       if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator))  in isImpliedViaOperations()
11473   assert(isKnownPositive(Stride) && "Positive stride expected!");  in canIVOverflowOnLT()
11607   bool PositiveStride = isKnownPositive(Stride);  in howManyLessThans()
11978   if (!isKnownPositive(Stride))  in howManyGreaterThans()