From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 22 Mar 2009 17:21:09 +0000 (+0100)
Subject: isl_basic_map_simplify: remove duplicate divs before dropping divs
X-Git-Tag: isl-0.01~203
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;ds=sidebyside;h=ac5e44583e192a33322189207f06298c8011667b;p=platform%2Fupstream%2Fisl.git

isl_basic_map_simplify: remove duplicate divs before dropping divs

The equalities on the duplicate but separate divs may
entail additional equalities among the variables that we do
not want to ignore.
---

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index 18041d5..b5b051d 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -901,12 +901,12 @@ struct isl_basic_map *isl_basic_map_simplify(struct isl_basic_map *bmap)
 	while (progress) {
 		progress = 0;
 		bmap = isl_basic_map_normalize_constraints(bmap);
+		bmap = remove_duplicate_divs(bmap, &progress);
 		bmap = eliminate_divs_eq(bmap, &progress);
 		bmap = eliminate_divs_ineq(bmap, &progress);
 		bmap = isl_basic_map_gauss(bmap, &progress);
 		/* requires equalities in normal form */
 		bmap = normalize_divs(bmap, &progress);
-		bmap = remove_duplicate_divs(bmap, &progress);
 		bmap = remove_duplicate_constraints(bmap, &progress);
 	}
 	return bmap;