| 1 | #define xCAT(A,B) A ## B |
|---|
| 2 | #define CAT(A,B) xCAT(A,B) |
|---|
| 3 | #define xFN(TYPE,NAME) TYPE ## _ ## NAME |
|---|
| 4 | #define FN(TYPE,NAME) xFN(TYPE,NAME) |
|---|
| 5 | #define xLIST(EL) EL ## _list |
|---|
| 6 | #define LIST(EL) xLIST(EL) |
|---|
| 7 | |
|---|
| 8 | #undef SET |
|---|
| 9 | #define SET CAT(isl_,SET_BASE) |
|---|
| 10 | #undef EL |
|---|
| 11 | #define EL CAT(isl_,EL_BASE) |
|---|
| 12 | |
|---|
| 13 | /* Check that the conversion from SET to list of EL works as expected, |
|---|
| 14 | * using input described by "str". |
|---|
| 15 | */ |
|---|
| 16 | static isl_stat FN(FN(FN(test_get_list,EL_BASE),from),SET_BASE)(isl_ctx *ctx, |
|---|
| 17 | const char *str) |
|---|
| 18 | { |
|---|
| 19 | int i; |
|---|
| 20 | isl_size n; |
|---|
| 21 | isl_bool equal; |
|---|
| 22 | SET *set, *set2; |
|---|
| 23 | LIST(EL) *list; |
|---|
| 24 | |
|---|
| 25 | set = FN(SET,read_from_str)(ctx, str); |
|---|
| 26 | list = FN(FN(SET,get),LIST(EL_BASE))(map: set); |
|---|
| 27 | |
|---|
| 28 | set2 = FN(SET,empty)(FN(SET,get_space)(map: set)); |
|---|
| 29 | |
|---|
| 30 | n = FN(LIST(EL),size)(list); |
|---|
| 31 | for (i = 0; i < n; i++) { |
|---|
| 32 | EL *el; |
|---|
| 33 | el = FN(LIST(EL),get_at)(list, index: i); |
|---|
| 34 | set2 = FN(SET,union)(map1: set2, FN(FN(SET,from),EL_BASE)(bmap: el)); |
|---|
| 35 | } |
|---|
| 36 | |
|---|
| 37 | equal = FN(SET,is_equal)(map1: set, map2: set2); |
|---|
| 38 | |
|---|
| 39 | FN(SET,free)(map: set); |
|---|
| 40 | FN(SET,free)(map: set2); |
|---|
| 41 | FN(LIST(EL),free)(list); |
|---|
| 42 | |
|---|
| 43 | if (n < 0 || equal < 0) |
|---|
| 44 | return isl_stat_error; |
|---|
| 45 | |
|---|
| 46 | if (!equal) |
|---|
| 47 | isl_die(ctx, isl_error_unknown, "collections are not equal" , |
|---|
| 48 | return isl_stat_error); |
|---|
| 49 | |
|---|
| 50 | return isl_stat_ok; |
|---|
| 51 | } |
|---|
| 52 | |
|---|
