| commit | 5394bff5435c94acb0b4daa53bd169aa2766b1f8 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 26 May 2016 15:44:34 +0000 (26 17:44 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 2 Jun 2016 14:13:43 +0000 (2 16:13 +0200) | ||
| tree | d5effe71e3c7bde48522ebde2cb946bb83ddcec8 | treesnapshot (tar.gz zip) |
| parent | ac4b6d658a897bd49db06f53684b40a1c23ffc53 | commitdiff |
isl_printer_print_map: print div constraints again in Omega format
Since f164818 (isl_printer_print_map: do not print div constraints,
Wed Aug 26 15:35:11 2015 +0200) div constraints are no longer printed
because they are redundant with respect to the explicit definition
of the integer division. However, in Omega format, the explicit
definition is never printed, so the div constraints are not redundant
in that case and should still be printed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Since f164818 (isl_printer_print_map: do not print div constraints,
Wed Aug 26 15:35:11 2015 +0200) div constraints are no longer printed
because they are redundant with respect to the explicit definition
of the integer division. However, in Omega format, the explicit
definition is never printed, so the div constraints are not redundant
in that case and should still be printed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_output.c | diffblobblamehistory |