[polly] r266740 - Add user assumptions after domain generation [NFC]

[Johannes Doerfert via llvm-commits]

Author: jdoerfert
Date: Tue Apr 19 09:49:42 2016
New Revision: 266740

URL: http://llvm.org/viewvc/llvm-project?rev=266740&view=rev
Log:
Add user assumptions after domain generation [NFC]

Modified:
    polly/trunk/lib/Analysis/ScopInfo.cpp

Modified: polly/trunk/lib/Analysis/ScopInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopInfo.cpp?rev=266740&r1=266739&r2=266740&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Tue Apr 19 09:49:42 2016
@@ -2999,12 +2999,13 @@ Scop::Scop(Region &R, ScalarEvolution &S
 
 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);