From a3d6ea6f5f774649b2ce8672cb5d31f527a4a06d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 23 Jun 2011 08:50:45 +0200 Subject: [PATCH] bound.c: verify_point: make sure spaces of compared qpolynomials are the same The current isl_qpolynomial_is_equal doesn't care about the space in which a qpolynomial lives and so we were allowed to be sloppy before. Unfortunately, the current isl_qpolynomial_is_equal also completely ignores the definitions of the integer divisions, so it will have to be fixed. This means we can't be sloppy anymore. Signed-off-by: Sven Verdoolaege --- bound.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/bound.c b/bound.c index 5b50fa2..2a1655c 100644 --- a/bound.c +++ b/bound.c @@ -57,6 +57,7 @@ struct verify_point_bound { static int verify_point(__isl_take isl_point *pnt, void *user) { int i; + unsigned nvar; unsigned nparam; struct verify_point_bound *vpb = (struct verify_point_bound *) user; isl_int t; @@ -110,6 +111,8 @@ static int verify_point(__isl_take isl_point *pnt, void *user) else opt = isl_pw_qpolynomial_fold_min(isl_pw_qpolynomial_fold_copy(pwf)); + nvar = isl_set_dim(dom, isl_dim_set); + opt = isl_qpolynomial_drop_dims(opt, isl_dim_set, 0, nvar); if (vpb->exact && bounded) ok = isl_qpolynomial_is_equal(opt, bound); else if (sign > 0) -- 2.7.4