From 5f96fc203314f82ecec6359d43ddad7f2e65805b Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 10 Oct 2014 17:06:39 +0200 Subject: [PATCH] isl_coalesce.c: check_adj_eq: drop redundant test can_wrap_in_facet only relies on the given basic map having only one inequality that is adjacent to an equality of the other basic map. It does not matter how many equality constraints in that other basic map are adjacent to the inequality. Signed-off-by: Sven Verdoolaege --- isl_coalesce.c | 3 --- isl_test.c | 3 +++ 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/isl_coalesce.c b/isl_coalesce.c index 449479f4..618f51a1 100644 --- a/isl_coalesce.c +++ b/isl_coalesce.c @@ -1292,9 +1292,6 @@ static enum isl_change check_adj_eq(int i, int j, if (change != isl_change_none) return change; - if (count(info[j].eq, 2 * info[j].bmap->n_eq, STATUS_ADJ_INEQ) != 1) - return isl_change_none; - change = can_wrap_in_facet(i, j, k, info); return change; diff --git a/isl_test.c b/isl_test.c index 366ccfca..ed478f42 100644 --- a/isl_test.c +++ b/isl_test.c @@ -1456,6 +1456,9 @@ struct { "[i0, 0] : i0 >= 123 and i0 <= 124 }" }, { 1, "{ [0,0]; [1,1] }" }, { 1, "[n] -> { [k] : 16k <= -1 + n and k >= 1; [0] : n >= 2 }" }, + { 1, "{ [k, ii, k - ii] : ii >= -6 + k and ii <= 6 and ii >= 1 and " + "ii <= k;" + "[k, 0, k] : k <= 6 and k >= 1 }" }, }; /* Test the functionality of isl_set_coalesce. -- 2.11.4.GIT