424 	__isl_keep isl_val *h, __isl_keep isl_val *du, __isl_keep isl_val *duh)  in hex_lower_left()  argument
431 	v = isl_val_sub(v, isl_val_copy(duh));  in hex_lower_left()
473 	__isl_keep isl_val *s0, __isl_keep isl_val *dl, __isl_keep isl_val *duh)  in hex_lower_right()  argument
480 	v = isl_val_add(v, isl_val_copy(duh));  in hex_lower_right()
529 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)  in hex_upper_right()  argument
538 	v = isl_val_add(v, isl_val_copy(duh));  in hex_upper_right()
603 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)  in compute_hexagon()  argument
611 	c = hex_lower_left(isl_local_space_copy(ls), h, du, duh);  in compute_hexagon()
617 	c = hex_lower_right(isl_local_space_copy(ls), h, s0, dl, duh);  in compute_hexagon()
623 	c = hex_upper_right(isl_local_space_copy(ls), h, s0, du, dlh, duh);  in compute_hexagon()
678 	__isl_keep isl_val *dlh, __isl_keep isl_val *duh)  in compute_space_sizes()  argument
687 	size = isl_val_add(size, isl_val_copy(duh));  in compute_space_sizes()
702 	__isl_keep isl_val *s0, __isl_keep isl_val *duh)  in compute_phase_shift()  argument
709 	v = isl_val_add(isl_val_copy(duh), isl_val_copy(s0));  in compute_phase_shift()
887 	isl_val *h, *duh, *dlh;  in ppcg_ht_bounds_construct_tiling()  local
906 	duh = isl_val_floor(isl_val_mul(isl_val_copy(du), isl_val_copy(h)));  in ppcg_ht_bounds_construct_tiling()
912 	space_sizes = compute_space_sizes(tile_sizes, dlh, duh);  in ppcg_ht_bounds_construct_tiling()
913 	phase_shift = compute_phase_shift(ts, st, s0, duh);  in ppcg_ht_bounds_construct_tiling()
924 	tiling->hex = compute_hexagon(local_ts, h, s0, dl, du, dlh, duh);  in ppcg_ht_bounds_construct_tiling()
931 	isl_val_free(duh);  in ppcg_ht_bounds_construct_tiling()