| commit | e4ac1a50b61a730a1a23dd5f74296df19d775eb6 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 18 Apr 2010 15:50:05 +0000 (18 17:50 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 23 Apr 2010 10:48:08 +0000 (23 12:48 +0200) | ||
| tree | 701eab11c956aaaf8420b818df94f8c4230ced1e | treesnapshot (tar.gz zip) |
| parent | a5da2eb5016ea2ac7f960ac9859364c96279668d | commitdiff |
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.
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 | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |