Home
last modified time | relevance | path

Searched refs:pwf_tight (Results 1 – 4 of 4) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_bound.c78 top_pwf_tight = bound->pwf_tight; in unwrapped_guarded_poly_bound()
84 bound->pwf_tight = isl_pw_qpolynomial_fold_zero(space, bound->type); in unwrapped_guarded_poly_bound()
94 bound->pwf_tight = isl_pw_qpolynomial_fold_morph_domain( in unwrapped_guarded_poly_bound()
95 bound->pwf_tight, morph); in unwrapped_guarded_poly_bound()
98 bound->pwf_tight = isl_pw_qpolynomial_fold_fold(top_pwf_tight, in unwrapped_guarded_poly_bound()
99 bound->pwf_tight); in unwrapped_guarded_poly_bound()
136 top_pwf_tight = bound->pwf_tight; in guarded_poly_bound()
142 bound->pwf_tight = isl_pw_qpolynomial_fold_zero(space, bound->type); in guarded_poly_bound()
148 bound->pwf_tight = isl_pw_qpolynomial_fold_reset_space(bound->pwf_tight, in guarded_poly_bound()
152 bound->pwf_tight = isl_pw_qpolynomial_fold_fold(top_pwf_tight, in guarded_poly_bound()
[all …]
Disl_bernstein.c38 isl_pw_qpolynomial_fold *pwf_tight; member
337 data->pwf_tight = isl_pw_qpolynomial_fold_fold(data->pwf_tight, pwf); in bernstein_coefficients_cell()
399 data->pwf_tight = isl_pw_qpolynomial_fold_zero(space, data->type); in bernstein_coefficients_base()
411 covers = isl_pw_qpolynomial_fold_covers(data->pwf_tight, data->pwf); in bernstein_coefficients_base()
420 return data->pwf_tight; in bernstein_coefficients_base()
423 data->pwf = isl_pw_qpolynomial_fold_fold(data->pwf, data->pwf_tight); in bernstein_coefficients_base()
427 isl_pw_qpolynomial_fold_free(data->pwf_tight); in bernstein_coefficients_base()
578 bound->pwf_tight = isl_pw_qpolynomial_fold_fold(bound->pwf_tight, pwf); in isl_qpolynomial_bound_on_domain_bernstein()
Disl_range.c18 isl_pw_qpolynomial_fold *pwf_tight; member
62 data_m.pwf_tight = NULL; in has_sign()
283 data->pwf_tight = isl_pw_qpolynomial_fold_fold( in add_guarded_poly()
284 data->pwf_tight, pwf); in add_guarded_poly()
549 data.pwf_tight = bound->pwf_tight; in isl_qpolynomial_bound_on_domain_range()
559 bound->pwf_tight = data.pwf_tight; in isl_qpolynomial_bound_on_domain_range()
Disl_bound.h17 isl_pw_qpolynomial_fold *pwf_tight; member