From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 4 Oct 2010 20:08:54 +0000 (+0200)
Subject: isl_basic_set_multiplicative_call: handle parametric input
X-Git-Tag: isl-0.05~140
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=eda68a323c3ee855e63cc936deaa44366022cf14;p=platform%2Fupstream%2Fisl.git

isl_basic_set_multiplicative_call: handle parametric input

Due to a mistake in the original implementation, the wrong dimensions
would get dropped from factors of the input in case this input was
parametric.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

diff --git a/isl_polynomial.c b/isl_polynomial.c
index 444d8eb..180a89d 100644
--- a/isl_polynomial.c
+++ b/isl_polynomial.c
@@ -3745,9 +3745,9 @@ static __isl_give isl_pw_qpolynomial *compressed_multiplicative_call(
 			    nparam + n + f->len[i], nvar - n - f->len[i]);
 		bset_i = isl_basic_set_drop_constraints_involving(bset_i,
 			    nparam, n);
-		bset_i = isl_basic_set_drop_dims(bset_i,
-			    nparam + n + f->len[i], nvar - n - f->len[i]);
-		bset_i = isl_basic_set_drop_dims(bset_i, nparam, n);
+		bset_i = isl_basic_set_drop(bset_i, isl_dim_set,
+			    n + f->len[i], nvar - n - f->len[i]);
+		bset_i = isl_basic_set_drop(bset_i, isl_dim_set, 0, n);
 
 		pwqp_i = fn(bset_i);
 		pwqp = isl_pw_qpolynomial_mul(pwqp, pwqp_i);