[SCEV] Extends the SCEVInitRewriter
authorSerguei Katkov <serguei.katkov@azul.com>
Mon, 26 Feb 2018 07:08:56 +0000 (07:08 +0000)
committerSerguei Katkov <serguei.katkov@azul.com>
Mon, 26 Feb 2018 07:08:56 +0000 (07:08 +0000)
commit339c2e8287192f58c106382e768e532535b8496c
treeec2afcab7fc7f2b60648306469d9394ce26c325b
parent5c980eba471399382d211fedb94bb94a07e7eb1d
[SCEV] Extends the SCEVInitRewriter

The patch introduces an additional parameter IgnoreOtherLoops to SCEVInitRewriter.
if it is equal to true then rewriter will not invalidate result in case
SCEV depends on other loops then specified during creation.

The patch does not change the default behavior.
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/D43498

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