[polly] r229252 - Overaproximate divisions in for the alias checks.

[Johannes Doerfert]

Author: jdoerfert
Date: Sat Feb 14 06:00:06 2015
New Revision: 229252

URL: http://llvm.org/viewvc/llvm-project?rev=229252&view=rev
Log:
Overaproximate divisions in for the alias checks.

  Alias checks might become costly if there are divisions that complicate the
  description of the accessed locations. By overaproximating them we get fairly
  accurate results without the huge compile time cost.


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=229252&r1=229251&r2=229252&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Sat Feb 14 06:00:06 2015
@@ -1307,6 +1307,8 @@ static int buildMinMaxAccess(__isl_take
     }
   }
 
+  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));