isl_basic_map_remove_divs_involving_dims: handle disappearance of divs
commitf509c1376510422c0ca1302f33bcfd52ea342ad4
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 18 Jun 2011 07:56:15 +0000 (18 09:56 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 18 Jun 2011 12:09:09 +0000 (18 14:09 +0200)
tree2664f8d972c7710ec1007a4fa077b9a2bf39ea28
parentd8277ff25d6b7115e456c5be3875999d923e13a2
isl_basic_map_remove_divs_involving_dims: handle disappearance of divs

The internal call to isl_basic_map_remove_dims may remove more divs
than explicitly asked for (or it may reorder them) because it involves
a simplification step.  We therefore have to reconsider all the divs
after calling isl_basic_map_remove_dims.

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