Home
last modified time | relevance | path

Searched refs:addOverflowAssumption (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Analysis/
H A DScalarEvolution.cpp14073 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNUSW)) in visitZeroExtendExpr()
14089 if (addOverflowAssumption(AR, SCEVWrapPredicate::IncrementNSSW)) in visitSignExtendExpr()
14103 bool addOverflowAssumption(const SCEVPredicate *P) { in addOverflowAssumption() function in __anonccfa80ce4511::SCEVPredicateRewriter
14112 bool addOverflowAssumption(const SCEVAddRecExpr *AR, in addOverflowAssumption() function in __anonccfa80ce4511::SCEVPredicateRewriter
14115 return addOverflowAssumption(A); in addOverflowAssumption()
14137 if (!addOverflowAssumption(P)) in convertToAddRecWithPreds()