| /src/external/mit/isl/dist/ |
| isl_bound.h | 16 isl_pw_qpolynomial_fold *pwf; member in struct:isl_bound
25 __isl_take isl_pw_qpolynomial_fold *pwf);
27 __isl_take isl_pw_qpolynomial_fold *pwf);
|
| isl_bound.c | 30 isl_pw_qpolynomial_fold *pwf; local
36 pwf = isl_pw_qpolynomial_fold_alloc(type, dom, fold);
37 return isl_pw_qpolynomial_fold_project_domain_on_params(pwf);
40 /* Add the bound "pwf", which is not known to be tight,
44 __isl_take isl_pw_qpolynomial_fold *pwf)
46 bound->pwf = isl_pw_qpolynomial_fold_fold(bound->pwf, pwf);
47 return isl_stat_non_null(bound->pwf);
50 /* Add the bound "pwf", which is known to be tight
68 isl_pw_qpolynomial_fold *pwf; local
374 isl_pw_qpolynomial_fold *pwf; local
389 isl_pw_qpolynomial_fold *pwf; local
[all...] |
| bound.c | 58 isl_pw_qpolynomial_fold *pwf; member in struct:verify_point_bound
69 isl_pw_qpolynomial_fold *pwf; local
93 pwf = isl_pw_qpolynomial_fold_copy(vpb->pwf);
95 nparam = isl_pw_qpolynomial_fold_dim(pwf, isl_dim_param);
97 pwf = isl_pw_qpolynomial_fold_free(pwf);
100 pwf = isl_pw_qpolynomial_fold_fix_val(pwf, isl_dim_param, i, v);
107 dom = isl_pw_qpolynomial_fold_domain(isl_pw_qpolynomial_fold_copy(pwf));
242 isl_pw_qpolynomial_fold *pwf; local
[all...] |
| isl_bernstein.c | 37 isl_pw_qpolynomial_fold *pwf; member in struct:bernstein_data
278 isl_pw_qpolynomial_fold *pwf; local
340 pwf = isl_pw_qpolynomial_fold_alloc(data->type, isl_set_copy(dom),
342 data->pwf = isl_pw_qpolynomial_fold_fold(data->pwf, pwf);
343 pwf = isl_pw_qpolynomial_fold_alloc(data->type, dom, data->fold_tight);
344 data->pwf_tight = isl_pw_qpolynomial_fold_fold(data->pwf_tight, pwf);
395 data->pwf = isl_pw_qpolynomial_fold_zero(isl_space_copy(space),
402 data->pwf = isl_pw_qpolynomial_fold_free(data->pwf)
440 isl_pw_qpolynomial_fold *pwf; local
476 isl_pw_qpolynomial_fold *pwf; local
510 isl_pw_qpolynomial_fold *pwf; local
555 isl_pw_qpolynomial_fold *pwf; local
[all...] |
| isl_range.c | 17 isl_pw_qpolynomial_fold *pwf; member in struct:range_data
60 data_m.pwf = isl_pw_qpolynomial_fold_zero(space, type);
68 opt = isl_pw_qpolynomial_fold_min(data_m.pwf);
70 opt = isl_pw_qpolynomial_fold_max(data_m.pwf);
85 isl_pw_qpolynomial_fold_free(data_m.pwf);
265 /* Helper function to add a guarded polynomial to either pwf_tight or pwf,
274 isl_pw_qpolynomial_fold *pwf; local
281 pwf = isl_pw_qpolynomial_fold_alloc(type, set, fold);
284 data->pwf_tight, pwf);
286 data->pwf = isl_pw_qpolynomial_fold_fold(data->pwf, pwf)
[all...] |
| isl_fold.c | 1258 isl_pw_qpolynomial_fold *pwf; local
1263 pwf = isl_pw_qpolynomial_fold_alloc_size(isl_space_copy(pwqp->dim),
1267 pwf = isl_pw_qpolynomial_fold_add_piece(pwf,
1274 return pwf;
1433 size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf)
1438 for (i = 0; i < pwf->n; ++i) {
1442 list = isl_qpolynomial_fold_peek_list(pwf->p[i].fold);
1642 __isl_keep isl_pw_qpolynomial_fold *pwf)
1644 if (!pwf)
1808 isl_pw_qpolynomial_fold *pwf; local
[all...] |
| isl_polynomial_private.h | 218 __isl_take isl_pw_qpolynomial_fold *pwf);
221 __isl_keep isl_pw_qpolynomial_fold *pwf, int pos);
249 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_morph *morph);
281 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_space *space);
|
| isl_output.c | 2075 __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf)
2080 for (i = 0; i < pwf->n; ++i) {
2085 space = isl_qpolynomial_fold_get_domain_space(pwf->p[i].fold);
2090 p = qpolynomial_fold_print(pwf->p[i].fold, p);
2091 p = print_disjuncts(set_to_map(pwf->p[i].set), space, p, 0);
2099 __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf)
2103 p = print_param_tuple(p, pwf->dim, &data);
2105 if (pwf->n == 0) {
2106 if (!isl_space_is_set(pwf->dim)) {
2107 p = print_tuple(pwf->dim, p, isl_dim_in, &data)
[all...] |
| isl_input.c | 2735 isl_pw_qpolynomial_fold *pwf = NULL; local
2748 pwf = isl_pw_qpolynomial_fold_from_pw_qpolynomial(fold, pwqp);
2754 pwf = isl_pw_qpolynomial_fold_fold(pwf, pwf_i);
2761 pwf = isl_pw_qpolynomial_fold_intersect_domain(pwf, set);
2765 obj.v = pwf;
2769 isl_pw_qpolynomial_fold_free(pwf);
|
| isl_test.c | 4045 isl_pw_qpolynomial_fold *pwf; local
4052 pwf = isl_pw_qpolynomial_bound(pwqp, isl_fold_max, NULL);
4053 isl_pw_qpolynomial_fold_free(pwf);
4055 return isl_stat_non_null(pwf);
|
| /src/external/mit/isl/dist/include/isl/ |
| polynomial.h | 351 __isl_take isl_pw_qpolynomial_fold *pwf,
372 isl_ctx *isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold *pwf);
374 __isl_keep isl_pw_qpolynomial_fold *pwf);
377 __isl_keep isl_pw_qpolynomial_fold *pwf);
392 __isl_keep isl_pw_qpolynomial_fold *pwf);
394 __isl_take isl_pw_qpolynomial_fold *pwf);
397 __isl_keep isl_pw_qpolynomial_fold *pwf);
400 __isl_keep isl_pw_qpolynomial_fold *pwf);
402 __isl_keep isl_pw_qpolynomial_fold *pwf);
404 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_space *space)
[all...] |
