22 	return u ? u->space->ctx : NULL;  in FN()
25 /* Return the space of "u".
31 	return u->space;  in FN()
34 /* Return a copy of the space of "u".
53 	return isl_space_dim(u->space, type);  in FN()
65 	return isl_space_find_dim_by_name(u->space, type, name);  in FN()
70 static __isl_give UNION *FN(UNION,alloc)(__isl_take isl_space *space  in FN()
75 	space = isl_space_params(space);  in FN()
76 	if (!space)  in FN()
79 	u = isl_calloc_type(space->ctx, UNION);  in FN()
85 	u->space = space;  in FN()
86 	if (isl_hash_table_init(space->ctx, &u->table, size) < 0)  in FN()
91 	isl_space_free(space);  in FN()
99 	isl_space *space;  in FN()  local
101 	space = isl_space_unit(ctx);  in FN()
102 	return FN(FN(UNION,ZERO),space)(space OPT_TYPE_ARG(NO_LOC));  in FN()
105 __isl_give UNION *FN(FN(UNION,ZERO),space)(__isl_take isl_space *space  in FN()  argument
108 	return FN(UNION,alloc)(space OPT_TYPE_ARG(NO_LOC), 16);  in FN()
113 __isl_give UNION *FN(UNION,ZERO)(__isl_take isl_space *space OPT_TYPE_PARAM)  in FN()
115 	return FN(FN(UNION,ZERO),space)(space OPT_TYPE_ARG(NO_LOC));  in FN()
127 /* Do the tuples of "space" correspond to those of the domain of "part"?
128  * That is, is the domain space of "part" equal to "space", ignoring parameters?
131 	__isl_keep isl_space *space)  in FN()
133 	return isl_space_has_domain_tuples(space, FN(PART,peek_space)(part));  in FN()
136 /* Extract the element of "u" living in "space" (ignoring parameters).
139  * living in "space".
142 	__isl_take isl_space *space)  in FN()
146 	entry = FN(UNION,find_part_entry)(u, space, 0);  in FN()
150 		return FN(PART,ZERO)(space OPT_TYPE_ARG(u->));  in FN()
151 	isl_space_free(space);  in FN()
154 	isl_space_free(space);  in FN()
163  * defined on the same space.
220  * a part that is defined on the same space as "part".
229  * with space "space".
232 	__isl_take isl_space *space)  in FN()
236 	return FN(UNION,alloc)(space OPT_TYPE_ARG(u->), u->table.n);  in FN()
238 	isl_space_free(space);  in FN()
242 /* Allocate a UNION with the same space, the same type (if any) and
257  * If "space" is not NULL, then a new union is created in this space.
266 	isl_space *space;  in S()  local
322 	isl_space *space;  in FN()  local
327 		if (control->space)  in FN()
328 			space = isl_space_copy(control->space);  in FN()
330 			space = FN(UNION,get_space)(u);  in FN()
331 		data.res = FN(UNION,alloc_same_size_on_space)(u, space);  in FN()
340 /* Return a UNION living in "space" that is otherwise obtained by modifying "u"
344 	__isl_take isl_space *space, S(UNION,transform_control) *control)  in FN()
346 	if (!space)  in FN()
348 	control->space = space;  in FN()
350 	isl_space_free(space);  in FN()
410 	isl_hash_table_foreach(u->space->ctx, &u->table,  in FN()
413 	isl_space_free(u->space);  in FN()
436 	isl_space *space;  in FN()  local
441 	space = isl_reordering_get_space(r);  in FN()
442 	u = FN(UNION,transform_space)(u, space, &control);  in FN()
456 	isl_space *space;  in FN()  local
460 	space = FN(UNION,peek_space)(u);  in FN()
461 	equal_params = isl_space_has_equal_params(space, model);  in FN()
469 	r = isl_parameter_alignment_reordering(space, model);  in FN()
480  * a part defined on the same space as "part".
540 	isl_space *space;  in FN()  local
546 	space = FN(PART,get_space)(part);  in FN()
547 	space = isl_space_drop_dims(space, isl_dim_in, 0,  in FN()
548 					isl_space_dim(space, isl_dim_in));  in FN()
549 	space = isl_space_drop_dims(space, isl_dim_out, 0,  in FN()
550 					isl_space_dim(space, isl_dim_out));  in FN()
551 	u = FN(UNION,ZERO)(space OPT_TYPE_ARG(part->));  in FN()
571 /* Check if data->u2 has an element living in the same space as "part".
579 	isl_space *space;  in FN()  local
582 	space = FN(PART,get_space)(part);  in FN()
583 	entry2 = FN(UNION,find_part_entry)(data->u2, space, 0);  in FN()
584 	isl_space_free(space);  in FN()
596 			"entries should have the same range space",  in FN()
618 /* For each pair of elements in "u1" and "u2" living in the same space,
728  * set in the union set, i.e., such that the set lives in the same space
731  * does not live in the same space as the domain of the part,
732  * but rather in the space that results from calling "match_space"
733  * on this domain space.
737 	__isl_give isl_space *(*match_space)(__isl_take isl_space *space);  in S()
747 /* Find the set in data->uset that lives in the same space as the domain
755 	isl_space *space;  in FN()  local
765 	space = FN(PART,get_domain_space)(part);  in FN()
767 		space = data->control->match_space(space);  in FN()
768 	entry2 = isl_union_set_find_entry(data->uset, space, 0);  in FN()
769 	isl_space_free(space);  in FN()
838  * In particular, it should be kept if its domain space
839  * corresponds to "space".
843 	isl_space *space = user;  in FN()  local
845 	return FN(PW,has_domain_space_tuples)(part, space);  in FN()
848 /* Remove any not element in "space" from the domain of "u".
851  * on this domain space.
854 	__isl_take isl_space *space)  in FN()
858 		.filter_user = space,  in FN()
862 	isl_space_free(space);  in FN()
904  * in the same space as the domain of "pw", subtract it from the domain
911 	isl_space *space;  in FN()  local
914 	space = FN(PART,get_domain_space)(part);  in FN()
915 	set = isl_union_set_extract_set(uset, space);  in FN()
944  * In particular, it should be kept if its domain space
945  * does not correspond to "space".
949 	isl_space *space = user;  in FN()  local
951 	return isl_bool_not(FN(PW,has_domain_space_tuples)(part, space));  in FN()
954 /* Remove any element in "space" from the domain of "u".
957  * on this domain space.
960 	__isl_take isl_space *space)  in FN()
964 		.filter_user = space,  in FN()
968 	isl_space_free(space);  in FN()
1085 		isl_space *space = FN(UNION,get_space)(u);  in FN()  local
1086 		zero = FN(UNION,ZERO)(space OPT_TYPE_ARG(u->));  in FN()
1297 	isl_space *space;  in FN()  local
1312 	space = FN(UNION,get_space)(u);  in FN()
1313 	space = isl_space_drop_dims(space, type, first, n);  in FN()
1314 	return FN(UNION,transform_space)(u, space, &control);  in FN()
1348 	isl_space *space;  in FN()  local
1358 	space = FN(UNION,get_space)(u);  in FN()
1359 	space = isl_space_set_dim_name(space, type, pos, s);  in FN()
1360 	return FN(UNION,transform_space)(u, space, &control);  in FN()
1364  * of the space of "part" and return the result.
1380 	isl_space *space;  in FN()  local
1382 	space = FN(UNION,get_space)(u);  in FN()
1383 	space = isl_space_reset_user(space);  in FN()
1384 	return FN(UNION,transform_space)(u, space, &control);  in FN()