Searched refs:proveNoSignedWrapViaInduction (Results 1 – 2 of 2) sorted by relevance
1976 SCEV::NoWrapFlags proveNoSignedWrapViaInduction(const SCEVAddRecExpr *AR);
2079 auto NewFlags = proveNoSignedWrapViaInduction(AR); in getSignExtendExpr()4952 ScalarEvolution::proveNoSignedWrapViaInduction(const SCEVAddRecExpr *AR) { in proveNoSignedWrapViaInduction() function in ScalarEvolution