From 2c1ad1eb806859edb46e9013fda9c5750bc4388b Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 23 Jul 2009 11:40:43 +0200 Subject: isl_tab.c: simplify add_eq --- isl_tab.c | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) (limited to 'isl_tab.c') diff --git a/isl_tab.c b/isl_tab.c index 6003823a..fd66b6ac 100644 --- a/isl_tab.c +++ b/isl_tab.c @@ -972,13 +972,12 @@ static struct isl_tab *add_eq(struct isl_tab *tab, isl_int *eq) goto error; r = tab->con[r].index; - for (i = tab->n_dead; i < tab->n_col; ++i) { - if (isl_int_is_zero(tab->mat->row[r][2 + i])) - continue; - pivot(tab, r, i); - kill_col(tab, i); - break; - } + i = isl_seq_first_non_zero(tab->mat->row[r] + 2 + tab->n_dead, + tab->n_col - tab->n_dead); + isl_assert(tab->mat->ctx, i >= 0, goto error); + i += tab->n_dead; + pivot(tab, r, i); + kill_col(tab, i); tab->n_eq++; return tab; -- cgit v1.2.3