haiku-buildtools/isl/isl_tab.c

30 	unsigned off = 2 + M;
35 	tab->mat = isl_mat_alloc(ctx, n_row, off + n_var);
99 	unsigned off;
104 	off = 2 + tab->M;
120 					tab->n_row + n_new, off + tab->n_col);
146 	unsigned off = 2 + tab->M;
157 	if (tab->mat->n_col < off + tab->n_col + n_new) {
161 				    tab->mat->n_row, off + tab->n_col + n_new);
228 	unsigned off;
233 	off = 2 + tab->M;
250 	dup->col_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_col - off);
251 	if ((tab->mat->n_col - off) && !dup->col_var)
316  * off is the offset to the coefficient column (skipping the
327 	unsigned off, unsigned r1, unsigned r2, unsigned d1, unsigned d2)
334 					off + col1 + col2);
340 		isl_seq_cpy(prod->row[n + i], mat1->row[i], off + d1);
341 		isl_seq_clr(prod->row[n + i] + off + d1, d2);
342 		isl_seq_cpy(prod->row[n + i] + off + d1 + d2,
343 				mat1->row[i] + off + d1, col1 - d1);
344 		isl_seq_clr(prod->row[n + i] + off + col1 + d1, col2 - d2);
349 		isl_seq_cpy(prod->row[n + i], mat2->row[i], off);
350 		isl_seq_clr(prod->row[n + i] + off, d1);
351 		isl_seq_cpy(prod->row[n + i] + off + d1,
352 			    mat2->row[i] + off, d2);
353 		isl_seq_clr(prod->row[n + i] + off + d1 + d2, col1 - d1);
354 		isl_seq_cpy(prod->row[n + i] + off + col1 + d1,
355 			    mat2->row[i] + off + d2, col2 - d2);
360 		isl_seq_cpy(prod->row[n + i], mat1->row[r1 + i], off + d1);
361 		isl_seq_clr(prod->row[n + i] + off + d1, d2);
362 		isl_seq_cpy(prod->row[n + i] + off + d1 + d2,
363 				mat1->row[r1 + i] + off + d1, col1 - d1);
364 		isl_seq_clr(prod->row[n + i] + off + col1 + d1, col2 - d2);
369 		isl_seq_cpy(prod->row[n + i], mat2->row[r2 + i], off);
370 		isl_seq_clr(prod->row[n + i] + off, d1);
371 		isl_seq_cpy(prod->row[n + i] + off + d1,
372 			    mat2->row[r2 + i] + off, d2);
373 		isl_seq_clr(prod->row[n + i] + off + d1 + d2, col1 - d1);
374 		isl_seq_cpy(prod->row[n + i] + off + col1 + d1,
375 			    mat2->row[r2 + i] + off + d2, col2 - d2);
439 	unsigned off;
455 	off = 2 + tab1->M;
465 				tab1->n_col, tab2->n_col, off, r1, r2, d1, d2);
590 	unsigned off = 2 + tab->M;
595 		if (!isl_int_is_neg(tab->mat->row[i][off + var->index]))
611 	unsigned off = 2 + tab->M;
616 		if (!isl_int_is_pos(tab->mat->row[i][off + var->index]))
626 	unsigned off = 2 + tab->M;
630 		isl_int_mul(t, tab->mat->row[r1][2], tab->mat->row[r2][off+c]);
631 		isl_int_submul(t, tab->mat->row[r2][2], tab->mat->row[r1][off+c]);
636 	isl_int_mul(t, tab->mat->row[r1][1], tab->mat->row[r2][off + c]);
637 	isl_int_submul(t, tab->mat->row[r2][1], tab->mat->row[r1][off + c]);
666 	unsigned off = 2 + tab->M;
675 		if (sgn * isl_int_sgn(tab->mat->row[j][off + c]) >= 0)
746 	unsigned off = 2 + tab->M;
759 		if (isl_int_is_zero(tab->mat->row[row][off + i]))
763 		if (isl_int_is_neg(tab->mat->row[row][off + i]))
1022 	unsigned off = 2 + tab->M;
1036 		s = isl_int_sgn(mat->row[i][off + col]);
1106 	unsigned off = 2 + tab->M;
1113 	isl_int_swap(mat->row[row][0], mat->row[row][off + col]);
1117 		isl_int_neg(mat->row[row][off + col], mat->row[row][off + col]);
1119 		for (j = 0; j < off - 1 + tab->n_col; ++j) {
1120 			if (j == off - 1 + col)
1125 		isl_seq_normalize(mat->ctx, mat->row[row], off + tab->n_col);
1129 		if (isl_int_is_zero(mat->row[i][off + col]))
1132 		for (j = 0; j < off - 1 + tab->n_col; ++j) {
1133 			if (j == off - 1 + col)
1138 				    mat->row[i][off + col], mat->row[row][1 + j]);
1140 		isl_int_mul(mat->row[i][off + col],
1141 			    mat->row[i][off + col], mat->row[row][off + col]);
1143 			isl_seq_normalize(mat->ctx, mat->row[i], off + tab->n_col);
1158 		if (isl_int_is_zero(mat->row[i][off + col]))
1182 	unsigned off = 2 + tab->M;
1189 			if (!isl_int_is_zero(tab->mat->row[r][off+var->index]))
1511 	unsigned off = 2 + tab->M;
1517 	tab->mat = isl_mat_swap_cols(tab->mat, off + col1, off + col2);
1554 	unsigned off = 2 + tab->M;
1559 	if (isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
1602 	unsigned off = 2 + tab->M;
1611 		if (isl_int_is_zero(mat->row[var->index][off + j]))
1614 		    isl_int_is_neg(mat->row[var->index][off + j]), return -1);
1663 	unsigned off = 2 + tab->M;
1679 		isl_int_set_si(tab->mat->row[i][off + tab->n_col], 0);
1714 	unsigned off = 2 + tab->M;
1741 			isl_int_addmul(row[off + tab->var[i].index],
1746 	isl_seq_normalize(tab->mat->ctx, row, off + tab->n_col);
1838 	unsigned off = 2 + tab->M;
1853 		if (!isl_int_is_zero(tab->mat->row[var->index][off + i]))
1898 	unsigned off = 2 + tab->M;
1904 	return isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
2487 	unsigned off = 2 + tab->M;
2515 		isl_int_set_si(row[off + var->index], -1);
2561 	unsigned off = 2 + tab->M;
2591 			if (isl_int_is_zero(tab->mat->row[i][off + var->index]))
2594 			    tab->mat->row[i][off + var->index]);
2930 	unsigned off;
2943 	off = 2 + tab->M;
2946 		isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
3054 	unsigned off = 2 + tab->M;
3071 			if (isl_int_is_zero(tab->mat->row[i][off + var->index]))
3074 			    tab->mat->row[i][off + var->index]);
3166 	unsigned off = 2 + tab->M;
3191 			if (!isl_int_is_zero(tab->mat->row[row][off+extra[j]]))
3314 	unsigned off = 2 + tab->M;
3322 	pos = isl_seq_first_non_zero(tab->mat->row[row] + off + tab->n_dead,
3332 			tab->mat->row[row][off + tab->n_dead + pos]))
3336 			tab->mat->row[row] + off + tab->n_dead + pos + 1,