From: Johannes Doerfert <doerfert@cs.uni-saarland.de>
Date: Fri, 22 Apr 2016 11:38:19 +0000 (+0000)
Subject: Bail for complex alias checks
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=6296d95420e58e4d1b9dc67b4635902513bb735e;p=platform%2Fupstream%2Fllvm.git

Bail for complex alias checks

llvm-svn: 267142
---

diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp
index fd694b2..49e81ef 100644
--- a/polly/lib/Analysis/ScopInfo.cpp
+++ b/polly/lib/Analysis/ScopInfo.cpp
@@ -2047,6 +2047,13 @@ static isl_stat buildMinMaxAccess(__isl_take isl_set *Set, void *User) {
   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_take isl_set *Set, void *User) {
     }
   }
 
-  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));