xref: /netbsd-src/external/mit/isl/dist/isl_type_check_equal_space_templ.c (revision 5971e316fdea024efff6be8f03536623db06833e)
1 /*
2  * Copyright 2011      Sven Verdoolaege
3  *
4  * Use of this software is governed by the MIT license
5  *
6  * Written by Sven Verdoolaege
7  */
8 
9 /* Check that "obj1" and "obj2" live in the same space,
10  * reporting an error if they do not.
11  */
FN(TYPE_PAIR,check_equal_space)12 isl_stat FN(TYPE_PAIR,check_equal_space)(__isl_keep TYPE1 *obj1,
13 	__isl_keep TYPE2 *obj2)
14 {
15 	isl_bool equal;
16 
17 	equal = FN(TYPE_PAIR,has_equal_space)(obj1, obj2);
18 	if (equal < 0)
19 		return isl_stat_error;
20 	if (!equal)
21 		isl_die(FN(TYPE1,get_ctx)(obj1), isl_error_invalid,
22 			"spaces don't match", return isl_stat_error);
23 
24 	return isl_stat_ok;
25 }
26