| commit | 04f62692262dc38eeadcf573047df36bd04af5b4 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 22 Aug 2012 12:41:43 +0000 (22 14:41 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 3 Sep 2012 13:43:16 +0000 (3 15:43 +0200) | ||
| tree | e905426db18cd6af6f4cdb99fec99cbb2019a866 | treesnapshot (tar.gz zip) |
| parent | b6783e247364e400b73ebf5cf0f328c16d8d6c43 | commitdiff |
isl_basic_map_drop_redundant_divs: don't drop divs that appear in other divs
Divs that appear in the definition of other divs usually occur in at least
4 constraints, so they normally wouldn't get dropped by this function.
However, the div constraints of the other div(s) may have been simplified
or eliminated. This happens in particular on the new test case
due to the optimization introduced in 2592280 (isl_basic_map_simplify:
eliminate known divs that appear with unit coefficient,
Wed May 16 13:51:16 2012 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Divs that appear in the definition of other divs usually occur in at least
4 constraints, so they normally wouldn't get dropped by this function.
However, the div constraints of the other div(s) may have been simplified
or eliminated. This happens in particular on the new test case
due to the optimization introduced in 2592280 (isl_basic_map_simplify:
eliminate known divs that appear with unit coefficient,
Wed May 16 13:51:16 2012 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |