From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 27 Sep 2010 08:47:25 +0000 (+0200)
Subject: isl_basic_map_gauss: normalize resulting constraints
X-Git-Tag: isl-0.05~138
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=596122af75f167c1b560ad55147e2c92ca2286c6;p=platform%2Fupstream%2Fisl.git

isl_basic_map_gauss: normalize resulting constraints

When isl_basic_map_gauss is called from isl_basic_map_simplify,
the constraints get normalized already.  However, sometimes the calling
functions wants to only perform isl_basic_map_gauss and then the constraints
should still be normalized.

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

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index d862f9a..a82f239 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -393,6 +393,7 @@ static void eliminate_var_using_equality(struct isl_basic_map *bmap,
 		if (progress)
 			*progress = 1;
 		isl_seq_elim(bmap->eq[k], eq, 1+pos, 1+total, NULL);
+		isl_seq_normalize(bmap->ctx, bmap->eq[k], 1 + total);
 	}
 
 	for (k = 0; k < bmap->n_ineq; ++k) {
@@ -401,6 +402,7 @@ static void eliminate_var_using_equality(struct isl_basic_map *bmap,
 		if (progress)
 			*progress = 1;
 		isl_seq_elim(bmap->ineq[k], eq, 1+pos, 1+total, NULL);
+		isl_seq_normalize(bmap->ctx, bmap->ineq[k], 1 + total);
 		ISL_F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED);
 	}