diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-19 14:49:42 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-19 14:49:42 +0000 |
| commit | ff68f46458765c2be2518b4147889a2621e454b6 (patch) | |
| tree | f5e1ed5f7c6c19feb9749a789dfec582d0e21a99 | |
| parent | 535de035717cc676a4c76e0cd06917e71417dfa1 (diff) | |
| download | bcm5719-llvm-ff68f46458765c2be2518b4147889a2621e454b6.tar.gz bcm5719-llvm-ff68f46458765c2be2518b4147889a2621e454b6.zip | |
Add user assumptions after domain generation [NFC]
llvm-svn: 266740
| -rw-r--r-- | polly/lib/Analysis/ScopInfo.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp index d1ec2be6c2d..4946b022d0f 100644 --- a/polly/lib/Analysis/ScopInfo.cpp +++ b/polly/lib/Analysis/ScopInfo.cpp @@ -2999,12 +2999,13 @@ Scop::Scop(Region &R, ScalarEvolution &ScalarEvolution, LoopInfo &LI, void Scop::init(AliasAnalysis &AA, AssumptionCache &AC, ScopDetection &SD, DominatorTree &DT, LoopInfo &LI) { - addUserAssumptions(AC, DT, LI); buildInvariantEquivalenceClasses(SD); if (!buildDomains(&R, SD, DT, LI)) return; + addUserAssumptions(AC, DT, LI); + // Remove empty and ignored statements. // Exit early in case there are no executable statements left in this scop. simplifySCoP(true, DT, LI); |
