[polly] r267142 - Bail for complex alias checks

[Johannes Doerfert via llvm-commits]

Author: jdoerfert
Date: Fri Apr 22 06:38:19 2016
New Revision: 267142

URL: http://llvm.org/viewvc/llvm-project?rev=267142&view=rev
Log:
Bail for complex alias checks

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=267142&r1=267141&r2=267142&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Fri Apr 22 06:38:19 2016
@@ -2047,6 +2047,13 @@ static isl_stat buildMinMaxAccess(__isl_
   isl_aff *OneAff;
   unsigned Pos;
 
+  Set = isl_set_remove_divs(Set);
+
+  if (isl_set_n_basic_set(Set) >= MaxConjunctsInDomain) {
+    isl_set_free(Set);
+    return isl_stat_error;
+  }
+
   // Restrict the number of parameters involved in the access as the lexmin/
   // lexmax computation will take too long if this number is high.
   //
@@ -2073,8 +2080,6 @@ static isl_stat buildMinMaxAccess(__isl_
     }
   }
 
-  Set = isl_set_remove_divs(Set);
-
   MinPMA = isl_set_lexmin_pw_multi_aff(isl_set_copy(Set));
   MaxPMA = isl_set_lexmax_pw_multi_aff(isl_set_copy(Set));