diff options
| author | Tobias Grosser <tobias@grosser.es> | 2018-02-20 07:26:42 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2018-02-20 07:26:42 +0000 |
| commit | fa8079d0dc1b9fbca201b92f30d3c97386c75114 (patch) | |
| tree | 8163f9c4eb97308b4c7a8a1777fdc9aac3c789be /polly/lib/External/isl/isl_obj.c | |
| parent | 85476dc45ad1216e533385964b9ce191968c316f (diff) | |
| download | bcm5719-llvm-fa8079d0dc1b9fbca201b92f30d3c97386c75114.tar.gz bcm5719-llvm-fa8079d0dc1b9fbca201b92f30d3c97386c75114.zip | |
Update isl to isl-0.18-1047-g4a20ef8
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
Diffstat (limited to 'polly/lib/External/isl/isl_obj.c')
| -rw-r--r-- | polly/lib/External/isl/isl_obj.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_obj.c b/polly/lib/External/isl/isl_obj.c index e12035fcf8d..da593d3ffc1 100644 --- a/polly/lib/External/isl/isl_obj.c +++ b/polly/lib/External/isl/isl_obj.c @@ -13,6 +13,7 @@ * B.P. 105 - 78153 Le Chesnay, France */ +#include <isl/val.h> #include <isl/aff.h> #include <isl/set.h> #include <isl/map.h> |
