| commit | 5b5d338acd6330878db0108006e4fae76e850b0b | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 12 Oct 2014 20:44:02 +0000 (12 22:44 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 12 Jan 2015 15:44:05 +0000 (12 16:44 +0100) | ||
| tree | 5e76dc6f1d39857ba941341cdbbb6c656ec57195 | treesnapshot (tar.gz zip) |
| parent | 755fe7b35f32b0cf505a3f67249c51dc1daf4a76 | commitdiff |
isl_map_coalesce: coalesce within affine hull first
In principle, any two disjuncts that live in adjacent hyperplanes
can be coalesced together. First combining basic maps
inside a hyperplane therefore does not affect the potential
for coalescing across the hyperplanes. On the other hand,
first coalescing across hyperplanes results in a basic map
that no longer lives entirely within one of the hyperplanes.
Although it may still be possible to combine this basic map
with other basic maps inside the two hyperplanes, this is no
longer guaranteed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In principle, any two disjuncts that live in adjacent hyperplanes
can be coalesced together. First combining basic maps
inside a hyperplane therefore does not affect the potential
for coalescing across the hyperplanes. On the other hand,
first coalescing across hyperplanes results in a basic map
that no longer lives entirely within one of the hyperplanes.
Although it may still be possible to combine this basic map
with other basic maps inside the two hyperplanes, this is no
longer guaranteed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory |