| commit | bb78067d578ee67c373cb547e33a6bad7f37dd71 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 17 Nov 2015 11:15:20 +0000 (17 12:15 +0100) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 28 Aug 2018 19:41:54 +0000 (28 21:41 +0200) | ||
| tree | 6a286291319e4aa38cefb34be244f8f77150e91a | treesnapshot (tar.gz zip) |
| parent | dfc4fe26b64b0faac782f0c75b155dfff6654729 | commitdiff |
isl_map_simplify.c: remove_redundant_divs: drop div constraints of redundant div
The constraints are now being removed by isl_basic_map_drop_div.
Performing the removal directly inside remove_redundant_divs
allows isl_basic_map_drop_div to be simplified and subsequently
merged with the core of isl_basic_map_drop.
isl_basic_map_drop_constraints_involving drops constraints in the
opposite order from isl_basic_map_drop_div, so this can result
in changes because the resulting order of the remaining constraints
may be different.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The constraints are now being removed by isl_basic_map_drop_div.
Performing the removal directly inside remove_redundant_divs
allows isl_basic_map_drop_div to be simplified and subsequently
merged with the core of isl_basic_map_drop.
isl_basic_map_drop_constraints_involving drops constraints in the
opposite order from isl_basic_map_drop_div, so this can result
in changes because the resulting order of the remaining constraints
may be different.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_map.c | diffblobblamehistory | |
| isl_map_simplify.c | diffblobblamehistory | |
| test_inputs/codegen/unroll4.c | diffblobblamehistory |