isl_basic_map_eliminate_vars: don't detect divs while removing duplicate constraints
commitda7076227b58bbaf5920dbfe9db9f44282f07792
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 15 Nov 2010 10:39:19 +0000 (15 11:39 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 15 Nov 2010 10:39:19 +0000 (15 11:39 +0100)
tree932dd921ef3734083377b47c1bd6392de589a4e5
parent9b2d15d2366b8239d811a609f9510c2aa9def4e8
isl_basic_map_eliminate_vars: don't detect divs while removing duplicate constraints

We were careful to remove the definitions of divs that depend on the
eliminated variables at the start of isl_basic_map_eliminate_vars,
but remove_duplicate_constraints could rediscover some of them and
add them back in.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map_simplify.c