[polly] r247728 - Coalesce the constructed domains early

[Johannes Doerfert via llvm-commits]

Author: jdoerfert
Date: Tue Sep 15 17:11:49 2015
New Revision: 247728

URL: http://llvm.org/viewvc/llvm-project?rev=247728&view=rev
Log:
Coalesce the constructed domains early

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=247728&r1=247727&r2=247728&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Tue Sep 15 17:11:49 2015
@@ -916,7 +916,6 @@ void ScopStmt::buildDomain() {
   Id = isl_id_alloc(getIslCtx(), getBaseName(), this);
 
   Domain = getParent()->getDomainConditions(this);
-  Domain = isl_set_coalesce(Domain);
   Domain = isl_set_set_tuple_id(Domain, Id);
 }
 
@@ -1758,7 +1757,7 @@ void Scop::propagateDomainConstraints(Re
     }
 
     // Under the union of all predecessor conditions we can reach this block.
-    Domain = isl_set_intersect(Domain, PredDom);
+    Domain = isl_set_coalesce(isl_set_intersect(Domain, PredDom));
 
     // Add assumptions for error blocks.
     if (containsErrorBlock(RN)) {