| commit | 2049680c6e045e8e743db07bb2f1b4013f31ad48 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 20 Jun 2016 15:52:35 +0000 (20 17:52 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 19 Dec 2016 09:05:20 +0000 (19 10:05 +0100) | ||
| tree | bdc3c8e85fa5c0617d2e197ce704fc679d503c4b | treesnapshot (tar.gz zip) |
| parent | c097ccb569faadf3bce061a1252aa4e8c723c07d | commitdiff |
isl_map_coalesce: allow extensions to stick out by one
That is, allow the basic map that is about to be extended
to include the other one to also have some cut constraints,
as long as relaxing these cut constraints by one makes them valid.
The function is_adj_eq_extension has already been extended
to is_relaxed_extension to handle these cut constraints
in the previous commit.
This commit simply collects the cut constraints and
checks that relaxing them by one is sufficient.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
That is, allow the basic map that is about to be extended
to include the other one to also have some cut constraints,
as long as relaxing these cut constraints by one makes them valid.
The function is_adj_eq_extension has already been extended
to is_relaxed_extension to handle these cut constraints
in the previous commit.
This commit simply collects the cut constraints and
checks that relaxing them by one is sufficient.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |