|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/basis_reduction_tab.c 142 lp = isl_calloc_type(tab->mat->ctx, struct tab_lp);
153 lp->ctx = tab->mat->ctx;
tools/polly/lib/External/isl/basis_reduction_templ.c 82 ctx = tab->mat->ctx;
tools/polly/lib/External/isl/isl_affine_hull.c 259 ctx = tab->mat->ctx;
617 isl_assert(tab->mat->ctx, tab->bmap, goto error);
618 isl_assert(tab->mat->ctx, tab->samples, goto error);
619 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
620 isl_assert(tab->mat->ctx, tab->n_sample > tab->n_outside, goto error);
625 sample = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);
661 isl_seq_normalize(tab->mat->ctx, hull->eq[j], 1 + tab->n_var);
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);
77 C = isl_mat_alloc(B->ctx, 1 + B->n_row, 1);
104 cst = isl_mat_alloc(B->ctx, B->n_row, 0);
133 U = isl_mat_alloc(B->ctx, B->n_col - 1, B->n_col - 1);
173 A = isl_mat_alloc(B->ctx, size, B->n_row * size);
174 U = isl_mat_alloc(B->ctx, size, size);
200 isl_assert(T->ctx, isl_int_is_one(T->row[0][0]), goto error);
318 isl_assert(B->ctx, B->n_row == d->size, goto error);
323 T = isl_mat_alloc(B->ctx, B->n_col, 0);
358 T = isl_mat_identity(B->ctx, B->n_col);
366 isl_mat_sub_copy(T->ctx, T->row + 1, cst->row, cst->n_row, 0, 0, 1);
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);
144 g->rowgroup = isl_alloc_array(H->ctx, int, H->n_row);
195 isl_assert(H->ctx, g->cnt[g->group[k]] != 0, return -1);
196 isl_assert(H->ctx, g->cnt[g->group[i]] != 0, return -1);
tools/polly/lib/External/isl/isl_local.c 226 mat = isl_mat_alloc(div->ctx, div->n_row, div->n_col + extra);
tools/polly/lib/External/isl/isl_local_space.c 734 div = isl_mat_alloc(div1->ctx, 1 + div1->n_row + div2->n_row,
947 isl_ctx *ctx = ls->div->ctx;
tools/polly/lib/External/isl/isl_map.c13578 isl_die(trans->ctx, isl_error_invalid,
13581 isl_die(trans->ctx, isl_error_invalid,
tools/polly/lib/External/isl/isl_mat.c 27 return mat ? mat->ctx : NULL;
74 mat->ctx = ctx;
110 new_mat = isl_mat_alloc(mat->ctx, n_row, n_col);
124 mat->block = isl_blk_extend(mat->ctx, mat->block, n_row * mat->max_col);
127 row = isl_realloc_array(mat->ctx, mat->row, isl_int *, n_row);
160 mat->ctx = ctx;
178 return isl_mat_sub_alloc6(mat->ctx, mat->row, first_row, n_row,
216 mat2 = isl_mat_alloc(mat->ctx, mat->n_row, mat->n_col);
247 isl_blk_free(mat->ctx, mat->block);
248 isl_ctx_deref(mat->ctx);
457 isl_assert(mat->ctx, mat->n_col == vec->size, goto error);
459 prod = isl_vec_alloc(mat->ctx, mat->n_row);
492 vec = isl_vec_alloc(vec_mat->ctx, vec_mat->n_row);
513 isl_assert(mat->ctx, mat->n_row == vec->size, goto error);
515 prod = isl_vec_alloc(mat->ctx, mat->n_col);
542 isl_assert(left->ctx, left->n_row == right->n_row, goto error);
543 isl_assert(left->ctx, left->n_row >= 1, goto error);
544 isl_assert(left->ctx, left->n_col >= 1, goto error);
545 isl_assert(left->ctx, right->n_col >= 1, goto error);
546 isl_assert(left->ctx,
549 isl_assert(left->ctx,
553 sum = isl_mat_alloc(left->ctx, left->n_row, left->n_col + right->n_col - 1);
655 *U = isl_mat_identity(M->ctx, M->n_col);
660 *Q = isl_mat_identity(M->ctx, M->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);
923 mat = isl_mat_alloc(mat1->ctx, mat1->n_row + mat2->n_row,
992 left->ctx->one, left->row[i]+row,
995 isl_seq_combine(right->row[i], right->ctx->one, right->row[i],
1010 isl_assert(left->ctx, left->n_row == left->n_col, goto error);
1011 isl_assert(left->ctx, left->n_row == right->n_row, goto error);
1031 isl_assert(left->ctx, pivot >= 0, goto error);
1075 isl_assert(left->ctx, 0, goto error);
1127 inv = isl_mat_identity(mat->ctx, mat->n_col);
1140 isl_assert(mat->ctx, pivot >= 0, goto error);
1213 transpose = isl_mat_alloc(mat->ctx, mat->n_col, mat->n_row);
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);
1329 t = isl_mat_sub_alloc6(mat->ctx, q, 0, n, has_div, mat->n_row);
1545 ext = isl_mat_alloc(mat->ctx, mat->n_row, mat->n_col + n);
1549 isl_mat_sub_copy(mat->ctx, ext->row, mat->row, mat->n_row, 0, 0, col);
1550 isl_mat_sub_copy(mat->ctx, ext->row, mat->row, mat->n_row,
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);
1600 isl_mat_sub_copy(mat->ctx, ext->row + row + n, mat->row + row,
1737 isl_assert(M->ctx, M->n_row == M->n_col, goto error);
1744 isl_assert(M->ctx, isl_int_is_one(H->row[r][r]), 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);
1778 isl_mat_sub_copy(mat->ctx, mat->row, top->row, top->n_row,
1780 isl_mat_sub_copy(mat->ctx, mat->row + top->n_row, bot->row, bot->n_row,
1839 isl_die(mat->ctx, isl_error_invalid, "row out of range",
1866 res = isl_mat_alloc(mat->ctx, mat->n_row, mat->n_col);
1871 isl_mat_sub_copy(res->ctx, res->row, mat->row, mat->n_row,
1873 isl_mat_sub_copy(res->ctx, res->row, mat->row, mat->n_row,
1875 isl_mat_sub_copy(res->ctx, res->row, mat->row, mat->n_row,
1877 isl_mat_sub_copy(res->ctx, res->row, mat->row, mat->n_row,
1881 isl_mat_sub_copy(res->ctx, res->row, mat->row, mat->n_row,
1883 isl_mat_sub_copy(res->ctx, res->row, mat->row, mat->n_row,
1885 isl_mat_sub_copy(res->ctx, res->row, mat->row, mat->n_row,
1887 isl_mat_sub_copy(res->ctx, res->row, mat->row, mat->n_row,
2001 isl_seq_normalize(mat->ctx, mat->row[row], mat->n_col);
tools/polly/lib/External/isl/isl_polynomial.c 1290 isl_assert(div1->ctx, div1->n_row >= div2->n_row &&
1356 array = isl_alloc_array(qp->div->ctx, struct isl_div_sort_info,
1358 pos = isl_alloc_array(qp->div->ctx, int, qp->div->n_row);
1359 at = isl_alloc_array(qp->div->ctx, int, qp->div->n_row);
1361 reordering = isl_alloc_array(qp->div->ctx, int, len);
1476 isl_assert(qp1->div->ctx, qp1->div->n_row >= qp2->div->n_row &&
1481 exp1 = isl_alloc_array(qp1->div->ctx, int, n_div1);
1482 exp2 = isl_alloc_array(qp2->div->ctx, int, n_div2);
1983 aff = isl_vec_alloc(qp->div->ctx, 2 + d + qp->div->n_row);
2187 isl_ctx *ctx = qp->div->ctx;
2272 qp->div->ctx->one, qp->div->row[j] + 1,
2366 qp->div->ctx->negone, 2 + total + div);
2619 reordering = isl_alloc_array(qp->div->ctx, int, len);
3171 isl_die(qp->div->ctx, isl_error_invalid,
3183 isl_assert(qp->div->ctx, first <= isl_space_dim(qp->dim, type),
3195 exp = isl_alloc_array(qp->div->ctx, int, total - g_pos);
3621 isl_die(qp->div->ctx, isl_error_invalid,
3627 isl_assert(qp->div->ctx, t_pos < isl_space_dim(qp->dim, type),
4026 exp = isl_alloc_array(qp->div->ctx, int, qp->div->n_row);
4756 v = isl_vec_alloc(qp->div->ctx, qp->div->n_col - 1);
4789 qp->div->ctx->one, qp->div->row[j] + 1,
4794 qp->div->ctx->one, v->size);
tools/polly/lib/External/isl/isl_sample.c 155 isl_assert(tab->mat->ctx, bset, return NULL);
159 return isl_mat_alloc(tab->mat->ctx, 0, tab->n_var);
161 return isl_mat_identity(tab->mat->ctx, tab->n_var);
163 eq = isl_mat_alloc(tab->mat->ctx, n_eq, tab->n_var);
201 return isl_mat_identity(tab->mat->ctx, 1 + tab->n_var);
390 return isl_vec_alloc(tab->mat->ctx, 0);
396 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1,
398 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1,
401 ctx = tab->mat->ctx;
tools/polly/lib/External/isl/isl_tab.c 117 con = isl_realloc_array(tab->mat->ctx, tab->con,
131 row_var = isl_realloc_array(tab->mat->ctx, tab->row_var,
138 s = isl_realloc_array(tab->mat->ctx, tab->row_sign,
157 var = isl_realloc_array(tab->mat->ctx, tab->var,
172 p = isl_realloc_array(tab->mat->ctx, tab->col_var,
233 dup = isl_calloc_type(tab->mat->ctx, struct isl_tab);
239 dup->var = isl_alloc_array(tab->mat->ctx, struct isl_tab_var, tab->max_var);
244 dup->con = isl_alloc_array(tab->mat->ctx, struct isl_tab_var, tab->max_con);
249 dup->col_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_col - off);
254 dup->row_var = isl_alloc_array(tab->mat->ctx, int, tab->mat->n_row);
260 dup->row_sign = isl_alloc_array(tab->mat->ctx, enum isl_tab_row_sign,
271 dup->sample_index = isl_alloc_array(tab->mat->ctx, int,
332 prod = isl_mat_alloc(mat1->ctx, mat1->n_row + mat2->n_row,
444 isl_assert(tab1->mat->ctx, tab1->M == tab2->M, return NULL);
445 isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL);
446 isl_assert(tab1->mat->ctx, tab1->cone == tab2->cone, return NULL);
447 isl_assert(tab1->mat->ctx, !tab1->row_sign, return NULL);
448 isl_assert(tab1->mat->ctx, !tab2->row_sign, return NULL);
449 isl_assert(tab1->mat->ctx, tab1->n_param == 0, return NULL);
450 isl_assert(tab1->mat->ctx, tab2->n_param == 0, return NULL);
451 isl_assert(tab1->mat->ctx, tab1->n_div == 0, return NULL);
452 isl_assert(tab1->mat->ctx, tab2->n_div == 0, return NULL);
459 prod = isl_calloc_type(tab1->mat->ctx, struct isl_tab);
467 prod->var = isl_alloc_array(tab1->mat->ctx, struct isl_tab_var,
481 prod->con = isl_alloc_array(tab1->mat->ctx, struct isl_tab_var,
495 prod->col_var = isl_alloc_array(tab1->mat->ctx, int,
512 prod->row_var = isl_alloc_array(tab1->mat->ctx, int,
714 isl_assert(tab->mat->ctx, var->is_row, return);
809 undo = isl_alloc_type(tab->mat->ctx, struct isl_tab_undo);
849 u.col_var = isl_alloc_array(tab->mat->ctx, int, tab->n_col);
872 tab->samples = isl_mat_alloc(tab->mat->ctx, 1, 1 + tab->n_var);
875 tab->sample_index = isl_alloc_array(tab->mat->ctx, int, 1);
890 int *t = isl_realloc_array(tab->mat->ctx,
960 isl_assert(tab->mat->ctx, row >= tab->n_redundant, return -1);
1055 isl_assert(mat->ctx, row_sgn > 0, return);
1056 isl_assert(mat->ctx, tab->row_sign[row] == isl_tab_row_neg, return);
1151 isl_seq_normalize(mat->ctx, mat->row[row], off + tab->n_col);
1169 isl_seq_normalize(mat->ctx, mat->row[i], off + tab->n_col);
1217 isl_assert(tab->mat->ctx, r < tab->n_row, return -1);
1220 isl_assert(tab->mat->ctx, r >= 0, return -1);
1243 isl_assert(tab->mat->ctx,
1248 isl_assert(tab->mat->ctx, !isl_int_is_neg(tab->mat->row[i][1]),
1292 isl_assert(tab->mat->ctx, !var->is_redundant, return -2);
1293 isl_assert(tab->mat->ctx, !var->is_zero, return -2);
1681 isl_assert(tab->mat->ctx, tab->n_row < tab->mat->n_row, return -1);
1682 isl_assert(tab->mat->ctx, tab->n_con < tab->max_con, return -1);
1766 isl_assert(tab->mat->ctx, tab->n_col < tab->mat->n_col, return -1);
1861 isl_seq_normalize(tab->mat->ctx, row, off + tab->n_col);
1873 isl_assert(tab->mat->ctx, ~tab->row_var[row] == tab->n_con - 1,
1918 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq,
1920 isl_assert(tab->mat->ctx,
1976 isl_assert(tab->mat->ctx, row != -1, return -1);
1987 isl_assert(tab->mat->ctx, i < tab->n_col, return -1);
2016 isl_assert(tab->mat->ctx, i >= 0, goto error);
2130 isl_assert(tab->mat->ctx, !tab->M, return -1);
2343 isl_assert(tab->mat->ctx, tab->bmap, return -1);
2551 vec = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);
2578 vec = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);
2780 isl_die(tab->mat->ctx, isl_error_invalid,
2783 isl_die(tab->mat->ctx, isl_error_invalid,
3033 isl_die(tab->mat->ctx, isl_error_internal,
3275 tab->dual = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_con);
3616 isl_assert(tab->mat->ctx, sgn >= 0,
3697 isl_assert(tab->mat->ctx, !var->is_row,
3718 isl_die(tab->mat->ctx, isl_error_internal,
3793 extra = isl_alloc_array(tab->mat->ctx, int, tab->n_col);
3818 isl_assert(tab->mat->ctx, j < n_extra, goto error);
3891 isl_assert(tab->mat->ctx, 0, return isl_stat_error);
4039 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, goto error);
4040 isl_assert(tab->mat->ctx,
tools/polly/lib/External/isl/isl_tab_pip.c 687 mat = isl_mat_alloc(tab->mat->ctx, 1 + sol->n_out,
703 isl_die(mat->ctx, isl_error_invalid,
711 isl_die(mat->ctx, isl_error_invalid,
899 ineq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_param + tab->n_div);
949 div = isl_vec_alloc(tab->mat->ctx, 1 + 1 + tab->n_param + tab->n_div);
977 div = isl_vec_alloc(tab->mat->ctx, 1 + 1 + tab->n_param + tab->n_div);
1044 isl_assert(tab->mat->ctx,
1047 tab->mat->ctx->one, tab->mat->row[row] + 1,
1048 tab->mat->ctx->one, tab->mat->row[drow] + 1,
1279 isl_assert(tab->mat->ctx, col >= 0, goto error);
1915 isl_assert(tab->mat->ctx, tab->bmap, goto error);
1916 isl_assert(tab->mat->ctx, tab->samples, goto error);
1917 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
2014 isl_assert(tab->mat->ctx, tab->bmap, return -1);
2015 isl_assert(tab->mat->ctx, tab->samples, return -1);
2016 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1);
2522 isl_assert(tab->mat->ctx, tab->samples, return isl_tab_row_unknown);
2523 isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var,
2697 ineq = isl_vec_alloc(tab->mat->ctx, 1 + context_tab->n_var);
2895 cst = isl_vec_alloc(cgbr->tab->mat->ctx, bset->n_ineq);
2930 return isl_vec_alloc(cgbr->tab->mat->ctx, 0);
3307 eq = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);
3467 snap = isl_alloc_type(cgbr->tab->mat->ctx, struct isl_gbr_tab_undo);
4228 eq = isl_vec_alloc(tab->mat->ctx, 1+tab->n_param+tab->n_div);
tools/polly/lib/External/isl/isl_transitive_closure.c 240 isl_assert(steps->ctx, i == k, goto error);
tools/polly/lib/External/isl/isl_vertices.c 133 v = isl_calloc_type(tab->mat->ctx, struct isl_vertex_list);
622 c = isl_calloc_type(tab->mat->ctx, struct isl_chamber_list);
625 c->c.vertices = isl_alloc_array(tab->mat->ctx, int, n_vertices);
697 todo = isl_calloc_type(tab->mat->ctx, struct isl_facet_todo);
701 todo->constraint = isl_vec_alloc(tab->mat->ctx, 1 + tab->n_var);