From d8c99e3e0c56515ab3404dc6ab38e6201f457c84 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 2 Nov 2011 12:24:05 +0100 Subject: [PATCH] add isl_set_gist_params_basic_set Signed-off-by: Sven Verdoolaege --- isl_map_private.h | 3 +++ isl_map_simplify.c | 9 +++++++++ 2 files changed, 12 insertions(+) diff --git a/isl_map_private.h b/isl_map_private.h index 87b0cdc..6bfac80 100644 --- 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 --- 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) { -- 2.7.4