From b944c27a4e9ea06d27bb879e9f222f8c915d1218 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 7 Jun 2010 23:44:26 +0200 Subject: [PATCH] isl_tab_detect_implicit_equalities: also detect manifest equalities It's not clear why manifestly zero rows were ignored before. --- isl_tab.c | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/isl_tab.c b/isl_tab.c index 741c27e..9068c71 100644 --- a/isl_tab.c +++ b/isl_tab.c @@ -2500,11 +2500,9 @@ int isl_tab_select_facet(struct isl_tab *tab, int con) static int may_be_equality(struct isl_tab *tab, int row) { unsigned off = 2 + tab->M; - return (tab->rational ? isl_int_is_zero(tab->mat->row[row][1]) - : isl_int_lt(tab->mat->row[row][1], - tab->mat->row[row][0])) && - isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead, - tab->n_col - tab->n_dead) != -1; + return tab->rational ? isl_int_is_zero(tab->mat->row[row][1]) + : isl_int_lt(tab->mat->row[row][1], + tab->mat->row[row][0]); } /* Check for (near) equalities among the constraints. -- 2.7.4