isl_map_gist: also perform gist in universe context
commit405fd1024ee12c59d62eef514002fb93b629746d
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 11 Aug 2010 10:49:05 +0000 (11 12:49 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 11 Aug 2010 10:49:05 +0000 (11 12:49 +0200)
tree0fb716b7e054fddf15ce97faffaf5ccdd288d96d
parent297121f5de379dd253a89a2b62fc99b2ab1d82e5
isl_map_gist: also perform gist in universe context

Originally, it didn't make sense to gist in a universe context,
because there were no constraints with respect to which the gist
could be computed.  However, since the more aggressive gist of
d5e1701 (isl_basic_map_gist: be more aggressive in removing constraints)
some contraints can get removed even in a universe context.

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