| commit | 9e675150a1756e2f3a2dafd3083b26c548238ce9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 18 Jul 2016 09:16:57 +0000 (18 11:16 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 19 Jul 2016 09:44:08 +0000 (19 11:44 +0200) | ||
| tree | 163ffff175d5b06194d906732e297edeedf9fa45 | treesnapshot (tar.gz zip) |
| parent | 64146071dc1a5e95d05cb4825f60a93fab44570d | commitdiff |
isl_tab_add_div: extract out isl_tab_insert_div
The more general isl_tab_insert_div allows the integer division
to be added at arbitrary positions.
The calls to isl_tab_add_div that will take advantage of
this extra functionality are replaced by calls to isl_tab_insert_div.
The remaining call does not need the "add_ineq" and "user" arguments,
so they are dropped from the isl_tab_add_div interface.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The more general isl_tab_insert_div allows the integer division
to be added at arbitrary positions.
The calls to isl_tab_add_div that will take advantage of
this extra functionality are replaced by calls to isl_tab_insert_div.
The remaining call does not need the "add_ineq" and "user" arguments,
so they are dropped from the isl_tab_add_div interface.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_subtract.c | diffblobblamehistory | |
| isl_tab.c | diffblobblamehistory | |
| isl_tab.h | diffblobblamehistory | |
| isl_tab_pip.c | diffblobblamehistory |