tree 71e4fb0b13fc891a84317b374b8a1b677337c8d2
parent 09ede9763991472392a028e80d44435720ed088e
author Tobias Grosser <tobias@grosser.es> 1519111602 +0000
committer Tobias Grosser <tobias@grosser.es> 1519111602 +0000

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.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@325557 91177308-0d34-0410-b5e6-96231b3b80d8