From d1d3506b68887b16d9111f298f78e5167ef519f4 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 2 Nov 2011 12:26:28 +0100 Subject: [PATCH] add isl_aff_gist_params Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/aff.h | 2 ++ isl_aff.c | 8 ++++++++ 3 files changed, 13 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 7524d06..9015775 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -2851,6 +2851,9 @@ Operations include __isl_take isl_pw_aff *pwaff, __isl_take isl_space *model); + __isl_give isl_aff *isl_aff_gist_params( + __isl_take isl_aff *aff, + __isl_take isl_set *context); __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff, __isl_take isl_set *context); __isl_give isl_pw_aff *isl_pw_aff_gist( diff --git a/include/isl/aff.h b/include/isl/aff.h index 1154e3f..0827300 100644 --- a/include/isl/aff.h +++ b/include/isl/aff.h @@ -86,6 +86,8 @@ __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff, __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff, __isl_take isl_set *context); +__isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff, + __isl_take isl_set *context); __isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1, __isl_take isl_aff *aff2); diff --git a/isl_aff.c b/isl_aff.c index 23d17f0..3881036 100644 --- a/isl_aff.c +++ b/isl_aff.c @@ -997,6 +997,14 @@ error: return NULL; } +__isl_give isl_aff *isl_aff_gist_params(__isl_take isl_aff *aff, + __isl_take isl_set *context) +{ + isl_set *dom_context = isl_set_universe(isl_aff_get_domain_space(aff)); + dom_context = isl_set_intersect_params(dom_context, context); + return isl_aff_gist(aff, dom_context); +} + /* Return a basic set containing those elements in the space * of aff where it is non-negative. */ -- 2.7.4