| commit | 3307d67c62416e15389ec73468af7af4c65c3eb8 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 24 Jul 2014 06:46:03 +0000 (24 08:46 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 15 Sep 2014 15:57:19 +0000 (15 17:57 +0200) | ||
| tree | f3512f15024dbbc6fab0d231b99af0a0ce55d3fe | treesnapshot (tar.gz zip) |
| parent | 9cdb48bf8b0cb5a305d2034981529ecac56398f2 | commitdiff |
isl_basic_map_gist: remove redundant div constraints
Although this may not be a strict requirement, the output of a gist
operation typically does not contain any redundant constraints
(with respect to other constraints in the output).
If div constraints have been added and subsequently reduced by
equalities involving the corresponding variable, then these
constraints may occasionally be redundant with respect to the
other constraints. Remove them.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Although this may not be a strict requirement, the output of a gist
operation typically does not contain any redundant constraints
(with respect to other constraints in the output).
If div constraints have been added and subsequently reduced by
equalities involving the corresponding variable, then these
constraints may occasionally be redundant with respect to the
other constraints. Remove them.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory | |
| test_inputs/codegen/separate2.c | diffblobblamehistory |