diff options
| author | Tobias Grosser <tobias@grosser.es> | 2015-11-21 20:48:39 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2015-11-21 20:48:39 +0000 |
| commit | fb3fb0a309807c00de47a40e3aa91768bbdd0082 (patch) | |
| tree | 3a0bf75134df1df9f31af53b4156c946341e1f57 /polly/lib/External/isl/isl_map.c | |
| parent | b46557292c140bc8c65ec47048b6a4de726e6d64 (diff) | |
| download | bcm5719-llvm-fb3fb0a309807c00de47a40e3aa91768bbdd0082.tar.gz bcm5719-llvm-fb3fb0a309807c00de47a40e3aa91768bbdd0082.zip | |
isl: Update to isl-0.15-136-g4d5654a
The most interesting change for Polly in this isl update is 4d5654af which
in certain cases can speed up the construction of run-time checks from an isl
set consisting of several disjuncts significantly.
llvm-svn: 253794
Diffstat (limited to 'polly/lib/External/isl/isl_map.c')
| -rw-r--r-- | polly/lib/External/isl/isl_map.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_map.c b/polly/lib/External/isl/isl_map.c index a4762f43a8c..b3c5c02922b 100644 --- a/polly/lib/External/isl/isl_map.c +++ b/polly/lib/External/isl/isl_map.c @@ -2857,6 +2857,15 @@ struct isl_basic_map *isl_basic_map_intersect( isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim), goto error); + if (isl_basic_map_plain_is_empty(bmap1)) { + isl_basic_map_free(bmap2); + return bmap1; + } + if (isl_basic_map_plain_is_empty(bmap2)) { + isl_basic_map_free(bmap1); + return bmap2; + } + if (bmap1->sample && isl_basic_map_contains(bmap1, bmap1->sample) > 0 && isl_basic_map_contains(bmap2, bmap1->sample) > 0) |
