From 0e842c955fdb7c6c4b7532014dd86e128e534b17 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 2 Nov 2011 12:30:13 +0100 Subject: [PATCH] add isl_qpolynomial_fold_gist_params Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/polynomial.h | 2 ++ isl_fold.c | 9 +++++++++ 3 files changed, 14 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 2abe0c71..b4a8510d 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -3730,6 +3730,9 @@ obviously equal, use __isl_give isl_union_pw_qpolynomial_fold *isl_union_pw_qpolynomial_fold_coalesce( __isl_take isl_union_pw_qpolynomial_fold *upwf); + __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist_params( + __isl_take isl_qpolynomial_fold *fold, + __isl_take isl_set *context); __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist( __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context); diff --git a/include/isl/polynomial.h b/include/isl/polynomial.h index 9f2c9e4b..64162f14 100644 --- a/include/isl/polynomial.h +++ b/include/isl/polynomial.h @@ -295,6 +295,8 @@ __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute( __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval( __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt); +__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist_params( + __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context); __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist( __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context); diff --git a/isl_fold.c b/isl_fold.c index fcafa154..69923265 100644 --- a/isl_fold.c +++ b/isl_fold.c @@ -611,6 +611,15 @@ error: return NULL; } +__isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_gist_params( + __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *context) +{ + isl_space *space = isl_qpolynomial_fold_get_domain_space(fold); + isl_set *dom_context = isl_set_universe(space); + dom_context = isl_set_intersect_params(dom_context, context); + return isl_qpolynomial_fold_gist(fold, dom_context); +} + #define HAS_TYPE #undef PW -- 2.11.4.GIT