[SCEV][LAA] Add tests for SCEV expression transformations performed during LAA
authorSilviu Baranga <silviu.baranga@arm.com>
Thu, 14 Apr 2016 16:08:45 +0000 (16:08 +0000)
committerSilviu Baranga <silviu.baranga@arm.com>
Thu, 14 Apr 2016 16:08:45 +0000 (16:08 +0000)
commitb77365b5954b6c4c601e22e53999a8534d51141b
treed8ad58af79baa8e5b7002a99b73687f40ac6c993
parent47205aa773862d2425eb1a5d6e291519085e450d
[SCEV][LAA] Add tests for SCEV expression transformations performed during LAA

Summary:
Add a print method to Predicated Scalar Evolution which prints all interesting
transformations done by PSE.

Loop Access Analysis will now print this as part of the analysis output.
We now use this to check the exact expression transformations that were done
by PSE in LAA.

The additional checking also acts as white-box testing for the getAsAddRec method.

Reviewers: anemet, sanjoy

Subscribers: sanjoy, mzolotukhin, llvm-commits

Differential Revision: http://reviews.llvm.org/D18792

llvm-svn: 266334
llvm/include/llvm/Analysis/ScalarEvolution.h
llvm/lib/Analysis/LoopAccessAnalysis.cpp
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll