| commit | 97367264864abd8583a3eedf52b55e1a9055917a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 17 Nov 2015 11:16:23 +0000 (17 12:16 +0100) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 28 Aug 2018 19:41:54 +0000 (28 21:41 +0200) | ||
| tree | 06f299ac44542fddb402ac7714a34abdfec3521b | treesnapshot (tar.gz zip) |
| parent | bb78067d578ee67c373cb547e33a6bad7f37dd71 | commitdiff |
isl_basic_map_drop_div: drop removal of constraints involving div
This removal is no longer needed now that remove_redundant_divs
calls isl_basic_map_drop_constraints_involving before dropping
the integer division.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
This removal is no longer needed now that remove_redundant_divs
calls isl_basic_map_drop_constraints_involving before dropping
the integer division.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_map.c | diffblobblamehistory |