| commit | 0d00fe67d8a1149a0d5e0386adef6ba44b5c068e | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 10 Aug 2016 09:23:14 +0000 (10 11:23 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Wed, 15 Aug 2018 18:23:58 +0000 (15 20:23 +0200) | ||
| tree | aa7109897e45339322e42bc071a816adf73f7493 | treesnapshot (tar.gz zip) |
| parent | 4d2adbf4012cccb53f71aa8344410950bc10ae1b | commitdiff |
isl_map_simplify.c: set_div_from_eq: drop redundant mark removal
Normalization of a basic map in isl_basic_map_normalize
(currently) only involves the constraints.
Setting the explicit representation of an integer division therefore
does not affect this state and the mark does not need to be removed.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Normalization of a basic map in isl_basic_map_normalize
(currently) only involves the constraints.
Setting the explicit representation of an integer division therefore
does not affect this state and the mark does not need to be removed.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_map_simplify.c | diffblobblamehistory |