[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
Updated isl to isl-0.18-254-g6bc184dThis update includes a couple more coalescing changes as well as a largenumber of isl-internal code cleanups (dead assigments, ...).llvm-svn: 295419
Update isl to isl-0.17.1-84-g72ffe88This is a regular maintenance update to ensure we are testing with a recentversion of isl.llvm-svn: 273597
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.17.This release includes sevaral improvments compared to the previousversion isl-0.16.1-145-g243bf7c (from the ISL 0.17 announcement):- optionally combine SCCs incrementally in sc
Update to ISL 0.17.This release includes sevaral improvments compared to the previousversion isl-0.16.1-145-g243bf7c (from the ISL 0.17 announcement):- optionally combine SCCs incrementally in scheduler- optionally maximize coincidence in scheduler- optionally avoid loop coalescing in scheduler- minor AST generator improvements- improve support for expansions in schedule treesllvm-svn: 268500
Update to isl-0.16.1-68-g8fad211This commit updates to the latest isl development version. There is no specificfeature we need on the Polly side, but we want to ensure test coverage for thelatest
Update to isl-0.16.1-68-g8fad211This commit updates to the latest isl development version. There is no specificfeature we need on the Polly side, but we want to ensure test coverage for thelatest isl changes.llvm-svn: 262001
Update to ISL 0.16.1llvm-svn: 257898
Update isl to isl-0.15-117-ge42acfeBesides other changes this version of isl contains a fundamental fix to memorycorruption issues we have seen with imath-32 backed isl_ints.This update also con
Update isl to isl-0.15-117-ge42acfeBesides other changes this version of isl contains a fundamental fix to memorycorruption issues we have seen with imath-32 backed isl_ints.This update also contains a fix that ensures that the schedule-tree basedversion of isl's dependence analysis takes the domain of the schedule intoaccount.llvm-svn: 244585
Update ISL to isl-0.15-61-gcea776fThe motivation is to fix a wrong use of the inline qualifier. Thisfixes the Polly build using Visual Studio 2015 RC.llvm-svn: 242780
Update isl to isl-0.15-30-g3518765This updated contains various changes to isl, including improvements to theAST generator. For Polly, the most important change is a fix that unbreaksbuilds on da
Update isl to isl-0.15-30-g3518765This updated contains various changes to isl, including improvements to theAST generator. For Polly, the most important change is a fix that unbreaksbuilds on darwin (reported by: Jack Howard)llvm-svn: 241048
Update to isl 99d53692baThis commit imports the latest isl version into lib/External/isl. The changesrelavant for Polly are: 1) Schedule trees [1] have been introduced as a more structured way
Update to isl 99d53692baThis commit imports the latest isl version into lib/External/isl. The changesrelavant for Polly are: 1) Schedule trees [1] have been introduced as a more structured way to describe schedules. Polly does not yet use them, but we may switch to them in the near future. 2) Another set of coalescing changes [2] simplifies some data dependences and removes a couple of code generation artifacts. We now understand that the following sets can be merged: { Stmt_S1[i0, i1] -> Stmt_S2[i0 + i1] : i0 >= 0 and i1 <= 1023 - i0 and i1 >= 1 Stmt_S1[i0, 0] -> Stmt_S2[i0] : i0 <= 1023 and i0 >= 1} into: { Stmt_S1[i0, i1] -> Stmt_S2[i0 + i1] : i1 <= 1023 - i0 and i1 >= 0 and i1 >= 1 - i0 and i0 >= 0 } Changes of this kind reduce unnecessary specialization during code generation. - for (int c3 = 0; c3 <= 1023; c3 += 1) { - if (c3 % 2 == 0) { - Stmt_for_body3(c1, c3); - } else - Stmt_for_body3(c1, c3); - } + for (int c3 = 0; c3 <= 1023; c3 += 1) + Stmt_for_body3(c1, c3);[1] http://impact.gforge.inria.fr/impact2014/papers/impact2014-verdoolaege.pdf[2] http://impact.gforge.inria.fr/impact2015/papers/impact2015-verdoolaege.pdfllvm-svn: 229423
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