| commit | 050c861f249b2ca4c095fa79868a4804e0c7f607 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 13 Oct 2014 09:19:23 +0000 (13 11:19 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 25 Dec 2014 09:52:37 +0000 (25 10:52 +0100) | ||
| tree | b7117340bb28e39a5fa386c6b94e3c87b9da527d | treesnapshot (tar.gz zip) |
| parent | 57cbe7454413b1956fe8c9c14cb57c223570b204 | commitdiff |
isl_ast_build_ast_from_schedule: remove redundant constraints
Redundant constraints are removed implicitly by isl_union_map_coalesce,
but this only happens for maps that have more than one disjunct.
Remove redundant constraints explicitly, such that they also get
removed on maps with a single disjunct.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Redundant constraints are removed implicitly by isl_union_map_coalesce,
but this only happens for maps that have more than one disjunct.
Remove redundant constraints explicitly, such that they also get
removed on maps with a single disjunct.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>