add isl_union_pw_*_gist_params

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

diff --git a/doc/user.pod b/doc/user.pod
index 096ac80..13cb4b4 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -3565,6 +3565,10 @@ obviously equal, use
                __isl_take isl_pw_qpolynomial *pwqp,
                __isl_take isl_set *context);
 
+       __isl_give isl_union_pw_qpolynomial *
+       isl_union_pw_qpolynomial_gist_params(
+               __isl_take isl_union_pw_qpolynomial *upwqp,
+               __isl_take isl_set *context);
        __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_gist(
                __isl_take isl_union_pw_qpolynomial *upwqp,
                __isl_take isl_union_set *context);
@@ -3765,6 +3769,10 @@ obviously equal, use
        __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_gist(
                __isl_take isl_union_pw_qpolynomial_fold *upwf,
                __isl_take isl_union_set *context);
+       __isl_give isl_union_pw_qpolynomial_fold *
+       isl_union_pw_qpolynomial_fold_gist_params(
+               __isl_take isl_union_pw_qpolynomial_fold *upwf,
+               __isl_take isl_set *context);
 
 The gist operation applies the gist operation to each of
 the cells in the domain of the input piecewise quasipolynomial reduction.

diff --git a/include/isl/polynomial.h b/include/isl/polynomial.h
index 509f4de..de4d4a7 100644 (file)
--- a/include/isl/polynomial.h
+++ b/include/isl/polynomial.h
@@ -483,6 +483,9 @@ __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_coalesce(
 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_gist(
        __isl_take isl_union_pw_qpolynomial *upwqp,
        __isl_take isl_union_set *context);
+__isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_gist_params(
+       __isl_take isl_union_pw_qpolynomial *upwqp,
+       __isl_take isl_set *context);
 
 __isl_give isl_union_pw_qpolynomial *isl_union_pw_qpolynomial_align_params(
        __isl_take isl_union_pw_qpolynomial *upwqp,
@@ -548,6 +551,10 @@ __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_coalesce
 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_gist(
        __isl_take isl_union_pw_qpolynomial_fold *upwf,
        __isl_take isl_union_set *context);
+__isl_give isl_union_pw_qpolynomial_fold *
+isl_union_pw_qpolynomial_fold_gist_params(
+       __isl_take isl_union_pw_qpolynomial_fold *upwf,
+       __isl_take isl_set *context);
 
 __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_align_params(
        __isl_take isl_union_pw_qpolynomial_fold *upwf,

diff --git a/isl_union_templ.c b/isl_union_templ.c
index bbdde9c..ad158e3 100644 (file)
--- a/isl_union_templ.c
+++ b/isl_union_templ.c
@@ -487,6 +487,15 @@ __isl_give UNION *FN(UNION,intersect_params)(__isl_take UNION *u,
        return any_set_op(u, set, &FN(PW,intersect_params));
 }
 
+/* Compute the gist of the domain of "u" with respect to
+ * the parameter domain "context".
+ */
+__isl_give UNION *FN(UNION,gist_params)(__isl_take UNION *u,
+       __isl_take isl_set *set)
+{
+       return any_set_op(u, set, &FN(PW,gist_params));
+}
+
 S(UNION,match_set_data) {
        isl_union_set *uset;
        UNION *res;