20 /* Return the isl_ctx to which "local" belongs.
22 isl_ctx *isl_local_get_ctx(__isl_keep isl_local *local)  in isl_local_get_ctx()  argument
24 	if (!local)  in isl_local_get_ctx()
27 	return isl_mat_get_ctx(local);  in isl_local_get_ctx()
41 /* Free "local" and return NULL.
43 __isl_null isl_local *isl_local_free(__isl_take isl_local *local)  in isl_local_free()  argument
45 	isl_mat_free(local);  in isl_local_free()
49 /* Return the number of local variables (isl_dim_div),
51  * the total number of variables (isl_dim_all) in "local".
55 isl_size isl_local_dim(__isl_keep isl_local *local, enum isl_dim_type type)  in isl_local_dim()  argument
57 	isl_mat *mat = local;  in isl_local_dim()
59 	if (!local)  in isl_local_dim()
72 		total = isl_local_dim(local, isl_dim_all);  in isl_local_dim()
73 		n_div = isl_local_dim(local, isl_dim_div);  in isl_local_dim()
78 	isl_die(isl_local_get_ctx(local), isl_error_unsupported,  in isl_local_dim()
87 /* Check that "pos" is a valid position for a variable in "local".
89 static isl_stat isl_local_check_pos(__isl_keep isl_local *local, int pos)  in isl_local_check_pos()  argument
91 	return isl_local_check_range(local, isl_dim_div, pos, 1);  in isl_local_check_pos()
94 /* Given local variables "local",
99  * depend (indirectly) on other local variables that do not
102 isl_bool isl_local_div_is_marked_unknown(__isl_keep isl_local *local, int pos)  in isl_local_div_is_marked_unknown()  argument
104 	isl_mat *mat = local;  in isl_local_div_is_marked_unknown()
106 	if (isl_local_check_pos(local, pos) < 0)  in isl_local_div_is_marked_unknown()
111 /* Given local variables "local",
114  * an explicit representation, but also that all local variables
118 isl_bool isl_local_div_is_known(__isl_keep isl_local *local, int pos)  in isl_local_div_is_known()  argument
123 	isl_mat *mat = local;  in isl_local_div_is_known()
125 	if (isl_local_check_pos(local, pos) < 0)  in isl_local_div_is_known()
128 	marked = isl_local_div_is_marked_unknown(local, pos);  in isl_local_div_is_known()
132 	n = isl_local_dim(local, isl_dim_div);  in isl_local_div_is_known()
143 		known = isl_local_div_is_known(local, i);  in isl_local_div_is_known()
151 /* Does "local" have an explicit representation for all local variables?
153 isl_bool isl_local_divs_known(__isl_keep isl_local *local)  in isl_local_divs_known()  argument
158 	n = isl_local_dim(local, isl_dim_div);  in isl_local_divs_known()
163 		isl_bool unknown = isl_local_div_is_marked_unknown(local, i);  in isl_local_divs_known()
171 /* Compare two sets of local variables, defined over
225 /* Reorder the columns of the given local variables according to the
227  * The order of the local variables themselves is assumed not to change.
229 __isl_give isl_local *isl_local_reorder(__isl_take isl_local *local,  in isl_local_reorder()  argument
232 	isl_mat *div = local;  in isl_local_reorder()
239 	if (!local || !r)  in isl_local_reorder()
260 	isl_local_free(local);  in isl_local_reorder()
264 	isl_local_free(local);  in isl_local_reorder()
269  * in the domain space of "local"
270  * to one that also includes values for the local variables.
271  * All local variables are required to have an explicit representation.
272  * If there are no local variables, then the point is not required
275 __isl_give isl_vec *isl_local_extend_point_vec(__isl_keep isl_local *local,  in isl_local_extend_point_vec()  argument
280 	isl_mat *mat = local;  in isl_local_extend_point_vec()
282 	if (!local || !v)  in isl_local_extend_point_vec()
284 	known = isl_local_divs_known(local);  in isl_local_extend_point_vec()
288 		isl_die(isl_local_get_ctx(local), isl_error_invalid,  in isl_local_extend_point_vec()
289 			"unknown local variables", return isl_vec_free(v));  in isl_local_extend_point_vec()
290 	dim = isl_local_dim(local, isl_dim_set);  in isl_local_extend_point_vec()
291 	n_div = isl_local_dim(local, isl_dim_div);  in isl_local_extend_point_vec()
296 		isl_die(isl_local_get_ctx(local), isl_error_invalid,  in isl_local_extend_point_vec()
301 		isl_die(isl_local_get_ctx(local), isl_error_invalid,  in isl_local_extend_point_vec()