Lines Matching refs:n_row
34 unsigned n_row, unsigned n_var, unsigned M)
43 tab->mat = isl_mat_alloc(ctx, n_row, off + n_var);
49 tab->con = isl_alloc_array(ctx, struct isl_tab_var, n_row);
50 if (n_row && !tab->con)
55 tab->row_var = isl_alloc_array(ctx, int, n_row);
56 if (n_row && !tab->row_var)
68 tab->n_row = 0;
71 tab->max_con = n_row;
124 if (tab->mat->n_row < tab->n_row + n_new) {
128 tab->n_row + n_new, off + tab->n_col);
132 int, tab->mat->n_row);
139 enum isl_tab_row_sign, tab->mat->n_row);
169 tab->mat->n_row, off + tab->n_col + n_new);
254 dup->row_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_row);
255 if (tab->mat->n_row && !dup->row_var)
257 for (i = 0; i < tab->n_row; ++i)
261 tab->mat->n_row);
262 if (tab->mat->n_row && !dup->row_sign)
264 for (i = 0; i < tab->n_row; ++i)
272 tab->samples->n_row);
273 if (tab->samples->n_row && !dup->sample_index)
278 dup->n_row = tab->n_row;
332 prod = isl_mat_alloc(mat1->ctx, mat1->n_row + mat2->n_row,
463 tab1->n_row, tab2->n_row,
478 tab1->n_row, tab1->n_col,
492 tab1->n_row, tab1->n_col,
513 tab1->mat->n_row + tab2->mat->n_row);
514 if ((tab1->mat->n_row + tab2->mat->n_row) && !prod->row_var)
516 for (i = 0; i < tab1->n_row; ++i) {
520 for (i = 0; i < tab2->n_row; ++i) {
521 int pos = i < r2 ? r1 + i : tab1->n_row + i;
531 prod->n_row = tab1->n_row + tab2->n_row;
593 for (i = tab->n_redundant; i < tab->n_row; ++i) {
614 for (i = tab->n_redundant; i < tab->n_row; ++i) {
669 for (j = tab->n_redundant; j < tab->n_row; ++j) {
889 if (tab->n_sample + 1 > tab->samples->n_row) {
972 if (row != tab->n_row - 1)
973 swap_rows(tab, row, tab->n_row - 1);
974 isl_tab_var_from_row(tab, tab->n_row - 1)->index = -1;
975 tab->n_row--;
1058 for (i = 0; i < tab->n_row; ++i) {
1152 for (i = 0; i < tab->n_row; ++i) {
1183 for (i = tab->n_redundant; i < tab->n_row; ++i) {
1214 for (r = tab->n_redundant; r < tab->n_row; ++r)
1217 isl_assert(tab->mat->ctx, r < tab->n_row, return -1);
1237 for (i = tab->n_redundant; i < tab->n_row; ++i) {
1681 isl_assert(tab->mat->ctx, tab->n_row < tab->mat->n_row, return -1);
1685 tab->con[r].index = tab->n_row;
1692 tab->row_var[tab->n_row] = ~r;
1694 tab->n_row++;
1780 for (i = 0; i < tab->n_row; ++i)
1864 if (row != tab->n_row - 1)
1865 swap_rows(tab, row, tab->n_row - 1);
1866 tab->n_row--;
2501 for (i = tab->n_redundant; i < tab->n_row; ++i) {
2518 if (i == tab->n_row)
2706 tab->con[r].index = tab->n_row;
2713 tab->row_var[tab->n_row] = ~r;
2714 row = tab->mat->row[tab->n_row];
2726 tab->n_row++;
2810 for (i = 0; i < tab->n_row; ++i) {
2871 for (i = 0; i < tab->n_row; ++i) {
2982 for (i = tab->n_redundant; i < tab->n_row; ++i) {
3014 for (i = tab->n_redundant; i < tab->n_row; ++i) {
3270 if (tab->n_redundant == tab->n_row)
3274 for (i = tab->n_redundant; i < tab->n_row; ++i) {
3730 for (i = 0; i < tab->n_row; ++i) {
4228 for (i = 0; i < tab->n_row; ++i) {
4254 r = tab->mat->n_row;
4255 tab->mat->n_row = tab->n_row;
4259 tab->mat->n_row = r;