isl_basic_map_drop_redundant_divs_ineq: extract out any_div_involves_div
commit0678a681f83b64388bf6a8aebecbdee542ab587f
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 13 Jul 2016 11:34:44 +0000 (13 13:34 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 27 Jul 2020 15:45:08 +0000 (27 17:45 +0200)
tree898d96c223bd8e062818642414b2a3f73c2ae801
parent0e3caacd47406bc8e5f325040fdd6914364313f7
isl_basic_map_drop_redundant_divs_ineq: extract out any_div_involves_div

This makes it easier to apply the change in the next commit.
There is already one very minor change in this commit
in that the extracted function will only start looking
at the next local variable, while the original code
started looking at the current local variable,
but the explicit representation of a local variable
could never involve itself, so this should not make a difference.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_map_simplify.c