From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 1 Nov 2009 14:34:03 +0000 (+0100)
Subject: isl_basic_map_simplify: make sure to rerun Gauss when equality has been added
X-Git-Tag: isl-0.02~199
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=7f9e6c9c39457a64a5aa310a5a7c16ba8e76e6ef;p=platform%2Fupstream%2Fisl.git

isl_basic_map_simplify: make sure to rerun Gauss when equality has been added

remove_duplicate_constraints failed to set the progress flag when
it replaces a pair of inequalities by an equality, resulting in
the result of isl_basic_map_simplify possibly not having the equalities
in the expected form.
---

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index c9f997e..ed9e033 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -1007,6 +1007,8 @@ static struct isl_basic_map *remove_duplicate_constraints(
 			 * will no longer be valid.
 			 * Plus, we probably we want to regauss first.
 			 */
+			if (progress)
+				*progress = 1;
 			isl_basic_map_drop_inequality(bmap, l);
 			isl_basic_map_inequality_to_equality(bmap, k);
 		} else