Home
last modified time | relevance | path

Searched refs:pwf (Results 1 – 12 of 12) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_bound.c77 top_pwf = bound->pwf; in unwrapped_guarded_poly_bound()
82 bound->pwf = isl_pw_qpolynomial_fold_zero(isl_space_copy(space), in unwrapped_guarded_poly_bound()
92 bound->pwf = isl_pw_qpolynomial_fold_morph_domain(bound->pwf, in unwrapped_guarded_poly_bound()
97 bound->pwf = isl_pw_qpolynomial_fold_fold(top_pwf, bound->pwf); in unwrapped_guarded_poly_bound()
135 top_pwf = bound->pwf; in guarded_poly_bound()
140 bound->pwf = isl_pw_qpolynomial_fold_zero(isl_space_copy(space), in guarded_poly_bound()
146 bound->pwf = isl_pw_qpolynomial_fold_reset_space(bound->pwf, in guarded_poly_bound()
151 bound->pwf = isl_pw_qpolynomial_fold_fold(top_pwf, bound->pwf); in guarded_poly_bound()
212 __isl_take isl_pw_qpolynomial_fold *pwf, isl_bool *tight) in isl_pw_qpolynomial_fold_bound() argument
218 if (!pwf) in isl_pw_qpolynomial_fold_bound()
[all …]
Dbound.c58 isl_pw_qpolynomial_fold *pwf; member
69 isl_pw_qpolynomial_fold *pwf; in verify_point() local
93 pwf = isl_pw_qpolynomial_fold_copy(vpb->pwf); in verify_point()
95 nparam = isl_pw_qpolynomial_fold_dim(pwf, isl_dim_param); in verify_point()
97 pwf = isl_pw_qpolynomial_fold_free(pwf); in verify_point()
100 pwf = isl_pw_qpolynomial_fold_fix_val(pwf, isl_dim_param, i, v); in verify_point()
107 dom = isl_pw_qpolynomial_fold_domain(isl_pw_qpolynomial_fold_copy(pwf)); in verify_point()
115 isl_pw_qpolynomial_fold_copy(pwf), in verify_point()
118 opt = isl_pw_qpolynomial_fold_max(isl_pw_qpolynomial_fold_copy(pwf)); in verify_point()
120 opt = isl_pw_qpolynomial_fold_min(isl_pw_qpolynomial_fold_copy(pwf)); in verify_point()
[all …]
Disl_bernstein.c37 isl_pw_qpolynomial_fold *pwf; member
271 isl_pw_qpolynomial_fold *pwf; in bernstein_coefficients_cell() local
333 pwf = isl_pw_qpolynomial_fold_alloc(data->type, isl_set_copy(dom), in bernstein_coefficients_cell()
335 data->pwf = isl_pw_qpolynomial_fold_fold(data->pwf, pwf); in bernstein_coefficients_cell()
336 pwf = isl_pw_qpolynomial_fold_alloc(data->type, dom, data->fold_tight); in bernstein_coefficients_cell()
337 data->pwf_tight = isl_pw_qpolynomial_fold_fold(data->pwf_tight, pwf); in bernstein_coefficients_cell()
363 isl_pw_qpolynomial_fold *pwf; in bernstein_coefficients_base() local
378 pwf = isl_pw_qpolynomial_fold_alloc(data->type, dom, fold); in bernstein_coefficients_base()
379 return isl_pw_qpolynomial_fold_project_domain_on_params(pwf); in bernstein_coefficients_base()
387 pwf = isl_pw_qpolynomial_fold_alloc(data->type, dom, fold); in bernstein_coefficients_base()
[all …]
Disl_range.c17 isl_pw_qpolynomial_fold *pwf; member
60 data_m.pwf = isl_pw_qpolynomial_fold_zero(space, type); in has_sign()
68 opt = isl_pw_qpolynomial_fold_min(data_m.pwf); in has_sign()
70 opt = isl_pw_qpolynomial_fold_max(data_m.pwf); in has_sign()
85 isl_pw_qpolynomial_fold_free(data_m.pwf); in has_sign()
274 isl_pw_qpolynomial_fold *pwf; in add_guarded_poly() local
281 pwf = isl_pw_qpolynomial_fold_alloc(type, set, fold); in add_guarded_poly()
284 data->pwf_tight, pwf); in add_guarded_poly()
286 data->pwf = isl_pw_qpolynomial_fold_fold(data->pwf, pwf); in add_guarded_poly()
548 data.pwf = bound->pwf; in isl_qpolynomial_bound_on_domain_range()
[all …]
Disl_fold.c1028 isl_pw_qpolynomial_fold *pwf; in isl_pw_qpolynomial_fold_from_pw_qpolynomial() local
1033 pwf = isl_pw_qpolynomial_fold_alloc_size(isl_space_copy(pwqp->dim), in isl_pw_qpolynomial_fold_from_pw_qpolynomial()
1037 pwf = isl_pw_qpolynomial_fold_add_piece(pwf, in isl_pw_qpolynomial_fold_from_pw_qpolynomial()
1044 return pwf; in isl_pw_qpolynomial_fold_from_pw_qpolynomial()
1147 size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf) in isl_pw_qpolynomial_fold_size() argument
1152 for (i = 0; i < pwf->n; ++i) in isl_pw_qpolynomial_fold_size()
1153 n += pwf->p[i].fold->n; in isl_pw_qpolynomial_fold_size()
1334 __isl_keep isl_pw_qpolynomial_fold *pwf) in isl_pw_qpolynomial_fold_get_type() argument
1336 if (!pwf) in isl_pw_qpolynomial_fold_get_type()
1338 return pwf->type; in isl_pw_qpolynomial_fold_get_type()
[all …]
Disl_polynomial_private.h206 __isl_take isl_pw_qpolynomial_fold *pwf);
234 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_morph *morph);
255 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_reordering *r);
270 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_space *space);
286 __isl_take isl_pw_qpolynomial_fold *pwf, isl_int v);
Disl_output.c2087 __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf) in isl_pwf_print_isl_body() argument
2092 for (i = 0; i < pwf->n; ++i) { in isl_pwf_print_isl_body()
2097 space = isl_qpolynomial_fold_get_domain_space(pwf->p[i].fold); in isl_pwf_print_isl_body()
2102 p = qpolynomial_fold_print(pwf->p[i].fold, p); in isl_pwf_print_isl_body()
2103 p = print_disjuncts(set_to_map(pwf->p[i].set), space, p, 0); in isl_pwf_print_isl_body()
2111 __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf) in print_pw_qpolynomial_fold_isl() argument
2115 p = print_param_tuple(p, pwf->dim, &data); in print_pw_qpolynomial_fold_isl()
2117 if (pwf->n == 0) { in print_pw_qpolynomial_fold_isl()
2118 if (!isl_space_is_set(pwf->dim)) { in print_pw_qpolynomial_fold_isl()
2119 p = print_tuple(pwf->dim, p, isl_dim_in, &data); in print_pw_qpolynomial_fold_isl()
[all …]
Disl_bound.h16 isl_pw_qpolynomial_fold *pwf; member
Disl_input.c2607 isl_pw_qpolynomial_fold *pwf = NULL; in obj_read_poly_or_fold() local
2616 pwf = isl_pw_qpolynomial_fold_from_pw_qpolynomial(isl_fold_max, pwqp); in obj_read_poly_or_fold()
2623 pwf = isl_pw_qpolynomial_fold_fold(pwf, pwf_i); in obj_read_poly_or_fold()
2630 pwf = isl_pw_qpolynomial_fold_intersect_domain(pwf, set); in obj_read_poly_or_fold()
2634 obj.v = pwf; in obj_read_poly_or_fold()
2638 isl_pw_qpolynomial_fold_free(pwf); in obj_read_poly_or_fold()
Disl_test.c3881 isl_pw_qpolynomial_fold *pwf, *pwf2; in test_bound_unbounded_domain() local
3886 pwf = isl_pw_qpolynomial_bound(pwqp, isl_fold_max, NULL); in test_bound_unbounded_domain()
3890 equal = isl_pw_qpolynomial_fold_plain_is_equal(pwf, pwf2); in test_bound_unbounded_domain()
3891 isl_pw_qpolynomial_fold_free(pwf); in test_bound_unbounded_domain()
3908 isl_pw_qpolynomial_fold *pwf; in test_bound() local
3915 pwf = isl_pw_qpolynomial_bound(pwqp, isl_fold_max, NULL); in test_bound()
3916 dim = isl_pw_qpolynomial_fold_dim(pwf, isl_dim_in); in test_bound()
3917 isl_pw_qpolynomial_fold_free(pwf); in test_bound()
3926 pwf = isl_pw_qpolynomial_bound(pwqp, isl_fold_max, NULL); in test_bound()
3927 dim = isl_pw_qpolynomial_fold_dim(pwf, isl_dim_in); in test_bound()
[all …]
/external/llvm-project/polly/lib/External/isl/include/isl/
Dpolynomial.h346 __isl_take isl_pw_qpolynomial_fold *pwf,
367 isl_ctx *isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold *pwf);
369 __isl_keep isl_pw_qpolynomial_fold *pwf);
372 __isl_keep isl_pw_qpolynomial_fold *pwf);
387 __isl_keep isl_pw_qpolynomial_fold *pwf);
389 __isl_take isl_pw_qpolynomial_fold *pwf);
392 __isl_keep isl_pw_qpolynomial_fold *pwf);
395 __isl_keep isl_pw_qpolynomial_fold *pwf);
397 __isl_keep isl_pw_qpolynomial_fold *pwf);
399 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_space *space);
[all …]
/external/llvm-project/polly/lib/External/isl/doc/
Duser.pod1125 __isl_keep isl_pw_qpolynomial_fold *pwf);
1127 __isl_keep isl_pw_qpolynomial_fold *pwf);
1474 __isl_take isl_pw_qpolynomial_fold *pwf,
1578 __isl_keep isl_pw_qpolynomial_fold *pwf,
1838 __isl_take isl_pw_qpolynomial_fold *pwf);
2923 __isl_keep isl_pw_qpolynomial_fold *pwf);
3391 __isl_keep isl_pw_qpolynomial_fold *pwf);
3394 __isl_take isl_pw_qpolynomial_fold *pwf);
3492 __isl_keep isl_pw_qpolynomial_fold *pwf);
3495 __isl_take isl_pw_qpolynomial_fold *pwf);
[all …]