projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3923eaa
)
isl_tab.c: simplify add_eq
author
Sven Verdoolaege
<skimo@kotnet.org>
Thu, 23 Jul 2009 09:40:43 +0000
(11:40 +0200)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Tue, 4 Aug 2009 17:21:09 +0000
(19:21 +0200)
isl_tab.c
patch
|
blob
|
history
diff --git
a/isl_tab.c
b/isl_tab.c
index
6003823
..
fd66b6a
100644
(file)
--- 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;