|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/isl_affine_hull.c 619 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
1009 isl_seq_gcd(M->row[i], M->n_col, &gcd);
1019 isl_seq_cpy(bmap->eq[k], M->row[i], M->n_col);
1020 isl_seq_clr(bmap->eq[k] + M->n_col, bmap->n_div - n_known);
1021 isl_int_set(bmap->eq[k][M->n_col - n_known + div],
tools/polly/lib/External/isl/isl_coalesce.c 843 int len = T->n_col - 1;
1002 if (T->n_col == 0) {
1271 for (i = 1; i < wraps->mat->n_col; ++i)
tools/polly/lib/External/isl/isl_convex_hull.c 453 isl_seq_normalize(set->ctx, bounds->row[0], bounds->n_col);
1505 isl_assert(set->ctx, 1 + dim == bounds->n_col, goto error);
1506 isl_seq_cpy(hull->ineq[k], bounds->row[0], bounds->n_col);
1527 return isl_seq_eq(a->c->row[0] + 1, b, a->c->n_col - 1);
2771 isl_seq_neg(mat->row[n_eq++], bset->eq[j], mat->n_col);
tools/polly/lib/External/isl/isl_equalities.c 76 M = isl_mat_alloc(B->ctx, B->n_row, B->n_row + B->n_col - 1);
86 for (j = 0; j < B->n_col - 1; ++j)
107 T = isl_mat_sub_alloc(U, B->n_row, B->n_col - 1, 0, B->n_row);
133 U = isl_mat_alloc(B->ctx, B->n_col - 1, B->n_col - 1);
133 U = isl_mat_alloc(B->ctx, B->n_col - 1, B->n_col - 1);
136 isl_seq_cpy(U->row[0], B->row[0] + 1, B->n_col - 1);
172 size = B->n_col - 1;
183 for (k = 0; k < U->n_col; ++k)
187 for (k = 0; k < U->n_col; ++k)
322 if (cst->n_col == 0) {
323 T = isl_mat_alloc(B->ctx, B->n_col, 0);
332 isl_seq_gcd(B->row[i] + 1, B->n_col - 1, &D);
349 isl_seq_scale_down(B->row[i] + 1, B->row[i] + 1, D, B->n_col-1);
358 T = isl_mat_identity(B->ctx, B->n_col);
418 n_col = A->n_col;
475 isl_seq_clr(mat->row[1 + i], mat->n_col);
543 dim = B->n_col - 1;
686 if (TC->n_col == 0) {
tools/polly/lib/External/isl/isl_factorization.c 141 g->pos = isl_alloc_array(H->ctx, int, H->n_col);
142 g->group = isl_alloc_array(H->ctx, int, H->n_col);
143 g->cnt = isl_alloc_array(H->ctx, int, H->n_col);
151 for (i = 0, j = 0; i < H->n_col; ++i) {
157 for (i = 0; i < H->n_col; ++i) {
190 for (k = i + 1; k < H->n_col && j >= g->pos[k]; ++k) {
218 for (i = 0; i < H->n_col && g->cnt[0] < H->n_col; ++i) {
218 for (i = 0; i < H->n_col && g->cnt[0] < H->n_col; ++i) {
232 for (i = 1; i < H->n_col; ++i)
tools/polly/lib/External/isl/isl_ilp.c 366 isl_seq_cpy(div->row[i], bset->div[i], div->n_col);
tools/polly/lib/External/isl/isl_local.c 226 mat = isl_mat_alloc(div->ctx, div->n_row, div->n_col + extra);
232 isl_seq_clr(mat->row[i] + 2, mat->n_col - 2);
tools/polly/lib/External/isl/isl_local_space.c 577 if (ls->div->n_col != div->size)
621 unsigned c = src->n_col - src->n_row;
624 isl_seq_clr(dst->row[d] + c, dst->n_col - c);
667 return cmp_row(div->row[i], div->row[j], i, j, div->n_row, div->n_col);
733 d = div1->n_col - div1->n_row;
753 isl_seq_cpy(div->row[k], div->row[k + 1], div->n_col);
766 div->n_col = d + k;
784 offset = ls->div->n_col - ls->div->n_row;
948 unsigned total = ls->div->n_col - 2;
1057 ls->div->n_col, subs_len, v);
tools/polly/lib/External/isl/isl_map.c 478 isl_seq_cpy(bmap->div[i], ls->div->row[i], ls->div->n_col);
7162 isl_seq_cpy(bset->eq[k], eq->row[i], eq->n_col);
7163 isl_seq_clr(bset->eq[k] + eq->n_col, len - eq->n_col);
7163 isl_seq_clr(bset->eq[k] + eq->n_col, len - eq->n_col);
7316 if (T && T->n_col == 0) {
7361 isl_seq_cpy(bmap->div[i], ls->div->row[i], ls->div->n_col);
7362 isl_seq_clr(bmap->div[i] + ls->div->n_col, old_n_div);
8920 isl_seq_cpy(bmap->div[i], div->row[i], div->n_col);
12005 if (eq->n_col != ineq->n_col)
12005 if (eq->n_col != ineq->n_col)
12012 if (eq->n_col < total)
12016 extra = eq->n_col - total;
13577 if (trans->n_row != trans->n_col)
tools/polly/lib/External/isl/isl_map_simplify.c 926 if (C->n_col == 0) {
952 if (T->n_col == 0) {
2626 if (T && T->n_col == 0) {
2689 if (1 + isl_space_dim(space, isl_dim_all) != eq->n_col)
2699 isl_seq_cpy(bmap->eq[k], eq->row[i], eq->n_col);
5122 if (T->n_col == 0) {
tools/polly/lib/External/isl/isl_mat.c 42 isl_hash_byte(hash, mat->n_col & 0xFF);
46 row_hash = isl_seq_get_hash(mat->row[i], mat->n_col);
78 mat->n_col = n_col;
100 if (mat->n_col < n_col)
101 mat->n_col = n_col;
114 isl_seq_cpy(new_mat->row[i], mat->row[i], mat->n_col);
137 if (mat->n_col < n_col)
138 mat->n_col = n_col;
164 mat->n_col = n_col;
216 mat2 = isl_mat_alloc(mat->ctx, mat->n_row, mat->n_col);
220 isl_seq_cpy(mat2->row[i], mat->row[i], mat->n_col);
262 return mat ? mat->n_col : -1;
271 if (col < 0 || col >= mat->n_col)
296 if (first + n > mat->n_col || first + n < first)
432 if (mat->n_row != mat->n_col)
441 mat->n_col - (i + 1)) != -1)
457 isl_assert(mat->ctx, mat->n_col == vec->size, goto error);
515 prod = isl_vec_alloc(mat->ctx, mat->n_col);
544 isl_assert(left->ctx, left->n_col >= 1, goto error);
545 isl_assert(left->ctx, right->n_col >= 1, goto error);
547 isl_seq_first_non_zero(left->row[0]+1, left->n_col-1) == -1,
550 isl_seq_first_non_zero(right->row[0]+1, right->n_col-1) == -1,
553 sum = isl_mat_alloc(left->ctx, left->n_row, left->n_col + right->n_col - 1);
553 sum = isl_mat_alloc(left->ctx, left->n_row, left->n_col + right->n_col - 1);
560 isl_seq_clr(sum->row[0]+1, sum->n_col-1);
566 left->n_col-1);
567 isl_seq_scale(sum->row[i]+left->n_col,
569 right->n_col-1);
608 for (r = 0; r < (*Q)->n_col; ++r)
624 isl_seq_neg((*Q)->row[col], (*Q)->row[col], (*Q)->n_col);
655 *U = isl_mat_identity(M->ctx, M->n_col);
660 *Q = isl_mat_identity(M->ctx, M->n_col);
669 first = isl_seq_abs_min_non_zero(M->row[row]+col, M->n_col-col);
679 M->n_col-first)) != -1) {
834 for (col = first_col, row = 0; col < H->n_col; ++col) {
842 return H->n_col;
873 K = isl_mat_alloc(U->ctx, U->n_row, U->n_col - rank);
876 isl_mat_sub_copy(K->ctx, K->row, U->row, U->n_row, 0, rank, U->n_col-rank);
893 mat2 = isl_mat_alloc(mat->ctx, 1+mat->n_row, 1+mat->n_col);
897 isl_seq_clr(mat2->row[0]+1, mat->n_col);
900 isl_seq_cpy(mat2->row[1+i]+1, mat->row[i], mat->n_col);
924 mat1->n_col + mat2->n_col);
924 mat1->n_col + mat2->n_col);
928 isl_seq_cpy(mat->row[i], mat1->row[i], mat1->n_col);
929 isl_seq_clr(mat->row[i] + mat1->n_col, mat2->n_col);
929 isl_seq_clr(mat->row[i] + mat1->n_col, mat2->n_col);
932 isl_seq_clr(mat->row[mat1->n_row + i], mat1->n_col);
933 isl_seq_cpy(mat->row[mat1->n_row + i] + mat1->n_col,
934 mat2->row[i], mat2->n_col);
983 isl_seq_neg(left->row[row]+row, left->row[row]+row, left->n_col-row);
984 isl_seq_neg(right->row[row], right->row[row], right->n_col);
994 left->n_col-row);
996 m, right->row[row], right->n_col);
1010 isl_assert(left->ctx, left->n_row == left->n_col, goto error);
1063 left->n_col - i);
1065 b, right->row[row], right->n_col);
1082 left->row[row][row], right->n_col);
1127 inv = isl_mat_identity(mat->ctx, mat->n_col);
1136 pivot = isl_seq_abs_min_non_zero(mat->row[row]+row, mat->n_col-row);
1149 mat->n_col-first)) != -1) {
1204 if (mat->n_col == mat->n_row) {
1209 for (j = i + 1; j < mat->n_col; ++j)
1213 transpose = isl_mat_alloc(mat->ctx, mat->n_col, mat->n_row);
1217 for (j = 0; j < mat->n_col; ++j)
1272 isl_assert(left->ctx, left->n_col == right->n_row, goto error);
1273 prod = isl_mat_alloc(left->ctx, left->n_row, right->n_col);
1276 if (left->n_col == 0) {
1278 isl_seq_clr(prod->row[i], prod->n_col);
1284 for (j = 0; j < prod->n_col; ++j)
1287 for (k = 1; k < left->n_col; ++k) {
1290 for (j = 0; j < prod->n_col; ++j)
1322 if (mat->n_col >= mat->n_row)
1325 e = mat->n_row - mat->n_col;
1334 isl_seq_swp_or_cpy(q[i] + has_div, t->row[i], t->n_col);
1335 isl_seq_cpy(q[i] + has_div + t->n_col,
1336 q[i] + has_div + t->n_col + e, n_div);
1337 isl_seq_clr(q[i] + has_div + t->n_col + n_div, e);
1368 isl_assert(ctx, mat->n_col > 0, goto error);
1370 if (mat->n_col > mat->n_row) {
1371 bset = isl_basic_set_extend(bset, 0, mat->n_col-1, 0, 0, 0);
1374 } else if (mat->n_col < mat->n_row) {
1378 bset->dim->n_out -= mat->n_row - mat->n_col;
1424 if (mat->n_col != mat->n_row) {
1428 set->dim->n_out += mat->n_col;
1459 isl_seq_swp_or_cpy(row[i] + first_col, t->row[i], t->n_col);
1481 for (j = 0; j < mat->n_col; ++j) {
1510 if (col != mat->n_col-n) {
1513 mat->n_col - col - n);
1515 mat->n_col -= n;
1545 ext = isl_mat_alloc(mat->ctx, mat->n_row, mat->n_col + n);
1551 col + n, col, mat->n_col - col);
1582 return isl_mat_insert_zero_cols(mat, mat->n_col, n);
1595 ext = isl_mat_alloc(mat->ctx, mat->n_row + n, mat->n_col);
1599 isl_mat_sub_copy(mat->ctx, ext->row, mat->row, row, 0, 0, mat->n_col);
1601 mat->n_row - row, 0, 0, mat->n_col);
1628 isl_seq_clr(mat->row[row + i], mat->n_col);
1720 if (isl_seq_first_non_zero(mat->row[row], mat->n_col) == -1)
1725 isl_seq_neg(mat->row[row], mat->row[row], mat->n_col);
1737 isl_assert(M->ctx, M->n_row == M->n_col, goto error);
1740 M->n_row = M->n_col;
1746 isl_seq_cpy(M->row[r], Q->row[r], M->n_col);
1765 isl_assert(top->ctx, top->n_col == bot->n_col, goto error);
1765 isl_assert(top->ctx, top->n_col == bot->n_col, goto error);
1775 mat = isl_mat_alloc(top->ctx, top->n_row + bot->n_row, top->n_col);
1779 0, 0, mat->n_col);
1781 0, 0, mat->n_col);
1801 if (mat1->n_col != mat2->n_col)
1801 if (mat1->n_col != mat2->n_col)
1805 if (!isl_seq_eq(mat1->row[i], mat2->row[i], mat1->n_col))
1842 v = isl_vec_alloc(isl_mat_get_ctx(mat), mat->n_col);
1845 isl_seq_cpy(v->el, mat->row[row], mat->n_col);
1866 res = isl_mat_alloc(mat->ctx, mat->n_row, mat->n_col);
1879 res->n_col - src_col - n);
1889 res->n_col - dst_col - n);
1907 isl_seq_gcd(mat->row[row], mat->n_col, gcd);
1923 isl_seq_gcd(mat->row[i], mat->n_col, &g);
1943 isl_seq_scale(mat->row[i], mat->row[i], m, mat->n_col);
1960 isl_seq_scale_down(mat->row[i], mat->row[i], m, mat->n_col);
1975 isl_seq_scale_down(mat->row[row], mat->row[row], m, mat->n_col);
2001 isl_seq_normalize(mat->ctx, mat->row[row], mat->n_col);
2015 for (i = 0; i < mat->n_col; ++i)
tools/polly/lib/External/isl/isl_morph.c 452 if (C && C->n_col == 0) {
581 isl_seq_gcd(morph->inv->row[1 + i], morph->inv->n_col, &gcd);
592 morph->inv->n_col);
593 isl_seq_clr(bset->eq[k] + morph->inv->n_col, bset->n_div);
594 isl_int_set(bset->eq[k][morph->inv->n_col + div],
645 isl_seq_cpy(res->eq[k], mat->row[i], mat->n_col);
646 isl_seq_scale(res->eq[k] + mat->n_col, bset->eq[i] + mat->n_col,
646 isl_seq_scale(res->eq[k] + mat->n_col, bset->eq[i] + mat->n_col,
660 isl_seq_cpy(res->ineq[k], mat->row[i], mat->n_col);
661 isl_seq_scale(res->ineq[k] + mat->n_col,
662 bset->ineq[i] + mat->n_col,
675 isl_seq_cpy(res->div[i] + 1, mat->row[i], mat->n_col);
676 isl_seq_scale(res->div[i] + 1 + mat->n_col,
677 bset->div[i] + 1 + mat->n_col,
tools/polly/lib/External/isl/isl_output.c 579 div->row[pos] + 1, div->n_col - 1);
839 div->row[pos] + 1, div->n_col - 1);
tools/polly/lib/External/isl/isl_polynomial.c 1291 div1->n_col >= div2->n_col,
1291 div1->n_col >= div2->n_col,
1298 n_col = div1->n_col;
1300 div1->n_col = div2->n_col;
1300 div1->n_col = div2->n_col;
1305 div1->n_col = n_col;
1314 li = isl_seq_last_non_zero(div->row[i], div->n_col);
1315 lj = isl_seq_last_non_zero(div->row[j], div->n_col);
1320 return isl_seq_cmp(div->row[i], div->row[j], div->n_col);
1360 len = qp->div->n_col - 2;
1392 qp->div->row[i - skip], qp->div->n_col)) {
1477 qp1->div->n_col >= qp2->div->n_col, goto error);
1477 qp1->div->n_col >= qp2->div->n_col, goto error);
1495 qp1->upoly = expand(qp1->upoly, exp1, div->n_col - div->n_row - 2);
1496 qp2->upoly = expand(qp2->upoly, exp2, div->n_col - div->n_row - 2);
2188 unsigned total = qp->div->n_col - 2;
2279 qp->div->row[i][0], qp->div->n_col - 1);
2301 unsigned total = qp->div->n_col - qp->div->n_row - 2;
2334 for (i = div->n_col - 1; i >= 1; --i) {
2357 unsigned total = qp->div->n_col - qp->div->n_row - 2;
2360 qp->div->row[div] + 1, qp->div->n_col - 1);
2592 len = qp->div->n_col - 2;
3192 total = qp->div->n_col - 2;
3316 qp->div->n_col - 2, g_dst_pos, g_src_pos, n);
4181 if (morph->inv->n_row != morph->inv->n_col)
4189 morph->inv->row[0][0], morph->inv->n_col);
4190 if (morph->inv->n_row != morph->inv->n_col)
4193 isl_upoly_var_pow(ctx, morph->inv->n_col - 1 + i, 1);
4686 qp->div->row[i][0], qp->div->n_col - 1);
4756 v = isl_vec_alloc(qp->div->ctx, qp->div->n_col - 1);
4940 isl_seq_cpy(bmap->div[k], qp->div->row[i], qp->div->n_col);
4941 isl_int_set_si(bmap->div[k][qp->div->n_col], 0);
tools/polly/lib/External/isl/isl_sample.c 398 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1,
692 isl_seq_clr(T->row[i] + 1, T->n_col - 1);
694 for (i = 0; i < T->n_col - 1; ++i) {
695 isl_seq_clr(T->row[sample->size + i], T->n_col);
tools/polly/lib/External/isl/isl_tab.c 165 if (tab->mat->n_col < off + tab->n_col + n_new) {
249 dup->col_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_col - off);
250 if ((tab->mat->n_col - off) && !dup->col_var)
898 tab->n_sample + 1, tab->samples->n_col);
1766 isl_assert(tab->mat->ctx, tab->n_col < tab->mat->n_col, return -1);
4132 c = tab->mat->n_col;
4133 tab->mat->n_col = 2 + tab->M + tab->n_col;
4136 tab->mat->n_col = c;
tools/polly/lib/External/isl/isl_tab_pip.c 610 isl_seq_scale(mat->row[i], mat->row[i], m, mat->n_col);
694 isl_seq_clr(mat->row[0] + 1, mat->n_col - 1);
700 isl_seq_clr(mat->row[1 + row], mat->n_col);
736 mat->n_col);
1917 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
2016 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1);
2057 div->size - 1, &samples->row[i][samples->n_col - 1]);
2058 isl_int_fdiv_q(samples->row[i][samples->n_col - 1],
2059 samples->row[i][samples->n_col - 1], div->el[0]);
2523 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var,
2997 if (cgbr->tab->basis->n_col != 1 + cgbr->tab->n_var) {
4614 ctx->negone, var->row[i], var->n_col);
4615 isl_int_set_si(bset->ineq[k][var->n_col], 0);
4660 isl_seq_cpy(bset->eq[k], var->row[i], var->n_col);
4661 isl_int_set_si(bset->eq[k][var->n_col], -1);
4693 pos = cst->n_col - 1;
4714 if (isl_seq_eq(bmap->ineq[i], cst->row[j], cst->n_col))
5819 isl_seq_cpy(aff->v->el + 1, var->row[i], var->n_col);
5820 isl_int_set_si(aff->v->el[1 + var->n_col], 0);
tools/polly/lib/External/isl/isl_vertices.c 239 if (isl_seq_first_non_zero(f, facets->n_col) < 0)
242 isl_seq_cpy(facets->row[n], f, facets->n_col);