From 7e6233c6ca2953077341071b60a591aaec999a4d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 11 Nov 2010 13:03:51 +0100 Subject: [PATCH] isl_range.c: privately export isl_qpolynomial_terms_of_sign Outside users may call the function on quasi-polynomials, so allow integer division, but assume the caller has made sure they are always positive. Signed-off-by: Sven Verdoolaege --- isl_range.c | 15 +++++++-------- isl_range.h | 2 ++ 2 files changed, 9 insertions(+), 8 deletions(-) diff --git a/isl_range.c b/isl_range.c index fdec1090..5a43b3f7 100644 --- a/isl_range.c +++ b/isl_range.c @@ -173,7 +173,8 @@ struct isl_fixed_sign_data { /* Add term "term" to data->poly if it has sign data->sign. * The sign is determined based on the signs of the parameters - * and variables in data->signs. + * and variables in data->signs. The integer divisions, if + * any, are assumed to be non-negative. */ static int collect_fixed_sign_terms(__isl_take isl_term *term, void *user) { @@ -190,9 +191,6 @@ static int collect_fixed_sign_terms(__isl_take isl_term *term, void *user) nparam = isl_term_dim(term, isl_dim_param); nvar = isl_term_dim(term, isl_dim_set); - isl_assert(isl_term_get_ctx(term), isl_term_dim(term, isl_dim_div) == 0, - return -1); - isl_int_init(n); isl_term_get_num(term, &n); @@ -224,9 +222,10 @@ static int collect_fixed_sign_terms(__isl_take isl_term *term, void *user) } /* Construct and return a polynomial that consists of the terms - * in "poly" that have sign "sign". + * in "poly" that have sign "sign". The integer divisions, if + * any, are assumed to be non-negative. */ -static __isl_give isl_qpolynomial *fixed_sign_terms( +__isl_give isl_qpolynomial *isl_qpolynomial_terms_of_sign( __isl_keep isl_qpolynomial *poly, int *signs, int sign) { struct isl_fixed_sign_data data = { signs, sign }; @@ -322,8 +321,8 @@ static int propagate_on_bound_pair(__isl_take isl_constraint *lower, u = bound2poly(upper, isl_dim_copy(dim), nvar, 1); l = bound2poly(lower, dim, nvar, -1); - pos = fixed_sign_terms(data->poly, data->signs, sign); - neg = fixed_sign_terms(data->poly, data->signs, -sign); + pos = isl_qpolynomial_terms_of_sign(data->poly, data->signs, sign); + neg = isl_qpolynomial_terms_of_sign(data->poly, data->signs, -sign); pos = isl_qpolynomial_substitute(pos, isl_dim_set, nvar, 1, &u); neg = isl_qpolynomial_substitute(neg, isl_dim_set, nvar, 1, &l); diff --git a/isl_range.h b/isl_range.h index ff02287f..c0970790 100644 --- a/isl_range.h +++ b/isl_range.h @@ -2,3 +2,5 @@ int isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct isl_bound *bound); +__isl_give isl_qpolynomial *isl_qpolynomial_terms_of_sign( + __isl_keep isl_qpolynomial *poly, int *signs, int sign); -- 2.11.4.GIT