919 isl_bool isl_space_has_equal_tuples(__isl_keep isl_space *space1,  in isl_space_has_equal_tuples()  argument
922 	if (!space1 || !space2)  in isl_space_has_equal_tuples()
924 	if (space1 == space2)  in isl_space_has_equal_tuples()
926 	return isl_space_tuple_is_equal(space1, isl_dim_in,  in isl_space_has_equal_tuples()
928 	       isl_space_tuple_is_equal(space1, isl_dim_out,  in isl_space_has_equal_tuples()
935 isl_stat isl_space_check_equal_tuples(__isl_keep isl_space *space1,  in isl_space_check_equal_tuples()  argument
940 	is_equal = isl_space_has_equal_tuples(space1, space2);  in isl_space_check_equal_tuples()
944 		isl_die(isl_space_get_ctx(space1), isl_error_invalid,  in isl_space_check_equal_tuples()
962 isl_bool isl_space_tuple_is_equal(__isl_keep isl_space *space1,  in isl_space_tuple_is_equal()  argument
969 	if (!space1 || !space2)  in isl_space_tuple_is_equal()
972 	if (space1 == space2 && type1 == type2)  in isl_space_tuple_is_equal()
975 	if (n(space1, type1) != n(space2, type2))  in isl_space_tuple_is_equal()
977 	id1 = tuple_id(space1, type1);  in isl_space_tuple_is_equal()
983 	nested1 = nested(space1, type1);  in isl_space_tuple_is_equal()
992 static isl_bool match(__isl_keep isl_space *space1, enum isl_dim_type type1,  in match()  argument
998 	if (!space1 || !space2)  in match()
1001 	if (space1 == space2 && type1 == type2)  in match()
1004 	equal = isl_space_tuple_is_equal(space1, type1, space2, type2);  in match()
1008 	if (!space1->ids && !space2->ids)  in match()
1011 	for (i = 0; i < n(space1, type1); ++i) {  in match()
1012 		if (get_id(space1, type1, i) != get_id(space2, type2, i))  in match()
1020 isl_bool isl_space_has_equal_params(__isl_keep isl_space *space1,  in isl_space_has_equal_params()  argument
1023 	return match(space1, isl_dim_param, space2, isl_dim_param);  in isl_space_has_equal_params()
1029 isl_bool isl_space_has_equal_ids(__isl_keep isl_space *space1,  in isl_space_has_equal_ids()  argument
1034 	equal = match(space1, isl_dim_in, space2, isl_dim_in);  in isl_space_has_equal_ids()
1037 	return match(space1, isl_dim_out, space2, isl_dim_out);  in isl_space_has_equal_ids()
1040 isl_bool isl_space_match(__isl_keep isl_space *space1, enum isl_dim_type type1,  in isl_space_match()  argument
1043 	return match(space1, type1, space2, type2);  in isl_space_match()
1370 isl_stat isl_space_check_equal_params(__isl_keep isl_space *space1,  in isl_space_check_equal_params()  argument
1375 	equal = isl_space_has_equal_params(space1, space2);  in isl_space_check_equal_params()
1379 		isl_die(isl_space_get_ctx(space1), isl_error_invalid,  in isl_space_check_equal_params()
2365 isl_bool isl_space_is_equal(__isl_keep isl_space *space1,  in isl_space_is_equal()  argument
2370 	if (!space1 || !space2)  in isl_space_is_equal()
2372 	if (space1 == space2)  in isl_space_is_equal()
2374 	equal = isl_space_has_equal_params(space1, space2);  in isl_space_is_equal()
2377 	return isl_space_has_equal_tuples(space1, space2);  in isl_space_is_equal()
2386 isl_bool isl_space_has_domain_tuples(__isl_keep isl_space *space1,  in isl_space_has_domain_tuples()  argument
2391 	is_set = isl_space_is_set(space1);  in isl_space_has_domain_tuples()
2394 	return isl_space_tuple_is_equal(space1, isl_dim_set,  in isl_space_has_domain_tuples()
2404 isl_bool isl_space_has_range_tuples(__isl_keep isl_space *space1,  in isl_space_has_range_tuples()  argument
2409 	is_set = isl_space_is_set(space1);  in isl_space_has_range_tuples()
2412 	return isl_space_tuple_is_equal(space1, isl_dim_set,  in isl_space_has_range_tuples()
2421 isl_stat isl_space_check_domain_tuples(__isl_keep isl_space *space1,  in isl_space_check_domain_tuples()  argument
2426 	is_equal = isl_space_has_domain_tuples(space1, space2);  in isl_space_check_domain_tuples()
2430 		isl_die(isl_space_get_ctx(space1), isl_error_invalid,  in isl_space_check_domain_tuples()
2442 	__isl_keep isl_space *space1, __isl_keep isl_space *space2)  in isl_space_check_domain_wrapped_domain_tuples()  argument
2448 	r = isl_space_check_domain_tuples(space1, domain);  in isl_space_check_domain_wrapped_domain_tuples()
2459 isl_bool isl_space_is_domain_internal(__isl_keep isl_space *space1,  in isl_space_is_domain_internal()  argument
2464 	if (!space1 || !space2)  in isl_space_is_domain_internal()
2466 	equal_params = isl_space_has_equal_params(space1, space2);  in isl_space_is_domain_internal()
2469 	return isl_space_has_domain_tuples(space1, space2);  in isl_space_is_domain_internal()
2474 isl_bool isl_space_is_domain(__isl_keep isl_space *space1,  in isl_space_is_domain()  argument
2481 	return isl_space_is_domain_internal(space1, space2);  in isl_space_is_domain()
2489 isl_bool isl_space_is_range_internal(__isl_keep isl_space *space1,  in isl_space_is_range_internal()  argument
2494 	if (!space1 || !space2)  in isl_space_is_range_internal()
2496 	equal_params = isl_space_has_equal_params(space1, space2);  in isl_space_is_range_internal()
2499 	return isl_space_has_range_tuples(space1, space2);  in isl_space_is_range_internal()
2504 isl_bool isl_space_is_range(__isl_keep isl_space *space1,  in isl_space_is_range()  argument
2511 	return isl_space_is_range_internal(space1, space2);  in isl_space_is_range()
3119 __isl_give isl_space *isl_space_align_params(__isl_take isl_space *space1,  in isl_space_align_params()  argument
3124 	if (isl_space_check_named_params(space1) < 0 ||  in isl_space_align_params()
3128 	exp = isl_parameter_alignment_reordering(space1, space2);  in isl_space_align_params()
3129 	exp = isl_reordering_extend_space(exp, space1);  in isl_space_align_params()
3131 	space1 = isl_reordering_get_space(exp);  in isl_space_align_params()
3133 	return space1;  in isl_space_align_params()
3135 	isl_space_free(space1);  in isl_space_align_params()
3188 static int isl_space_cmp_type(__isl_keep isl_space *space1,  in isl_space_cmp_type()  argument
3195 	dim1 = isl_space_dim(space1, type);  in isl_space_cmp_type()
3202 	cmp = isl_id_cmp(tuple_id(space1, type), tuple_id(space2, type));  in isl_space_cmp_type()
3206 	nested1 = nested(space1, type);  in isl_space_cmp_type()
3221 int isl_space_cmp(__isl_keep isl_space *space1, __isl_keep isl_space *space2)  in isl_space_cmp()  argument
3226 	if (space1 == space2)  in isl_space_cmp()
3228 	if (!space1)  in isl_space_cmp()
3233 	cmp = isl_space_cmp_type(space1, space2, isl_dim_param);  in isl_space_cmp()
3236 	cmp = isl_space_cmp_type(space1, space2, isl_dim_in);  in isl_space_cmp()
3239 	cmp = isl_space_cmp_type(space1, space2, isl_dim_out);  in isl_space_cmp()
3243 	if (!space1->ids && !space2->ids)  in isl_space_cmp()
3246 	for (i = 0; i < n(space1, isl_dim_param); ++i) {  in isl_space_cmp()
3247 		cmp = isl_id_cmp(get_id(space1, isl_dim_param, i),  in isl_space_cmp()