Searched refs:res_space (Results 1 – 2 of 2) sorted by relevance
1325 isl_space *res_space; in accept_piecewise_affine() local1334 res_space = isl_space_from_domain(isl_space_copy(space)); in accept_piecewise_affine()1335 res_space = isl_space_add_dims(res_space, isl_dim_out, 1); in accept_piecewise_affine()1336 res = isl_pw_aff_empty(res_space); in accept_piecewise_affine()
4064 isl_space *res_space; in isl_basic_map_insert_dims() local4078 res_space = isl_space_insert_dims(isl_basic_map_get_space(bmap), in isl_basic_map_insert_dims()4080 if (!res_space) in isl_basic_map_insert_dims()4084 return isl_basic_map_empty(res_space); in isl_basic_map_insert_dims()4103 dim = isl_space_dim(res_space, t); in isl_basic_map_insert_dims()4110 res = isl_basic_map_alloc_space(res_space, in isl_basic_map_insert_dims()