From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 15 Feb 2010 08:25:18 +0000 (+0100)
Subject: isl_map_coalesce: only use non-redundant constraints as potential facets
X-Git-Tag: isl-0.02~89
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=9ec9ffc4520273f4244ed7185e4bf2797fe33c2a;p=platform%2Fupstream%2Fisl.git

isl_map_coalesce: only use non-redundant constraints as potential facets
---

diff --git a/isl_coalesce.c b/isl_coalesce.c
index bdf20eb..dfc3adf 100644
--- a/isl_coalesce.c
+++ b/isl_coalesce.c
@@ -591,10 +591,13 @@ static int can_wrap_in_set(struct isl_map *map, int i, int j,
 	isl_assert(map->ctx, k < map->p[i]->n_ineq, return -1);
 
 	isl_int_add_ui(map->p[i]->ineq[k][0], map->p[i]->ineq[k][0], 1);
-	for (l = 0; l < map->p[j]->n_ineq; ++l)
+	for (l = 0; l < map->p[j]->n_ineq; ++l) {
+		if (isl_tab_is_redundant(tabs[j], map->p[j]->n_eq + l))
+			continue;
 		if (isl_seq_eq(map->p[i]->ineq[k],
 				map->p[j]->ineq[l], 1 + total))
 			break;
+	}
 	isl_int_sub_ui(map->p[i]->ineq[k][0], map->p[i]->ineq[k][0], 1);
 
 	if (l >= map->p[j]->n_ineq)