diff options
| author | Tobias Grosser <tobias@grosser.es> | 2016-06-12 04:30:40 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2016-06-12 04:30:40 +0000 |
| commit | 07b209523403d6c0d68c328cb20a8eaf6b51369c (patch) | |
| tree | 8be8684e3bb7f859f925276864978daabc8b90e2 /clang-tools-extra | |
| parent | 8620679eb5f30246c6d9f8d5813936ffed2502d6 (diff) | |
| download | bcm5719-llvm-07b209523403d6c0d68c328cb20a8eaf6b51369c.tar.gz bcm5719-llvm-07b209523403d6c0d68c328cb20a8eaf6b51369c.zip | |
Update isl to isl-0.17.1-57-g1879898
With this update the isl AST generation extracts disjunctive constraints early
on. As a result, code that previously resulted in two branches with (close-to)
identical code within them:
if (P <= -1) {
for (int c0 = 0; c0 < N; c0 += 1)
Stmt_store(c0);
} else if (P >= 1)
for (int c0 = 0; c0 < N; c0 += 1)
Stmt_store(c0);
results now in only a single branch body:
if (P <= -1 || P >= 1)
for (int c0 = 0; c0 < N; c0 += 1)
Stmt_store(c0);
This resolves http://llvm.org/PR27559
Besides the above change, this isl update brings better simplification of
sets/maps containing existentially quantified dimensions and fixes a bug in
isl's coalescing.
llvm-svn: 272500
Diffstat (limited to 'clang-tools-extra')
0 files changed, 0 insertions, 0 deletions
