[SCEV] Introduce SCEVPostIncRewriter
authorSerguei Katkov <serguei.katkov@azul.com>
Mon, 26 Feb 2018 08:40:18 +0000 (08:40 +0000)
committerSerguei Katkov <serguei.katkov@azul.com>
Mon, 26 Feb 2018 08:40:18 +0000 (08:40 +0000)
commita95d2aee7d9f4951f32ee28aea555348186aa0c0
treebb4857d599295a68ea2665a3e37f8f71addd2fbb
parent6c8e858551dc879a35e442cf70388170123c9210
[SCEV] Introduce SCEVPostIncRewriter

The patch introduces the SCEVPostIncRewriter rewriter which
is similar to SCEVInitRewriter but rewrites AddRec with post increment
value of this AddRec.

This is a preparation for re-writing isKnownPredicate utility as
described in https://reviews.llvm.org/D42417.

Reviewers: sanjoy, mkazantsev, reames
Reviewed By: sanjoy
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D43499

llvm-svn: 326071
llvm/lib/Analysis/ScalarEvolution.cpp