summaryrefslogtreecommitdiffstats
path: root/polly/lib/External/isl
Commit message (Collapse)AuthorAgeFilesLines
* Update isl-cpp bindingsTobias Grosser2018-08-091-8/+8
| | | | | | | | | We upstreamed the export of isl_val_2exp, to the official cpp bindings. In this process, we concluded that pow2 is a better and more widely used name for this functionality. Hence, both the official isl-cpp bindings and our derived variant use now the term pow2. llvm-svn: 339312
* Update to isl-0.20-65-gb822a210Tobias Grosser2018-08-0922-140/+341
| | | | | | | This update fixes https://https:/llvm.org/PR38348. Thanks Michael for reporting the issue to isl and Sven for fixing the issue. llvm-svn: 339311
* Update isl to isl-0.20-48-g13eba5b5Tobias Grosser2018-08-0718-169/+267
| | | | | | This is a regular maintenance updated. llvm-svn: 339095
* [isl++] drop the isl namespace qualifiers [NFC]Tobias Grosser2018-08-011-4463/+4463
| | | | | | | | | | These namespace qualifiers are not needed. Dropping them brings us closer to the official isl namespace qualifiers. While the delta of this change set is large, it only mechanically drops the 'isl::' prefixes. llvm-svn: 338505
* Rebase C++ bindings on top of latest isl bindingsTobias Grosser2018-08-011-254/+1390
| | | | | | | | | | | | | | | | | | | | | | The main difference in this change is that isl_stat is now always checked by default. As we elminiated most used of isl_stat, thanks to Philip Pfaffe's implementation of foreach, only a small set of changes is needed. This change does not include the following recent changes to isl's C++ bindings: - stricter error handling for isl_bool - dropping of the isl::namespace qualifiers The former requires a larger patch in Polly and consequently should go through a patch-review. The latter will be applied in the next commit to keep this commit free from noise. We also still apply a couple of other changes on top of the official isl bindings. This delta is expected to shrink over time. llvm-svn: 338504
* Update to isl-0.20-35-ge0a98b62Tobias Grosser2018-08-0157-209/+25786
| | | | llvm-svn: 338501
* [Polly][isl] Add neutrally-named accessors to isl list elements and sizesPhilip Pfaffe2018-07-131-0/+84
| | | | | | | | | | | | | | Summary: This could simplify the isl iterator implementation a lot. Reviewers: grosser, Meinersbur, bollu Reviewed By: grosser Subscribers: pollydev, llvm-commits Differential Revision: https://reviews.llvm.org/D49019 llvm-svn: 337054
* Add a file that was missing in r336425Philip Pfaffe2018-07-061-0/+513
| | | | llvm-svn: 336430
* Update isl to isl-0.19-224-gce84a511Tobias Grosser2018-07-0623-640/+423
| | | | | | | | This is a maintenance update. Besides many minor changes it ships two functions "isl_*_list_size" and "isl_*_list_get_at" which will allow us to simplify the iterator implementation in Polly. llvm-svn: 336425
* Update isl to isl-0.19-185-g8e9f55ceTobias Grosser2018-06-1125-85/+732
| | | | | | This is mainly a maintenance update. llvm-svn: 334406
* Update isl C++ bindingsTobias Grosser2018-05-311-0/+1267
| | | | | | | | | | | | | This update adds new list types and adds functions which convert isl data types to lists of their contained elements: isl::set::get_basic_set_list isl::union_set::get_set_list isl::map::get_basic_map_list isl::union_map::get_map_list llvm-svn: 333688
* Update isl to isl-0.19-173-g77fe2538Tobias Grosser2018-05-3132-52/+343
| | | | | | | | | 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-152-g437e6ab0Tobias Grosser2018-05-2355-290/+669
| | | | | | | | Besides normal updates this change also contains a bug-fix to in isl_coalesce which broke the AOSP buildbot. Thanks to Michael Kruse for reporting this bug and Sven Verdoolage for fixing this bug. llvm-svn: 333118
* Remove keep/take/give from isl C++ bindingsTobias Grosser2018-04-291-816/+0
| | | | | | | | These functions have been legacy leftovers which we used before the official C++ bindings existed. As all uses of these legacy functions have been removed, this polly-specific extension can also be dropped. llvm-svn: 331130
* Update to latest version of the isl c++ bindingsTobias Grosser2018-04-281-1871/+4047
| | | | | | | The delta to the previous version is rather small, but a change in brace placement makes this a rather noisy commit. llvm-svn: 331113
* Update isl to isl-0.19-114-g385262afTobias Grosser2018-04-2513-41/+248
| | | | llvm-svn: 330800
* Update isl to isl-0.19-107-gc4fe33d8Tobias Grosser2018-04-2187-979/+4981
| | | | | | This is a regular maintenance update. llvm-svn: 330496
* [isl++] abort() on assertion violation.Michael Kruse2018-04-201-0/+1
| | | | | | | | | | | | | | | | Before this patch, ISL_ASSERT only printed an error message to stderr. This can be easily missed if the program continues or just fails later. To fail-early and help error diagnostics (e.g. using bugpoint), call abort() when an assertion does not hold. I seem to just have forgotten to add this abort() when I originally proposed the ISL_ASSERT macro. Suggested-By: Eli Friedman <efriedma@codeaurora.org> Differential Revision: https://reviews.llvm.org/D45171 llvm-svn: 330467
* isl: "isl_schedule_get_map: handle trees with divergent filter node parameters"Tobias Grosser2018-02-263-4/+37
| | | | | | | | | | | Also un-revert (isl_pw_*_alloc: add missing check for compatible spaces, Wed Sep 6 12:18:04 2017 +0200). This patch is a proposed fix to avoid asserts due to stricter space checking within isl, which resulted in failures when converting a schedule tree to a schedule map. llvm-svn: 326073
* Update isl to isl-0.18-1047-g4a20ef8Tobias Grosser2018-02-20117-5368/+4038
| | | | | | | | | | | | | | | | | | 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
* Update isl C++ bindings to latest version of islTobias Grosser2018-02-201-276/+954
| | | | llvm-svn: 325555
* Move include/isl-noexceptions.h to include/isl/isl-noexceptions.hTobias Grosser2017-08-221-0/+0
| | | | llvm-svn: 311504
* Update to a newer version of isl++Tobias Grosser2017-08-061-27/+1440
| | | | llvm-svn: 310206
* Update to isl-0.18-812-g565da6eTobias Grosser2017-08-068-1/+174
| | | | | | | This update is mostly a maintenance update, but also exposes a couple of new functions that will be needed for the next version of the isl++ bindings. llvm-svn: 310205
* Update to isl-0.18-809-gd5b4535Tobias Grosser2017-08-019-98/+228
| | | | | | This fixes some undefined behavior in the isl schedule tree code. llvm-svn: 309727
* Update isl to isl-0.18-800-g4018f45Tobias Grosser2017-07-277-17/+114
| | | | | | | | | This fixes a bug in isl_flow where triggering the compute out could result in undefined or unexpected behavior. This fixes some recent regressions we saw in the android buildbots. Thanks Eli Friedman for reducing the corresponding test cases. llvm-svn: 309274
* Revert accidental isl changes in 308923Tobias Grosser2017-07-251-71/+6
| | | | | | | | | | | It seems I still had some incomplete changes in the tree when committing. In general, we only import changes from isl upstream. In this case, the changes were especially unfortunate, as they broke the error management in isl_flow.c and consequently caused regressions. Thanks to Michael Kruse for spotting this mistake. llvm-svn: 309039
* Move MemoryAccess::InvalidDomain to isl++Tobias Grosser2017-07-241-6/+71
| | | | llvm-svn: 308923
* update isl to: isl-0.18-791-ga22eb92Tobias Grosser2017-07-1412-93/+84
| | | | | | This is a regular maintenance update llvm-svn: 308013
* Bump isl to isl-0.18-768-g033b61aeTobias Grosser2017-07-04126-1105/+3535
| | | | | | | | | | | | | | 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
* [ScheduleOptimizer] Move isolateFullPartialTiles and ↵Tobias Grosser2017-06-191-0/+6
| | | | | | isolateAndUnrollMatMulInnerLoops to C++ llvm-svn: 305676
* [isl-cpp] Remove isl/mat.h and add insert_partial_scheduleTobias Grosser2017-06-111-40/+22
| | | | | | | | | | The isl/mat.h functionality was incomplete (we returned 'void *' instead of 'isl::mat') and is likely not needed. *.insert_partial_schedule was until know not exported in the bindings, but will be needed in the next step. llvm-svn: 305161
* Update isl to isl-0.18-679-g6e75a0dTobias Grosser2017-06-0412-152/+771
| | | | | | This is a regular maintenance update llvm-svn: 304686
* [isl++] Update bindingsTobias Grosser2017-05-311-1/+13
| | | | | | | | This change removes the requirement for explicit conversions from isl::boolean to isl::bool, which resolves a compilation error on OSX. Suggested-by: Siddharth Bhat <siddu.druid@gmail.com> llvm-svn: 304288
* Update isl to isl-0.18-662-g17e172eTobias Grosser2017-05-2767-812/+2673
| | | | | | This is a general maintenance update llvm-svn: 304069
* [isl++] add isl_constraint to C++ bindings [NFC]Tobias Grosser2017-05-211-0/+396
| | | | llvm-svn: 303512
* [isl++] Export (almost) all functions from islTobias Grosser2017-05-211-11/+7829
| | | | | | | | | | | | | | | | This commit exports the majority of the isl functions to the isl C++ interface. The official isl C++ bindings still require discussions to define the set of functions that are officially supported. As a result, the officially exported functionality will be rather limited until these discussions conclude and a non-trivial set of isl functions is officially supported through the isl C++ bindings. Starting from this commit we ship with Polly an extended version of the official isl C++ bindings to ensure sufficient functionality is available such that LLVM developers can make efficient use of isl through C++. The practical experience Polly gathers with its bindings will then be used to gradually upstream patches to isl to extend the official bindings. llvm-svn: 303506
* [isl++] Rebase isl C++ bindings on top of 29aee98ceTobias Grosser2017-05-211-313/+502
| | | | | | | | This reduces the diff to the official isl C++ bindings and solves a correctness issue with isl::booleans, where isl_bool_error results were accidentally converted to isl::boolean::true. llvm-svn: 303505
* [isl++] Move isl raw_ostream printers into separate headerTobias Grosser2017-05-211-156/+0
| | | | | | | | Instead of relying on these functions to be part of the isl C++ bindings, we just define this functionality independently. This allows us to use isl C++ bindings that do not contain LLVM specific functionality. llvm-svn: 303503
* Update to isl-0.18-592-gb50ad59Tobias Grosser2017-04-2828-331/+419
| | | | | | This is just a general maintenance update. llvm-svn: 301624
* Update to isl-0.18-423-g30331feTobias Grosser2017-04-264-3/+16
| | | | | | This is just a general maintenance update. llvm-svn: 301433
* [isl C++ bindings] Add explicit const casts for *foreach* bindingsTobias Grosser2017-04-231-7/+7
| | | | | | | This avoids a compiler warning about lost 'const' attributes. Suggested-by: Michael Kruse <llvm@meinersbur.de> llvm-svn: 301108
* Update isl bindings to latest version (+ Polly extensions)Tobias Grosser2017-04-151-81/+85
| | | | | | | | | After the isl C++ binding generator is now close to being upstreamed to isl, we synchronize the latest changes to Polly. These are mostly formatting changes plus a small interface change for the foreach callback function and some naming changes in isl::boolean. llvm-svn: 300398
* Update to isl-0.18-417-gb9e7334Tobias Grosser2017-04-0613-413/+425
| | | | | | This is a regular maintenance update. llvm-svn: 299617
* Update to isl-0.18-410-gc253447Tobias Grosser2017-04-038-69/+103
| | | | | | | This is a regular maintenance update to ensure latest isl changes are tested in our buildbots. llvm-svn: 299350
* Update to isl-0.18-402-ga30c537Tobias Grosser2017-03-239-17/+41
| | | | | | This is a regular maintenance update. llvm-svn: 298595
* Update isl to isl-0.18-395-g77701b3Tobias Grosser2017-03-2114-17/+81
| | | | | | This is a normal maintenance update. llvm-svn: 298352
* Update to isl-0.18-387-g3fa6191Tobias Grosser2017-03-163-55/+62
| | | | | | This is a normal / regular maintenance update. llvm-svn: 297999
* Add back header file that was accidentally dropped in previous updateTobias Grosser2017-03-141-0/+5588
| | | | llvm-svn: 297709
* Update to isl-0.18-369-g5e613c6Tobias Grosser2017-03-1416-5726/+265
| | | | | | This is a regular maintenance update. llvm-svn: 297708
OpenPOWER on IntegriCloud