add isl_aff_gist_params

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

diff --git a/doc/user.pod b/doc/user.pod
index 7524d06..9015775 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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.
  */