Lines Matching refs:pwf

30 	isl_pw_qpolynomial_fold *pwf;  in isl_qpolynomial_cst_bound()  local
36 pwf = isl_pw_qpolynomial_fold_alloc(type, dom, fold); in isl_qpolynomial_cst_bound()
37 return isl_pw_qpolynomial_fold_project_domain_on_params(pwf); in isl_qpolynomial_cst_bound()
44 __isl_take isl_pw_qpolynomial_fold *pwf) in isl_bound_add() argument
46 bound->pwf = isl_pw_qpolynomial_fold_fold(bound->pwf, pwf); in isl_bound_add()
47 return isl_stat_non_null(bound->pwf); in isl_bound_add()
54 __isl_take isl_pw_qpolynomial_fold *pwf) in isl_bound_add_tight() argument
56 bound->pwf_tight = isl_pw_qpolynomial_fold_fold(bound->pwf_tight, pwf); in isl_bound_add_tight()
57 return isl_stat_non_null(bound->pwf); in isl_bound_add_tight()
68 isl_pw_qpolynomial_fold *pwf; in add_constant_poly() local
70 pwf = isl_qpolynomial_cst_bound(bset, poly, bound->type, NULL); in add_constant_poly()
71 return isl_bound_add_tight(bound, pwf); in add_constant_poly()
145 top_pwf = bound->pwf; in unwrapped_guarded_poly_bound()
150 bound->pwf = isl_pw_qpolynomial_fold_zero(isl_space_copy(space), in unwrapped_guarded_poly_bound()
160 bound->pwf = isl_pw_qpolynomial_fold_morph_domain(bound->pwf, in unwrapped_guarded_poly_bound()
223 top_pwf = bound->pwf; in guarded_poly_bound()
228 bound->pwf = isl_pw_qpolynomial_fold_zero(isl_space_copy(space), in guarded_poly_bound()
234 bound->pwf = isl_pw_qpolynomial_fold_reset_space(bound->pwf, in guarded_poly_bound()
299 __isl_take isl_pw_qpolynomial_fold *pwf, isl_bool *tight) in isl_pw_qpolynomial_fold_bound() argument
305 if (!pwf) in isl_pw_qpolynomial_fold_bound()
308 bound.dim = isl_pw_qpolynomial_fold_get_domain_space(pwf); in isl_pw_qpolynomial_fold_bound()
323 return isl_pw_qpolynomial_fold_reset_space(pwf, bound.dim); in isl_pw_qpolynomial_fold_bound()
326 if (isl_pw_qpolynomial_fold_is_zero(pwf)) { in isl_pw_qpolynomial_fold_bound()
327 enum isl_fold type = pwf->type; in isl_pw_qpolynomial_fold_bound()
328 isl_pw_qpolynomial_fold_free(pwf); in isl_pw_qpolynomial_fold_bound()
334 bound.pwf = isl_pw_qpolynomial_fold_zero(isl_space_copy(bound.dim), in isl_pw_qpolynomial_fold_bound()
335 pwf->type); in isl_pw_qpolynomial_fold_bound()
337 pwf->type); in isl_pw_qpolynomial_fold_bound()
340 if (isl_pw_qpolynomial_fold_foreach_lifted_piece(pwf, in isl_pw_qpolynomial_fold_bound()
344 covers = isl_pw_qpolynomial_fold_covers(bound.pwf_tight, bound.pwf); in isl_pw_qpolynomial_fold_bound()
352 isl_pw_qpolynomial_fold_free(pwf); in isl_pw_qpolynomial_fold_bound()
355 isl_pw_qpolynomial_fold_free(bound.pwf); in isl_pw_qpolynomial_fold_bound()
359 bound.pwf = isl_pw_qpolynomial_fold_fold(bound.pwf, bound.pwf_tight); in isl_pw_qpolynomial_fold_bound()
361 return bound.pwf; in isl_pw_qpolynomial_fold_bound()
364 isl_pw_qpolynomial_fold_free(bound.pwf); in isl_pw_qpolynomial_fold_bound()
365 isl_pw_qpolynomial_fold_free(pwf); in isl_pw_qpolynomial_fold_bound()
374 isl_pw_qpolynomial_fold *pwf; in isl_pw_qpolynomial_bound() local
376 pwf = isl_pw_qpolynomial_fold_from_pw_qpolynomial(type, pwqp); in isl_pw_qpolynomial_bound()
377 return isl_pw_qpolynomial_fold_bound(pwf, tight); in isl_pw_qpolynomial_bound()
389 isl_pw_qpolynomial_fold *pwf; in bound_pw() local
391 pwf = isl_pw_qpolynomial_bound(pwqp, data->type, in bound_pw()
394 data->res, pwf); in bound_pw()