Searched refs:addOverflowAssumption (Results 1 – 1 of 1) sorted by relevance
12921 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNUSW)) in visitZeroExtendExpr()12937 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNSSW)) in visitSignExtendExpr()12951 bool addOverflowAssumption(const SCEVPredicate *P) { in addOverflowAssumption() function in __anona1e52ce93a11::SCEVPredicateRewriter12960 bool addOverflowAssumption(const SCEVAddRecExpr *AR, in addOverflowAssumption() function in __anona1e52ce93a11::SCEVPredicateRewriter12963 return addOverflowAssumption(A); in addOverflowAssumption()12986 if (!addOverflowAssumption(P)) in convertToAddRecWithPreds()