2120   if (isKnownNonNegative(Op))  in getSignExtendExpr()
2387     return SE->isKnownNonNegative(S);  in StrengthenNoWrapFlags()
3735   SCEV::NoWrapFlags BaseWrap = AssumeInBoundsFlags && isKnownNonNegative(Offset)  in getGEPExpr()
4546     if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) {  in getMinusSCEV()
6535         if (!isKnownNonNegative(AddRec->getOperand(i)))  in getRangeRef()
7802     if (isKnownNonNegative(getSCEV(U->getOperand(0))) &&  in createSCEV()
7803         isKnownNonNegative(getSCEV(U->getOperand(1))))  in createSCEV()
7809     if (isKnownNonNegative(getSCEV(U->getOperand(0))) &&  in createSCEV()
7810         isKnownNonNegative(getSCEV(U->getOperand(1))))  in createSCEV()
10529 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) {  in isKnownNonNegative()  function in ScalarEvolution
10717     if (isKnownNonNegative(Step))  in getMonotonicPredicateTypeImpl()
10990   return isKnownNonNegative(RHS) &&  in isKnownPredicateViaSplitting()
11416     if ((isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) ||  in isImpliedCondBalancedTypes()
11435     if (ICmpInst::isSigned(CanonicalPred) && isKnownNonNegative(CanonicalRHS))  in isImpliedCondBalancedTypes()
11885       if (isKnownNonNegative(ShifteeS))  in isImpliedCondOperandsViaShift()
12018     if (isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) {  in isImpliedViaOperations()