isl_map_coalesce: allow wrapping in sets that stick out in different directions
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 18 Apr 2010 15:50:05 +0000 (17:50 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Apr 2010 10:48:08 +0000 (12:48 +0200)
commite4ac1a50b61a730a1a23dd5f74296df19d775eb6
tree701eab11c956aaaf8420b818df94f8c4230ced1e
parenta5da2eb5016ea2ac7f960ac9859364c96279668d
isl_map_coalesce: allow wrapping in sets that stick out in different directions

Before, we would only wrap in sets that extend beyond exactly
one facet of a given set and such that the wrapped in set itself
has a facet that is adjacent to this facet.
We now extend this process in several ways.
First, the wrapped-in set is allowed to extend beyond several facets.
Second, the wrapped-in set need not have facets adjacent to these facets.
It is sufficient that the adjacent facets are valid for the wrapped-in set.
Finally, the wrapped-in set is allowed to be of a lower dimension.
isl_coalesce.c
isl_test.c