[polly] r287269 - [NFC] Skip over trivial assumptions

[Johannes Doerfert via llvm-commits]

Author: jdoerfert
Date: Thu Nov 17 16:08:40 2016
New Revision: 287269

URL: http://llvm.org/viewvc/llvm-project?rev=287269&view=rev
Log:
[NFC] Skip over trivial assumptions

Filter trivial assumptions, thus assume { : } or restrict { : 0 = 1 },
as they clutter the user output as well as the statistics.

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=287269&r1=287268&r2=287269&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Thu Nov 17 16:08:40 2016
@@ -3758,6 +3758,20 @@ bool Scop::trackAssumption(AssumptionKin
   if (PollyRemarksMinimal && !isEffectiveAssumption(Set, Sign))
     return false;
 
+  // Do never emit trivial assumptions as they only clutter the output.
+  if (!PollyRemarksMinimal) {
+    isl_set *Univ = nullptr;
+    if (Sign == AS_ASSUMPTION)
+      Univ = isl_set_universe(isl_set_get_space(Set));
+
+    bool IsTrivial = (Sign == AS_RESTRICTION && isl_set_is_empty(Set)) ||
+                     (Sign == AS_ASSUMPTION && isl_set_is_equal(Univ, Set));
+    isl_set_free(Univ);
+
+    if (IsTrivial)
+      return false;
+  }
+
   switch (Kind) {
   case ALIASING:
     ASSUMPTION_ALIASING++;