summaryrefslogtreecommitdiffstats
path: root/polly/lib/External/isl/isl_schedule_read.c
Commit message (Collapse)AuthorAgeFilesLines
* Update isl to isl-0.19-173-g77fe2538Tobias Grosser2018-05-311-1/+1
| | | | | | | | | Besides other changes, this update introduces functions to translate a maps and sets into lists of their elements. These lists are useful as we can define iterators for lists, which allow us to replace many uses of foreach. llvm-svn: 333621
* Update isl to isl-0.19-107-gc4fe33d8Tobias Grosser2018-04-211-0/+1
| | | | | | This is a regular maintenance update. llvm-svn: 330496
* Update isl to isl-0.18-1047-g4a20ef8Tobias Grosser2018-02-201-0/+1
| | | | | | | | | | | | | | | | | | This update: - Removes several deprecated functions (e.g., isl_band). - Improves the pretty-printing of sets by detecting modulos and "false" equalities. - Minor improvements to coalescing and increased robustness of the isl scheduler. This update does not yet include isl commit isl-0.18-90-gd00cb45 (isl_pw_*_alloc: add missing check for compatible spaces, Wed Sep 6 12:18:04 2017 +0200), as this additional check is too tight and unfortunately causes two test case failures in Polly. A patch has been submitted to isl and will be included in the next isl update for Polly. llvm-svn: 325557
* Bump isl to isl-0.18-768-g033b61aeTobias Grosser2017-07-041-74/+29
| | | | | | | | | | | | | | Summary: This is a general maintenance update Reviewers: grosser Subscribers: srhines, fedor.sergeev, pollydev, llvm-commits Contributed-by: Maximilian Falkenstein <falkensm@student.ethz.ch> Differential Revision: https://reviews.llvm.org/D34903 llvm-svn: 307090
* Updated isl to isl-0.18-254-g6bc184dTobias Grosser2017-02-171-1/+1
| | | | | | | This update includes a couple more coalescing changes as well as a large number of isl-internal code cleanups (dead assigments, ...). llvm-svn: 295419
* Update isl to 285e92aeaTobias Grosser2015-03-301-0/+257
| | | | | | | This is mostly a set of schedule tree enhancements which are not yet directly useful to Polly. llvm-svn: 233567
* Update isl to 94d707dTobias Grosser2015-03-191-0/+75
| | | | | | | | | The major improvements are: - Extended schedule tree support - AST generation from schedule trees llvm-svn: 232709
* Update to isl 99d53692baTobias Grosser2015-02-161-0/+488
This commit imports the latest isl version into lib/External/isl. The changes relavant 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.pdf llvm-svn: 229423
OpenPOWER on IntegriCloud