[polly] r271879 - [NFC] Coalesce invariant context sets early

[Johannes Doerfert via llvm-commits]

Author: jdoerfert
Date: Mon Jun  6 05:06:07 2016
New Revision: 271879

URL: http://llvm.org/viewvc/llvm-project?rev=271879&view=rev
Log:
[NFC] Coalesce invariant context sets early

Modified:
    polly/trunk/lib/Support/SCEVAffinator.cpp

Modified: polly/trunk/lib/Support/SCEVAffinator.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Support/SCEVAffinator.cpp?rev=271879&r1=271878&r2=271879&view=diff
==============================================================================
--- polly/trunk/lib/Support/SCEVAffinator.cpp (original)
+++ polly/trunk/lib/Support/SCEVAffinator.cpp Mon Jun  6 05:06:07 2016
@@ -191,9 +191,11 @@ __isl_give PWACtx SCEVAffinator::checkFo
   auto *PWAMod = addModuloSemantic(isl_pw_aff_copy(PWA), Expr->getType());
   auto *NotEqualSet = isl_pw_aff_ne_set(isl_pw_aff_copy(PWA), PWAMod);
   PWAC.second = isl_set_union(PWAC.second, isl_set_copy(NotEqualSet));
+  PWAC.second = isl_set_coalesce(PWAC.second);
 
   const DebugLoc &Loc = BB ? BB->getTerminator()->getDebugLoc() : DebugLoc();
   NotEqualSet = BB ? NotEqualSet : isl_set_params(NotEqualSet);
+  NotEqualSet = isl_set_coalesce(NotEqualSet);
 
   if (isl_set_is_empty(NotEqualSet))
     isl_set_free(NotEqualSet);