add isl_set_gist_params_basic_set

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

diff --git a/isl_map_private.h b/isl_map_private.h
index 87b0cdc..6bfac80 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -333,4 +333,7 @@ int isl_basic_set_foreach_lexopt(__isl_keep isl_basic_set *bset, int max,
 __isl_give isl_set *isl_set_substitute(__isl_take isl_set *set,
        enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);
 
+__isl_give isl_set *isl_set_gist_params_basic_set(__isl_take isl_set *set,
+       __isl_take isl_basic_set *context);
+
 #endif

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index e018c33..f027d52 100644 (file)
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1871,6 +1871,15 @@ __isl_give isl_set *isl_set_gist_basic_set(__isl_take isl_set *set,
                                        (struct isl_basic_map *)context);
 }
 
+__isl_give isl_set *isl_set_gist_params_basic_set(__isl_take isl_set *set,
+       __isl_take isl_basic_set *context)
+{
+       isl_space *space = isl_set_get_space(set);
+       isl_basic_set *dom_context = isl_basic_set_universe(space);
+       dom_context = isl_basic_set_intersect_params(dom_context, context);
+       return isl_set_gist_basic_set(set, dom_context);
+}
+
 __isl_give isl_set *isl_set_gist(__isl_take isl_set *set,
        __isl_take isl_set *context)
 {