1305   if (SE->isKnownPositive(Step)) {  in getSignedOverflowLimitForStep()
1434       !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount))  in getPreStartForExtend()
5040   if (isKnownPositive(Step)) {  in proveNoUnsignedWrapViaInduction()
5695             if (isKnownPositive(getMinusSCEV(getSCEV(GEP), Ptr)))  in createAddRecFromPHI()
6828   if (isKnownPositive(Step) &&  in getRangeForAffineNoSelfWrappingAR()
9616               isKnownPositive(BackedgeTakenCount) &&  in computeSCEVAtScope()
10525 bool ScalarEvolution::isKnownPositive(const SCEV *S) {  in isKnownPositive()  function in ScalarEvolution
12108       if (!HasSameValue(Numerator, FoundLHS) || !isKnownPositive(Denominator))  in isImpliedViaOperations()
12280   assert(isKnownPositive(Stride) && "Positive stride expected!");  in canIVOverflowOnLT()
12494   bool PositiveStride = isKnownPositive(Stride);  in howManyLessThans()
12840   if (!isKnownPositive(Stride))  in howManyGreaterThans()