isl_basic_map_overlying_set: simply reset space when no divs are involved
commit8517ca67369d59ad5a8a4e32f6051a81dd052ddf
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 9 Jul 2015 12:12:48 +0000 (9 14:12 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 27 Jul 2015 12:33:49 +0000 (27 14:33 +0200)
tree7aca97e95b756a9ca2a558090c682a051fa5d1c2
parent7ab169d69c361350a8cab09f51c6effcd1cfb857
isl_basic_map_overlying_set: simply reset space when no divs are involved

In particular, there is no need to call simplify (again) if no
integer divisions are getting introduced.

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