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>

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index e9727da..767ad22 100644 (file)
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1807,10 +1807,6 @@ struct isl_basic_map *isl_basic_map_gist(struct isl_basic_map *bmap,
        if (!bmap || !context)
                goto error;
 
-       if (isl_basic_map_is_universe(context)) {
-               isl_basic_map_free(context);
-               return bmap;
-       }
        if (isl_basic_map_is_universe(bmap)) {
                isl_basic_map_free(context);
                return bmap;
@@ -1856,10 +1852,6 @@ __isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map,
        if (!map || !context)
                goto error;;
 
-       if (isl_basic_map_is_universe(context)) {
-               isl_basic_map_free(context);
-               return map;
-       }
        if (isl_basic_map_fast_is_empty(context)) {
                struct isl_dim *dim = isl_dim_copy(map->dim);
                isl_basic_map_free(context);