add isl_map_universe

diff --git a/include/isl_map.h b/include/isl_map.h
index 4c12915..2a6b4e5 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -202,6 +202,7 @@ int isl_basic_map_is_strict_subset(struct isl_basic_map *bmap1,
 struct isl_map *isl_map_alloc(struct isl_ctx *ctx,
                unsigned nparam, unsigned in, unsigned out, int n,
                unsigned flags);
+struct isl_map *isl_map_universe(struct isl_dim *dim);
 struct isl_map *isl_map_empty(struct isl_dim *dim);
 struct isl_map *isl_map_empty_like(struct isl_map *model);
 struct isl_map *isl_map_empty_like_basic_map(struct isl_basic_map *model);

diff --git a/isl_map.c b/isl_map.c
index 074f31d..f0ee231 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -2639,6 +2639,16 @@ struct isl_set *isl_set_empty_like(struct isl_set *model)
        return isl_set_empty(isl_dim_copy(model->dim));
 }
 
+struct isl_map *isl_map_universe(struct isl_dim *dim)
+{
+       struct isl_map *map;
+       if (!dim)
+               return NULL;
+       map = isl_map_alloc_dim(isl_dim_copy(dim), 1, ISL_MAP_DISJOINT);
+       map = isl_map_add(map, isl_basic_map_universe(dim));
+       return map;
+}
+
 struct isl_set *isl_set_universe(struct isl_dim *dim)
 {
        struct isl_set *set;