diff options
| -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); |
