|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/isl_fold.c 360 d = isl_space_dim(qp->dim, isl_dim_all);
378 min = isl_qpolynomial_cst_on_domain(isl_space_copy(qp->dim), l);
379 base = isl_qpolynomial_var_pow_on_domain(isl_space_copy(qp->dim),
382 r = isl_qpolynomial_alloc(isl_space_copy(qp->dim), 0,
388 t = isl_qpolynomial_alloc(isl_space_copy(qp->dim), 0,
716 fold = qpolynomial_fold_alloc(type, isl_space_copy(qp->dim), 1);
tools/polly/lib/External/isl/isl_output.c 1826 p = upoly_print(qp->upoly, qp->dim, qp->div, p);
1841 p = print_param_tuple(p, qp->dim, &data);
1843 if (!isl_space_is_params(qp->dim)) {
1844 p = isl_print_space(qp->dim, p, 0, &data);
1869 f = isl_qpolynomial_rat_cst_on_domain(isl_space_copy(qp->dim),
1870 den, qp->dim->ctx->one);
1895 return print_qpolynomial_c(p, qp->dim, qp);
1897 isl_die(qp->dim->ctx, isl_error_unsupported,
1913 isl_assert(qp->dim->ctx, output_format == ISL_FORMAT_ISL, return);
1914 p = isl_printer_to_file(qp->dim->ctx, out);
tools/polly/lib/External/isl/isl_polynomial.c 411 isl_space_free(qp->dim);
412 qp->dim = dim;
435 return qp ? qp->dim->ctx : NULL;
441 return qp ? isl_space_copy(qp->dim) : NULL;
449 space = isl_space_copy(qp->dim);
465 return isl_space_dim(qp->dim, isl_dim_all) +
467 return isl_space_dim(qp->dim, type);
498 return 1 + isl_space_offset(qp->dim, type);
500 return 1 + isl_space_dim(qp->dim, isl_dim_all);
1154 qp->dim = dim;
1181 dup = isl_qpolynomial_alloc(isl_space_copy(qp->dim), qp->div->n_row,
1216 isl_space_free(qp->dim);
1354 div_pos = isl_space_dim(qp->dim, isl_dim_all);
1528 isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
1528 isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
1528 isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
1590 return isl_qpolynomial_mul_isl_int(qp, qp->dim->ctx->negone);
1601 zero = isl_qpolynomial_zero_on_domain(isl_space_copy(qp->dim));
1703 isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
1703 isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
1703 isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
1982 d = isl_space_dim(qp->dim, isl_dim_all);
2016 cmp = isl_space_cmp(qp1->dim, qp2->dim);
2016 cmp = isl_space_cmp(qp1->dim, qp2->dim);
2042 equal = isl_space_is_equal(qp1->dim, qp2->dim);
2042 equal = isl_space_is_equal(qp1->dim, qp2->dim);
2223 total = isl_space_dim(qp->dim, isl_dim_all);
2228 reordering = isl_alloc_array(qp->dim->ctx, int, total + qp->div->n_row);
2264 total = isl_space_dim(qp->dim, isl_dim_all);
2278 s = isl_upoly_from_affine(qp->dim->ctx, qp->div->row[i] + 1,
2515 int d = isl_space_dim(qp->dim, isl_dim_all);
2543 isl_assert(qp->dim->ctx,
2546 isl_assert(qp->dim->ctx, type == isl_dim_param ||
2549 active = isl_calloc_array(qp->dim->ctx, int,
2550 isl_space_dim(qp->dim, isl_dim_all));
2555 first += isl_space_dim(qp->dim, isl_dim_param);
2591 d = isl_space_dim(qp->dim, isl_dim_all);
2701 qp->dim = isl_space_set_dim_name(qp->dim, type, pos, s);
2701 qp->dim = isl_space_set_dim_name(qp->dim, type, pos, s);
2702 if (!qp->dim)
2717 isl_die(qp->dim->ctx, isl_error_invalid,
2722 if (n == 0 && !isl_space_is_named_or_nested(qp->dim, type))
2729 isl_assert(qp->dim->ctx, first + n <= isl_space_dim(qp->dim, type),
2729 isl_assert(qp->dim->ctx, first + n <= isl_space_dim(qp->dim, type),
2731 isl_assert(qp->dim->ctx, type == isl_dim_param ||
2734 qp->dim = isl_space_drop_dims(qp->dim, type, first, n);
2734 qp->dim = isl_space_drop_dims(qp->dim, type, first, n);
2735 if (!qp->dim)
2739 first += isl_space_dim(qp->dim, isl_dim_param);
2824 up = isl_upoly_from_affine(qp->dim->ctx,
3126 isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, qp->dim), goto error);
3176 if (n == 0 && !isl_space_is_named_or_nested(qp->dim, type))
3183 isl_assert(qp->div->ctx, first <= isl_space_dim(qp->dim, type),
3186 g_pos = pos(qp->dim, type) + first;
3206 qp->dim = isl_space_insert_dims(qp->dim, type, first, n);
3206 qp->dim = isl_space_insert_dims(qp->dim, type, first, n);
3207 if (!qp->dim)
3283 isl_die(qp->dim->ctx, isl_error_invalid,
3292 !isl_space_is_named_or_nested(qp->dim, src_type) &&
3293 !isl_space_is_named_or_nested(qp->dim, dst_type))
3300 isl_assert(qp->dim->ctx, src_pos + n <= isl_space_dim(qp->dim, src_type),
3300 isl_assert(qp->dim->ctx, src_pos + n <= isl_space_dim(qp->dim, src_type),
3303 g_dst_pos = pos(qp->dim, dst_type) + dst_pos;
3304 g_src_pos = pos(qp->dim, src_type) + src_pos;
3315 reordering = reordering_move(qp->dim->ctx,
3325 qp->dim = isl_space_move_dims(qp->dim, dst_type, dst_pos, src_type, src_pos, n);
3325 qp->dim = isl_space_move_dims(qp->dim, dst_type, dst_pos, src_type, src_pos, n);
3326 if (!qp->dim)
3437 isl_die(qp->dim->ctx, isl_error_invalid,
3447 isl_assert(qp->dim->ctx, first + n <= isl_space_dim(qp->dim, type),
3447 isl_assert(qp->dim->ctx, first + n <= isl_space_dim(qp->dim, type),
3451 isl_assert(qp->dim->ctx, isl_space_is_equal(qp->dim, subs[i]->dim),
3451 isl_assert(qp->dim->ctx, isl_space_is_equal(qp->dim, subs[i]->dim),
3451 isl_assert(qp->dim->ctx, isl_space_is_equal(qp->dim, subs[i]->dim),
3454 isl_assert(qp->dim->ctx, qp->div->n_row == 0, goto error);
3456 isl_assert(qp->dim->ctx, subs[i]->div->n_row == 0, goto error);
3458 first += pos(qp->dim, type);
3460 ups = isl_alloc_array(qp->dim->ctx, struct isl_upoly *, n);
3500 dim = isl_space_copy(qp->dim);
3554 ovar = isl_space_offset(poly->dim, isl_dim_set);
3555 nvar = isl_space_dim(poly->dim, isl_dim_set);
3627 isl_assert(qp->div->ctx, t_pos < isl_space_dim(qp->dim, type),
3630 g_pos = pos(qp->dim, type) + t_pos;
3633 c = isl_qpolynomial_alloc(isl_space_copy(qp->dim), qp->div->n_row, up);
3714 ovar = isl_space_offset(poly->dim, isl_dim_set);
3715 nvar = isl_space_dim(poly->dim, isl_dim_set);
3955 term = isl_term_alloc(isl_space_copy(qp->dim), isl_mat_copy(qp->div));
4011 if (isl_space_is_equal(qp->dim, dim)) {
4021 isl_space_dim(qp->dim, isl_dim_set);
4022 total = isl_space_dim(qp->dim, isl_dim_all);
4042 isl_space_free(qp->dim);
4043 qp->dim = dim;
4177 ctx = qp->dim->ctx;
4178 isl_assert(ctx, isl_space_is_equal(qp->dim, morph->dom->dim), goto error);
4206 isl_space_free(qp->dim);
4207 qp->dim = isl_space_copy(morph->ran->dim);
4209 if (!qp->upoly || !qp->div || !qp->dim)
4271 equal_params = isl_space_has_equal_params(qp->dim, model);
4277 exp = isl_parameter_alignment_reordering(qp->dim, model);
4363 total = isl_space_dim(qp->dim, isl_dim_all);
4373 cst = isl_upoly_rat_cst(qp->dim->ctx, v, qp->dim->ctx->one);
4373 cst = isl_upoly_rat_cst(qp->dim->ctx, v, qp->dim->ctx->one);
4436 total = isl_space_dim(qp->dim, isl_dim_all);
4685 s = isl_upoly_from_affine(qp->dim->ctx, qp->div->row[i] + 1,
4755 total = isl_space_dim(qp->dim, isl_dim_all);
4793 s = isl_upoly_from_affine(qp->dim->ctx, v->el,
4926 isl_die(qp->dim->ctx, isl_error_invalid,