From 9ec9ffc4520273f4244ed7185e4bf2797fe33c2a Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 15 Feb 2010 09:25:18 +0100 Subject: [PATCH] isl_map_coalesce: only use non-redundant constraints as potential facets --- isl_coalesce.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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) -- 2.7.4