[Polly] Update isl to isl-0.23-61-g24e8cd12.This fixes llvm.org/PR48554Some test cases had to be updated because the hash function forunion_maps have been changed which affects the output order.
[Polly] Update isl to isl-0.22.1-416-g61d6dc75.This fixes llvm.org/PR47104
Update isl to isl-0.18-662-g17e172eThis is a general maintenance updatellvm-svn: 304069
Update isl to isl-0.17.1-57-g1879898With this update the isl AST generation extracts disjunctive constraints earlyon. As a result, code that previously resulted in two branches with (close-to)ide
Update isl to isl-0.17.1-57-g1879898With this update the isl AST generation extracts disjunctive constraints earlyon. 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/PR27559Besides the above change, this isl update brings better simplification ofsets/maps containing existentially quantified dimensions and fixes a bug inisl's coalescing.llvm-svn: 272500
show more ...
Update to ISL 0.16.1llvm-svn: 257898
Import isl(+imath) as an external library into PollyWith this patch Polly is always GPL-free (no dependency on GMP any more). As aresult, building and distributing Polly will be easier. Furthermor
Import isl(+imath) as an external library into PollyWith this patch Polly is always GPL-free (no dependency on GMP any more). As aresult, building and distributing Polly will be easier. Furthermore, there is noneed to tightly coordinate isl and Polly releases anymore.We import isl b3e0fa7a05d as well as imath 4d707e5ef2. These are the gitversions Polly currently was tested with when using utils/checkout_isl.sh. Theimported libraries are both MIT-style licensed.We build isl and imath with -fvisibility=hidden to avoid clashes in case otherprojects (such as gcc) use conflicting versions of isl. The use of imath cantemporarily reduce compile-time performance of Polly. We will work onperformance tuning in tree.Patches to isl should be contributed first to the main isl repository and canthen later be reimported to Polly.This patch is also a prerequisite for the upcoming isl C++ interface.llvm-svn: 228193