Searched refs:addOverflowAssumption (Results 1 – 1 of 1) sorted by relevance
14473 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNUSW)) in visitZeroExtendExpr()14489 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNSSW)) in visitSignExtendExpr()14503 bool addOverflowAssumption(const SCEVPredicate *P) { in addOverflowAssumption() function in __anonf47ebfb54511::SCEVPredicateRewriter14512 bool addOverflowAssumption(const SCEVAddRecExpr *AR, in addOverflowAssumption() function in __anonf47ebfb54511::SCEVPredicateRewriter14515 return addOverflowAssumption(A); in addOverflowAssumption()14538 if (!addOverflowAssumption(P)) in convertToAddRecWithPreds()