add isl_map_gist_range

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

diff --git a/doc/user.pod b/doc/user.pod
index ad26fd0..9fccccf 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2415,6 +2415,9 @@ instead.
        __isl_give isl_map *isl_map_gist_domain(
                __isl_take isl_map *map,
                __isl_take isl_set *context);
+       __isl_give isl_map *isl_map_gist_range(
+               __isl_take isl_map *map,
+               __isl_take isl_set *context);
        __isl_give isl_union_map *isl_union_map_gist(
                __isl_take isl_union_map *umap,
                __isl_take isl_union_map *context);

diff --git a/include/isl/map.h b/include/isl/map.h
index ec65e02..2e11ae4 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -520,6 +520,8 @@ __isl_give isl_map *isl_map_gist(__isl_take isl_map *map,
 __isl_export
 __isl_give isl_map *isl_map_gist_domain(__isl_take isl_map *map,
        __isl_take isl_set *context);
+__isl_give isl_map *isl_map_gist_range(__isl_take isl_map *map,
+       __isl_take isl_set *context);
 __isl_give isl_map *isl_map_gist_params(__isl_take isl_map *map,
        __isl_take isl_set *context);
 __isl_give isl_map *isl_map_gist_basic_map(__isl_take isl_map *map,

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index f027d52..8e70f2d 100644 (file)
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1895,6 +1895,14 @@ __isl_give isl_map *isl_map_gist_domain(__isl_take isl_map *map,
        return isl_map_gist(map, map_context);
 }
 
+__isl_give isl_map *isl_map_gist_range(__isl_take isl_map *map,
+       __isl_take isl_set *context)
+{
+       isl_map *map_context = isl_map_universe(isl_map_get_space(map));
+       map_context = isl_map_intersect_range(map_context, context);
+       return isl_map_gist(map, map_context);
+}
+
 __isl_give isl_map *isl_map_gist_params(__isl_take isl_map *map,
        __isl_take isl_set *context)
 {