Add user assumptions after domain generation [NFC]
llvm-svn: 266740
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 @@
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);