Lines Matching defs:isKnownNonNegative

2137   if (isKnownNonNegative(Op))
2457     return SE->isKnownNonNegative(S);
3805              (NW.hasNoUnsignedSignedWrap() && isKnownNonNegative(Offset));
4688     if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) {
5874                 (NW.hasNoUnsignedSignedWrap() && isKnownNonNegative(Accum)))
6766         if (!isKnownNonNegative(AddRec->getOperand(i)))
8097     if (isKnownNonNegative(getSCEV(U->getOperand(0))) &&
8098         isKnownNonNegative(getSCEV(U->getOperand(1))))
8104     if (isKnownNonNegative(getSCEV(U->getOperand(0))) &&
8105         isKnownNonNegative(getSCEV(U->getOperand(1))))
10598   if (!CountDown && !isKnownNonNegative(StepWLG))
10950 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) {
11158   if (isKnownNonNegative(Step))
11243         isKnownNonNegative(RHS) &&
11485   // To prove L >= 0 we use isKnownNonNegative whereas to prove I >= 0 we use
11487   // expensive; and using isKnownNonNegative(RHS) is sufficient for most of the
11490   return isKnownNonNegative(RHS) &&
11914     if ((isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) ||
11933     if (ICmpInst::isSigned(CanonicalPred) && isKnownNonNegative(CanonicalRHS))
12447       if (isKnownNonNegative(ShifteeS))
12579     if (isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) {
15528           assert(SE.isKnownNonNegative(MinMaxLHS) &&