From e172e792f3e13ef77c8ba7464ea1d01a2d32f6d8 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 6 Apr 2013 13:46:29 +0200 Subject: [PATCH] evalue_isl.c: relation2pwqp: use isl_val Signed-off-by: Sven Verdoolaege --- evalue_isl.c | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/evalue_isl.c b/evalue_isl.c index a124725..e614cd7 100644 --- a/evalue_isl.c +++ b/evalue_isl.c @@ -1,6 +1,7 @@ #include #include #include +#include #include static __isl_give isl_qpolynomial *extract_base(__isl_take isl_space *dim, @@ -121,6 +122,7 @@ static __isl_give isl_pw_qpolynomial *relation2pwqp(__isl_take isl_set *set, Vector *vec; isl_space *dim; isl_ctx *ctx; + isl_val *v; unsigned nparam; isl_pw_qpolynomial *pwqp; struct isl_constraint *c; @@ -159,11 +161,15 @@ static __isl_give isl_pw_qpolynomial *relation2pwqp(__isl_take isl_set *set, bset = isl_basic_set_universe(isl_space_copy(dim)); c = isl_equality_alloc(isl_local_space_from_space(dim)); - isl_int_neg(vec->p[0], vec->p[0]); - isl_constraint_set_coefficient(c, isl_dim_set, 0, vec->p[0]); - isl_constraint_set_constant(c, vec->p[1]); - for (i = 0; i < nparam; ++i) - isl_constraint_set_coefficient(c, isl_dim_param, i, vec->p[2+i]); + v = isl_val_int_from_gmp(ctx, vec->p[0]); + v = isl_val_neg(v); + c = isl_constraint_set_coefficient_val(c, isl_dim_set, 0, v); + v = isl_val_int_from_gmp(ctx, vec->p[1]); + c = isl_constraint_set_constant_val(c, v); + for (i = 0; i < nparam; ++i) { + v = isl_val_int_from_gmp(ctx, vec->p[2 + i]); + c = isl_constraint_set_coefficient_val(c, isl_dim_param, i, v); + } bset = isl_basic_set_add_constraint(bset, c); bset = isl_basic_set_params(bset); guard = isl_set_from_basic_set(bset); -- 2.11.4.GIT