From 86a6d2b2feebb131e7a294685572cd6d7ee04a9d Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 5 Feb 2011 19:53:45 +0100 Subject: [PATCH] isl_tab_is_equality: properly support "big parameter" An attempt was made in 40b68af (isl_tab: introduce support for "big parameters", Wed Aug 5 10:22:52 2009 +0200), but the change to isl_tab_is_equality was incomplete. Signed-off-by: Sven Verdoolaege --- isl_tab.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/isl_tab.c b/isl_tab.c index a747ec5b..1bd16459 100644 --- a/isl_tab.c +++ b/isl_tab.c @@ -2709,7 +2709,8 @@ int isl_tab_is_equality(struct isl_tab *tab, int con) off = 2 + tab->M; return isl_int_is_zero(tab->mat->row[row][1]) && - isl_seq_first_non_zero(tab->mat->row[row] + 2 + tab->n_dead, + (!tab->M || isl_int_is_zero(tab->mat->row[row][2])) && + isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead, tab->n_col - tab->n_dead) == -1; } -- 2.11.4.GIT