2053   if (isKnownNonNegative(Op))  in getSignExtendExpr()
2226     return SE->isKnownNonNegative(S);  in StrengthenNoWrapFlags()
3466   SCEV::NoWrapFlags BaseWrap = GEP->isInBounds() && isKnownNonNegative(Offset)  in getGEPExpr()
3990     if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) {  in getMinusSCEV()
5775         if (!isKnownNonNegative(AddRec->getOperand(i)))  in getRangeRef()
6716     if (isKnownNonNegative(getSCEV(U->getOperand(0))) &&  in createSCEV()
6717         isKnownNonNegative(getSCEV(U->getOperand(1))))  in createSCEV()
6723     if (isKnownNonNegative(getSCEV(U->getOperand(0))) &&  in createSCEV()
6724         isKnownNonNegative(getSCEV(U->getOperand(1))))  in createSCEV()
9413 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) {  in isKnownNonNegative()  function in ScalarEvolution
9574     if (isKnownNonNegative(Step))  in getMonotonicPredicateTypeImpl()
9817   return isKnownNonNegative(RHS) &&  in isKnownPredicateViaSplitting()
10211       isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS))  in isImpliedCondBalancedTypes()
10737     if (isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) {  in isImpliedViaOperations()