isl_basic_map_from_constraint: keep all divs, even redundant ones
commit1463963058b56a59270f825e9a04891d7f250106
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 27 Jun 2010 17:00:35 +0000 (27 19:00 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 27 Jun 2010 18:36:52 +0000 (27 20:36 +0200)
tree5dcc7d51c320a48dd65d34b3c52df6e1a78df5d2
parent09bb29c8f95cc3f3ddb3acf1de645beff31ec647
isl_basic_map_from_constraint: keep all divs, even redundant ones

When this function is called by CLooG, it assumes that the position
of the divs will remain the same.  If the redundant divs are removed,
then this may not be the case.
We should probably try to come up with a more robust interface.
isl_constraint.c