Lines Matching refs:isKnownNonNegative
2121 if (isKnownNonNegative(Op)) in getSignExtendExprImpl()
2441 return SE->isKnownNonNegative(S); in StrengthenNoWrapFlags()
3807 SCEV::NoWrapFlags BaseWrap = AssumeInBoundsFlags && isKnownNonNegative(Offset) in getGEPExpr()
4705 if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) { in getMinusSCEV()
6726 if (!isKnownNonNegative(AddRec->getOperand(i))) in getRangeRef()
8044 if (isKnownNonNegative(getSCEV(U->getOperand(0))) && in createSCEV()
8045 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
8051 if (isKnownNonNegative(getSCEV(U->getOperand(0))) && in createSCEV()
8052 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
10777 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) { in isKnownNonNegative() function in ScalarEvolution
10967 if (isKnownNonNegative(Step)) in getMonotonicPredicateTypeImpl()
11052 isKnownNonNegative(RHS) && in getLoopInvariantPredicate()
11298 return isKnownNonNegative(RHS) && in isKnownPredicateViaSplitting()
11724 if ((isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) || in isImpliedCondBalancedTypes()
11743 if (ICmpInst::isSigned(CanonicalPred) && isKnownNonNegative(CanonicalRHS)) in isImpliedCondBalancedTypes()
12196 if (isKnownNonNegative(ShifteeS)) in isImpliedCondOperandsViaShift()
12329 if (isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) { in isImpliedViaOperations()
15132 assert(isKnownNonNegative(MinMaxLHS) && in applyLoopGuards()