isl_tab_basic_map_partial_lexopt: detect modulos and integer divisions
[isl.git] / isl_union_pw_templ.c
blobe226ad72dfd91099bc6ed4682ce08a7148256d5c
1 #define xCAT(A,B) A ## B
2 #define CAT(A,B) xCAT(A,B)
3 #undef EL
4 #define EL CAT(isl_,BASE)
5 #undef PW_BASE
6 #define PW_BASE CAT(pw_,BASE)
7 #undef PW
8 #define PW CAT(isl_,PW_BASE)
9 #undef UNION_BASE
10 #define UNION_BASE CAT(union_,PW_BASE)
11 #undef UNION
12 #define UNION CAT(isl_,UNION_BASE)
13 #define xFN(TYPE,NAME) TYPE ## _ ## NAME
14 #define FN(TYPE,NAME) xFN(TYPE,NAME)
16 /* Create a union piecewise expression
17 * with the given base expression on a universe domain.
19 __isl_give UNION *FN(FN(UNION,from),BASE)(__isl_take EL *el)
21 return FN(FN(UNION,from),PW_BASE)(FN(FN(PW,from),BASE)(el));