diff options
author | Tobias Grosser <tobias@grosser.es> | 2016-06-12 04:30:40 +0000 |
---|---|---|
committer | Tobias Grosser <tobias@grosser.es> | 2016-06-12 04:30:40 +0000 |
commit | 07b209523403d6c0d68c328cb20a8eaf6b51369c (patch) | |
tree | 8be8684e3bb7f859f925276864978daabc8b90e2 /polly/lib/External/isl/configure.ac | |
parent | 8620679eb5f30246c6d9f8d5813936ffed2502d6 (diff) | |
download | bcm5719-llvm-07b209523403d6c0d68c328cb20a8eaf6b51369c.tar.gz bcm5719-llvm-07b209523403d6c0d68c328cb20a8eaf6b51369c.zip |
Update isl to isl-0.17.1-57-g1879898
With this update the isl AST generation extracts disjunctive constraints early
on. As a result, code that previously resulted in two branches with (close-to)
identical code within them:
if (P <= -1) {
for (int c0 = 0; c0 < N; c0 += 1)
Stmt_store(c0);
} else if (P >= 1)
for (int c0 = 0; c0 < N; c0 += 1)
Stmt_store(c0);
results now in only a single branch body:
if (P <= -1 || P >= 1)
for (int c0 = 0; c0 < N; c0 += 1)
Stmt_store(c0);
This resolves http://llvm.org/PR27559
Besides the above change, this isl update brings better simplification of
sets/maps containing existentially quantified dimensions and fixes a bug in
isl's coalescing.
llvm-svn: 272500
Diffstat (limited to 'polly/lib/External/isl/configure.ac')
-rw-r--r-- | polly/lib/External/isl/configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/lib/External/isl/configure.ac b/polly/lib/External/isl/configure.ac index 456b9c36361..df0bb297f24 100644 --- a/polly/lib/External/isl/configure.ac +++ b/polly/lib/External/isl/configure.ac @@ -1,10 +1,10 @@ -AC_INIT([isl], [0.17], [isl-development@googlegroups.com]) +AC_INIT([isl], [0.17.1], [isl-development@googlegroups.com]) AC_CONFIG_AUX_DIR([.]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([foreign]) m4_ifdef([AM_SILENT_RULES],[AM_SILENT_RULES([yes])]) AC_SUBST(versioninfo) -versioninfo=17:0:2 +versioninfo=17:1:2 if test "x$prefix" != "xNONE"; then prefix_wd=`cd $prefix && pwd` |