From aa8187c498f2853c13d6521be29eb3cadf22c142 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 9 Apr 2013 16:23:56 +0200 Subject: [PATCH] polysign_isl.c: extract_equalities: use isl_val Signed-off-by: Sven Verdoolaege --- polysign_isl.c | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/polysign_isl.c b/polysign_isl.c index 6cc443a..e57690d 100644 --- a/polysign_isl.c +++ b/polysign_isl.c @@ -1,4 +1,5 @@ #include +#include #include #include #include "polysign.h" @@ -15,7 +16,7 @@ static __isl_give isl_mat *extract_equalities(isl_ctx *ctx, Matrix *M) { int i, j; int n; - isl_int v; + isl_val *v; isl_mat *eq; n = 0; @@ -23,17 +24,15 @@ static __isl_give isl_mat *extract_equalities(isl_ctx *ctx, Matrix *M) if (value_zero_p(M->p[i][0])) ++n; - isl_int_init(v); eq = isl_mat_alloc(ctx, n, M->NbColumns - 1); for (i = 0; i < M->NbRows; ++i) { if (!value_zero_p(M->p[i][0])) continue; for (j = 0; j < M->NbColumns - 1; ++j) { - isl_int_set_gmp(v, M->p[i][1 + j]); - eq = isl_mat_set_element(eq, i, j, v); + v = isl_val_int_from_gmp(ctx, M->p[i][1 + j]); + eq = isl_mat_set_element_val(eq, i, j, v); } } - isl_int_clear(v); return eq; } -- 2.11.4.GIT