Lines Matching defs:AR
384 getImpliedFlags(const SCEVAddRecExpr *AR, ScalarEvolution &SE);
387 const SCEVAddRecExpr *AR;
392 const SCEVAddRecExpr *AR,
1269 getWrapPredicate(const SCEVAddRecExpr *AR,
2072 /// Try to prove NSW or NUW on \p AR relying on ConstantRange manipulation.
2073 SCEV::NoWrapFlags proveNoWrapViaConstantRanges(const SCEVAddRecExpr *AR);
2075 /// Try to prove NSW on \p AR by proving facts about conditions known on
2077 SCEV::NoWrapFlags proveNoSignedWrapViaInduction(const SCEVAddRecExpr *AR);
2079 /// Try to prove NUW on \p AR by proving facts about conditions known on
2081 SCEV::NoWrapFlags proveNoUnsignedWrapViaInduction(const SCEVAddRecExpr *AR);