From 5808aa2ac7c1910bda9c8583e0b56a3d049cafc0 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 6 Apr 2013 11:12:17 +0200 Subject: [PATCH] bound.c: split_on_size: use isl_val Signed-off-by: Sven Verdoolaege --- bound.c | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/bound.c b/bound.c index fae21ad..fdfc924 100644 --- a/bound.c +++ b/bound.c @@ -225,17 +225,14 @@ static int split_on_size(__isl_take isl_set *set, if (bounded) { isl_pw_qpolynomial *pwqp; isl_qpolynomial *cst; - isl_int m; - int is_cst; + isl_val *m; pwqp = isl_set_card(set_np); cst = isl_pw_qpolynomial_max(pwqp); - isl_int_init(m); - is_cst = isl_qpolynomial_is_cst(cst, &m, NULL); + m = isl_qpolynomial_get_constant_val(cst); isl_qpolynomial_free(cst); - assert(is_cst); - bounded = isl_int_cmp_si(m, data->size) <= 0; - isl_int_clear(m); + bounded = isl_val_cmp_si(m, data->size) <= 0; + isl_val_free(m); } else isl_set_free(set_np); -- 2.11.4.GIT