Lines Matching refs:pwf_tight

56 	bound->pwf_tight = isl_pw_qpolynomial_fold_fold(bound->pwf_tight, pwf);  in isl_bound_add_tight()
146 	top_pwf_tight = bound->pwf_tight;  in unwrapped_guarded_poly_bound()
152 	bound->pwf_tight = isl_pw_qpolynomial_fold_zero(space, bound->type);  in unwrapped_guarded_poly_bound()
162 	bound->pwf_tight = isl_pw_qpolynomial_fold_morph_domain(  in unwrapped_guarded_poly_bound()
163 						bound->pwf_tight, morph);  in unwrapped_guarded_poly_bound()
224 	top_pwf_tight = bound->pwf_tight;  in guarded_poly_bound()
230 	bound->pwf_tight = isl_pw_qpolynomial_fold_zero(space, bound->type);  in guarded_poly_bound()
236 	bound->pwf_tight = isl_pw_qpolynomial_fold_reset_space(bound->pwf_tight,  in guarded_poly_bound()
336 	bound.pwf_tight = isl_pw_qpolynomial_fold_zero(isl_space_copy(bound.dim),  in isl_pw_qpolynomial_fold_bound()
344 	covers = isl_pw_qpolynomial_fold_covers(bound.pwf_tight, bound.pwf);  in isl_pw_qpolynomial_fold_bound()
356 		return bound.pwf_tight;  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()
363 	isl_pw_qpolynomial_fold_free(bound.pwf_tight);  in isl_pw_qpolynomial_fold_bound()