Lines Matching refs:isKnownNonNegative
2102 if (isKnownNonNegative(Op)) in getSignExtendExpr()
2350 return SE->isKnownNonNegative(S); in StrengthenNoWrapFlags()
3648 SCEV::NoWrapFlags BaseWrap = GEP->isInBounds() && isKnownNonNegative(Offset) in getGEPExpr()
4217 if (RHSIsNotMinSigned || isKnownNonNegative(LHS)) { in getMinusSCEV()
6126 if (!isKnownNonNegative(AddRec->getOperand(i))) in getRangeRef()
7066 if (isKnownNonNegative(getSCEV(U->getOperand(0))) && in createSCEV()
7067 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
7073 if (isKnownNonNegative(getSCEV(U->getOperand(0))) && in createSCEV()
7074 isKnownNonNegative(getSCEV(U->getOperand(1)))) in createSCEV()
9812 bool ScalarEvolution::isKnownNonNegative(const SCEV *S) { in isKnownNonNegative() function in ScalarEvolution
10000 if (isKnownNonNegative(Step)) in getMonotonicPredicateTypeImpl()
10263 return isKnownNonNegative(RHS) && in isKnownPredicateViaSplitting()
10685 isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) in isImpliedCondBalancedTypes()
11211 if (isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) { in isImpliedViaOperations()