From ff68f46458765c2be2518b4147889a2621e454b6 Mon Sep 17 00:00:00 2001
From: Johannes Doerfert <doerfert@cs.uni-saarland.de>
Date: Tue, 19 Apr 2016 14:49:42 +0000
Subject: [PATCH] Add user assumptions after domain generation [NFC]

llvm-svn: 266740
---
 polly/lib/Analysis/ScopInfo.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp
index d1ec2be..4946b02 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);
-- 
2.7.4