isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / isl_align_params_templ.c
blobf56df49566461f414877383fb2e850e3f968851b
1 /*
2 * Copyright 2011 Sven Verdoolaege
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege
7 */
9 #define xFN(TYPE,NAME) TYPE ## _ ## NAME
10 #define FN(TYPE,NAME) xFN(TYPE,NAME)
12 /* Align the parameters of the two arguments of type ARG1 and ARG2
13 * (if needed).
15 isl_stat FN(FN(ARG1,align_params),SUFFIX)(__isl_keep ARG1 **obj1,
16 __isl_keep ARG2 **obj2)
18 isl_space *space1, *space2;
19 isl_bool equal_params;
21 space1 = FN(ARG1,peek_space)(*obj1);
22 space2 = FN(ARG2,peek_space)(*obj2);
23 equal_params = isl_space_has_equal_params(space1, space2);
24 if (equal_params < 0)
25 goto error;
26 if (equal_params)
27 return isl_stat_ok;
28 if (FN(ARG1,check_named_params)(*obj1) < 0 ||
29 FN(ARG2,check_named_params)(*obj2) < 0)
30 goto error;
31 *obj1 = FN(ARG1,align_params)(*obj1, FN(ARG2,get_space)(*obj2));
32 *obj2 = FN(ARG2,align_params)(*obj2, FN(ARG1,get_space)(*obj1));
33 if (!*obj1 || !*obj2)
34 goto error;
35 return isl_stat_ok;
36 error:
37 *obj1 = FN(ARG1,free)(*obj1);
38 *obj2 = FN(ARG2,free)(*obj2);
39 return isl_stat_error;