| commit | 07c829bc39618b522ee178c716ae6bbcbbfd4b1f | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 8 Oct 2014 08:48:52 +0000 (8 10:48 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 1 Jan 2015 23:33:57 +0000 (2 00:33 +0100) | ||
| tree | b5e26b0afb461e7aebbd03217f4213e73b2cad43 | treesnapshot (tar.gz zip) |
| parent | 80fa4d35b768d36fcee954baf988302a99e2b2ff | commitdiff |
isl_coalesce.c: wrap_in_facets: simplify computation
Instead of wrapping constraints of both basic maps, we only need
to wrap constraints of the basic map that is sticking out of
the other basic map. This reduces the number of wrappings that
need to be performed and also simplifies reasoning about the correctness.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Instead of wrapping constraints of both basic maps, we only need
to wrap constraints of the basic map that is sticking out of
the other basic map. This reduces the number of wrappings that
need to be performed and also simplifies reasoning about the correctness.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory |