summaryrefslogtreecommitdiffstats
path: root/polly/lib/External/isl/include
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-095-31/+56
| | | | | | | 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-071-22/+16
| | | | | | 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-014-1/+12732
| | | | 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
* Update isl to isl-0.19-224-gce84a511Tobias Grosser2018-07-064-2/+23
| | | | | | | | 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-116-0/+57
| | | | | | 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-314-0/+9
| | | | | | | | | 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-2328-55/+107
| | | | | | | | 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-254-0/+18
| | | | llvm-svn: 330800
* Update isl to isl-0.19-107-gc4fe33d8Tobias Grosser2018-04-216-6/+41
| | | | | | 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
* Update isl to isl-0.18-1047-g4a20ef8Tobias Grosser2018-02-2030-511/+82
| | | | | | | | | | | | | | | | | | 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-061-0/+16
| | | | | | | 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 isl to isl-0.18-800-g4018f45Tobias Grosser2017-07-272-0/+30
| | | | | | | | | 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
* update isl to: isl-0.18-791-ga22eb92Tobias Grosser2017-07-143-10/+10
| | | | | | This is a regular maintenance update llvm-svn: 308013
* Bump isl to isl-0.18-768-g033b61aeTobias Grosser2017-07-047-4/+28
| | | | | | | | | | | | | | 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-044-0/+13
| | | | | | 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-272-15/+3
| | | | | | 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-285-27/+31
| | | | | | This is just a general maintenance update. llvm-svn: 301624
* [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-410-gc253447Tobias Grosser2017-04-031-1/+1
| | | | | | | 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-231-1/+1
| | | | | | This is a regular maintenance update. llvm-svn: 298595
* Update isl to isl-0.18-395-g77701b3Tobias Grosser2017-03-214-1/+9
| | | | | | This is a normal maintenance update. llvm-svn: 298352
* Update to isl-0.18-387-g3fa6191Tobias Grosser2017-03-161-4/+11
| | | | | | 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-142-5590/+7
| | | | | | This is a regular maintenance update. llvm-svn: 297708
* [isl++] Add missing /* implicit */ markerTobias Grosser2017-03-121-1/+1
| | | | llvm-svn: 297577
* [isl++] Add last set of missing isl:: prefixes to increase consistency [NFC]Tobias Grosser2017-03-111-309/+310
| | | | llvm-svn: 297558
* [isl++] Add namespace prefixes to isl::ctx and isl::statTobias Grosser2017-03-101-91/+91
| | | | | | These were missed in r297478. We add them for consistency. llvm-svn: 297520
* [isl++] Drop warning about experimental statusTobias Grosser2017-03-101-8/+0
| | | | | | | | | As most discussions about these bindings have concluded and only the final patch review on the isl mailing list is missing, we drop the experimental warning tag to match the patchset we will submit to isl, which is expected to not change notably any more. llvm-svn: 297519
* [isl++] Do not use enum prefixTobias Grosser2017-03-101-750/+750
| | | | | | | | | | | | | | | | | | | | | | | | Instead of declaring a function as: inline val plain_get_val_if_fixed(enum dim type, unsigned int pos) const; we use: inline isl::val plain_get_val_if_fixed(isl::dim type, unsigned int pos) const; The first argument caused the following compile time error on windows: "error C3431: 'dim': a scoped enumeration cannot be redeclared as an unscoped enumeration" In some cases it is sufficient to just drop the 'enum' prefix, but for example for isl::set the 'enum class dim' type collides with the function name isl::set::dim and can consequently not be referenced. To avoid such kind of ambiguities in the future we add the isl:: prefix consistently to all types used. Reported-by: Michael Kruse <llvm@meinersbur.de> llvm-svn: 297478
* Add method interface to isl C++ bindingsTobias Grosser2017-03-101-0/+2458
| | | | | | | | | | | | | | | | | | The isl C++ binding method interface introduces a thin C++ layer that allows to call isl methods directly on the memory managed C++ objects. This makes the relevant methods directly available via code-completion interfaces, allows for the use of overloading, conversion constructors, and many other nice C++ features that make using isl a lot easier. The individual features will be highlighted in the subsequent commits. Tags: #polly Reviewed By: Meinersbur Differential Revision: https://reviews.llvm.org/D30616 llvm-svn: 297462
* Introduce isl C++ bindings, Part 1: value_ptr style interfaceTobias Grosser2017-03-101-0/+3137
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Over the last couple of months several authors of independent isl C++ bindings worked together to jointly design an official set of isl C++ bindings which combines their experience in developing isl C++ bindings. The new bindings have been designed around a value pointer style interface and remove the need for explicit pointer managenent and instead use C++ language features to manage isl objects. This commit introduces the smart-pointer part of the isl C++ bindings and replaces the current IslPtr<T> classes, which served the very same purpose, but had to be manually maintained. Instead, we now rely on automatically generated classes for each isl object, which provide value_ptr semantics. An isl object has the following smart pointer interface: inline set manage(__isl_take isl_set *ptr); class set { friend inline set manage(__isl_take isl_set *ptr); isl_set *ptr = nullptr; inline explicit set(__isl_take isl_set *ptr); public: inline set(); inline set(const set &obj); inline set &operator=(set obj); inline ~set(); inline __isl_give isl_set *copy() const &; inline __isl_give isl_set *copy() && = delete; inline __isl_keep isl_set *get() const; inline __isl_give isl_set *release(); inline bool is_null() const; } The interface and behavior of the new value pointer style classes is inspired by http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3339.pdf, which proposes a std::value_ptr, a smart pointer that applies value semantics to its pointee. We currently only provide a limited set of public constructors and instead require provide a global overloaded type constructor method "isl::obj isl::manage(isl_obj *)", which allows to convert an isl_set* to an isl::set by calling 'S = isl::manage(s)'. This pattern models the make_unique() constructor for unique pointers. The next two functions isl::obj::get() and isl::obj::release() are taken directly from the std::value_ptr proposal: S.get() extracts the raw pointer of the object managed by S. S.release() extracts the raw pointer of the object managed by S and sets the object in S to null. We additionally add std::obj::copy(). S.copy() returns a raw pointer refering to a copy of S, which is a shortcut for "isl::obj(oldobj).release()", a functionality commonly needed when interacting directly with the isl C interface where all methods marked with __isl_take require consumable raw pointers. S.is_null() checks if S manages a pointer or if the managed object is currently null. We add this function to provide a more explicit way to check if the pointer is empty compared to a direct conversion to bool. This commit also introduces a couple of polly-specific extensions that cover features currently not handled by the official isl C++ bindings draft, but which have been provided by IslPtr<T> and are consequently added to avoid code churn. These extensions include: - operator bool() : Conversion from objects to bool - construction from nullptr_t - get_ctx() method - take/keep/give methods, which match the currently used naming convention of IslPtr<T> in Polly. They just forward to (release/get/manage). - raw_ostream printers We expect that these extensions are over time either removed or upstreamed to the official isl bindings. We also export a couple of classes that have not yet been exported in isl (e.g., isl::space) As part of the code review, the following two questions were asked: - Why do we not use a standard smart pointer? std::value_ptr was a proposal that has not been accepted. It is consequently not available in the standard library. Even if it would be available, we want to expand this interface with a complete method interface that is conveniently available from each managed pointer. The most direct way to achieve this is to generate a specialiced value style pointer class for each isl object type and add any additional methods to this class. The relevant changes follow in subsequent commits. - Why do we not use templates or macros to avoid code duplication? It is certainly possible to use templates or macros, but as this code is auto-generated there is no need to make writing this code more efficient. Also, most of these classes will be specialized with individual member functions in subsequent commits, such that there will be little code reuse to exploit. Hence, we decided to do so at the moment. These bindings are not yet officially part of isl, but the draft is already very stable. The smart pointer interface itself did not change since serveral months. Adding this code to Polly is against our normal policy of only importing official isl code. In this case however, we make an exception to showcase a non-trivial use case of these bindings which should increase confidence in these bindings and will help upstreaming them to isl. Tags: #polly Reviewed By: Meinersbur Differential Revision: https://reviews.llvm.org/D30325 llvm-svn: 297452
OpenPOWER on IntegriCloud