| 1 | n/a | /* Area: ffi_call, closure_call |
|---|
| 2 | n/a | Purpose: Check structure passing with different structure size. |
|---|
| 3 | n/a | Contains structs as parameter of the struct itself. |
|---|
| 4 | n/a | Sample taken from Alan Modras patch to src/prep_cif.c. |
|---|
| 5 | n/a | Limitations: none. |
|---|
| 6 | n/a | PR: none. |
|---|
| 7 | n/a | Originator: <andreast@gcc.gnu.org> 20051010 */ |
|---|
| 8 | n/a | |
|---|
| 9 | n/a | /* { dg-do run } */ |
|---|
| 10 | n/a | #include "ffitest.h" |
|---|
| 11 | n/a | |
|---|
| 12 | n/a | typedef struct A { |
|---|
| 13 | n/a | unsigned long long a; |
|---|
| 14 | n/a | unsigned char b; |
|---|
| 15 | n/a | } A; |
|---|
| 16 | n/a | |
|---|
| 17 | n/a | typedef struct B { |
|---|
| 18 | n/a | unsigned char y; |
|---|
| 19 | n/a | struct A x; |
|---|
| 20 | n/a | unsigned int z; |
|---|
| 21 | n/a | } B; |
|---|
| 22 | n/a | |
|---|
| 23 | n/a | typedef struct C { |
|---|
| 24 | n/a | unsigned long long d; |
|---|
| 25 | n/a | unsigned char e; |
|---|
| 26 | n/a | } C; |
|---|
| 27 | n/a | |
|---|
| 28 | n/a | static B B_fn(struct A b2, struct B b3, struct C b4) |
|---|
| 29 | n/a | { |
|---|
| 30 | n/a | struct B result; |
|---|
| 31 | n/a | |
|---|
| 32 | n/a | result.x.a = b2.a + b3.x.a + b3.z + b4.d; |
|---|
| 33 | n/a | result.x.b = b2.b + b3.x.b + b3.y + b4.e; |
|---|
| 34 | n/a | result.y = b2.b + b3.x.b + b4.e; |
|---|
| 35 | n/a | |
|---|
| 36 | n/a | printf("%d %d %d %d %d %d %d %d: %d %d %d\n", (int)b2.a, b2.b, |
|---|
| 37 | n/a | (int)b3.x.a, b3.x.b, b3.y, b3.z, (int)b4.d, b4.e, |
|---|
| 38 | n/a | (int)result.x.a, result.x.b, result.y); |
|---|
| 39 | n/a | |
|---|
| 40 | n/a | return result; |
|---|
| 41 | n/a | } |
|---|
| 42 | n/a | |
|---|
| 43 | n/a | static void |
|---|
| 44 | n/a | B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, |
|---|
| 45 | n/a | void* userdata __UNUSED__) |
|---|
| 46 | n/a | { |
|---|
| 47 | n/a | struct A b0; |
|---|
| 48 | n/a | struct B b1; |
|---|
| 49 | n/a | struct C b2; |
|---|
| 50 | n/a | |
|---|
| 51 | n/a | b0 = *(struct A*)(args[0]); |
|---|
| 52 | n/a | b1 = *(struct B*)(args[1]); |
|---|
| 53 | n/a | b2 = *(struct C*)(args[2]); |
|---|
| 54 | n/a | |
|---|
| 55 | n/a | *(B*)resp = B_fn(b0, b1, b2); |
|---|
| 56 | n/a | } |
|---|
| 57 | n/a | |
|---|
| 58 | n/a | int main (void) |
|---|
| 59 | n/a | { |
|---|
| 60 | n/a | ffi_cif cif; |
|---|
| 61 | n/a | void *code; |
|---|
| 62 | n/a | ffi_closure *pcl = ffi_closure_alloc(sizeof(ffi_closure), &code); |
|---|
| 63 | n/a | void* args_dbl[4]; |
|---|
| 64 | n/a | ffi_type* cls_struct_fields[3]; |
|---|
| 65 | n/a | ffi_type* cls_struct_fields1[4]; |
|---|
| 66 | n/a | ffi_type* cls_struct_fields2[3]; |
|---|
| 67 | n/a | ffi_type cls_struct_type, cls_struct_type1, cls_struct_type2; |
|---|
| 68 | n/a | ffi_type* dbl_arg_types[4]; |
|---|
| 69 | n/a | |
|---|
| 70 | n/a | struct A e_dbl = { 1LL, 7}; |
|---|
| 71 | n/a | struct B f_dbl = { 99, {12LL , 127}, 255}; |
|---|
| 72 | n/a | struct C g_dbl = { 2LL, 9}; |
|---|
| 73 | n/a | |
|---|
| 74 | n/a | struct B res_dbl; |
|---|
| 75 | n/a | |
|---|
| 76 | n/a | cls_struct_type.size = 0; |
|---|
| 77 | n/a | cls_struct_type.alignment = 0; |
|---|
| 78 | n/a | cls_struct_type.type = FFI_TYPE_STRUCT; |
|---|
| 79 | n/a | cls_struct_type.elements = cls_struct_fields; |
|---|
| 80 | n/a | |
|---|
| 81 | n/a | cls_struct_type1.size = 0; |
|---|
| 82 | n/a | cls_struct_type1.alignment = 0; |
|---|
| 83 | n/a | cls_struct_type1.type = FFI_TYPE_STRUCT; |
|---|
| 84 | n/a | cls_struct_type1.elements = cls_struct_fields1; |
|---|
| 85 | n/a | |
|---|
| 86 | n/a | cls_struct_type2.size = 0; |
|---|
| 87 | n/a | cls_struct_type2.alignment = 0; |
|---|
| 88 | n/a | cls_struct_type2.type = FFI_TYPE_STRUCT; |
|---|
| 89 | n/a | cls_struct_type2.elements = cls_struct_fields2; |
|---|
| 90 | n/a | |
|---|
| 91 | n/a | cls_struct_fields[0] = &ffi_type_uint64; |
|---|
| 92 | n/a | cls_struct_fields[1] = &ffi_type_uchar; |
|---|
| 93 | n/a | cls_struct_fields[2] = NULL; |
|---|
| 94 | n/a | |
|---|
| 95 | n/a | cls_struct_fields1[0] = &ffi_type_uchar; |
|---|
| 96 | n/a | cls_struct_fields1[1] = &cls_struct_type; |
|---|
| 97 | n/a | cls_struct_fields1[2] = &ffi_type_uint; |
|---|
| 98 | n/a | cls_struct_fields1[3] = NULL; |
|---|
| 99 | n/a | |
|---|
| 100 | n/a | cls_struct_fields2[0] = &ffi_type_uint64; |
|---|
| 101 | n/a | cls_struct_fields2[1] = &ffi_type_uchar; |
|---|
| 102 | n/a | cls_struct_fields2[2] = NULL; |
|---|
| 103 | n/a | |
|---|
| 104 | n/a | |
|---|
| 105 | n/a | dbl_arg_types[0] = &cls_struct_type; |
|---|
| 106 | n/a | dbl_arg_types[1] = &cls_struct_type1; |
|---|
| 107 | n/a | dbl_arg_types[2] = &cls_struct_type2; |
|---|
| 108 | n/a | dbl_arg_types[3] = NULL; |
|---|
| 109 | n/a | |
|---|
| 110 | n/a | CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 3, &cls_struct_type1, |
|---|
| 111 | n/a | dbl_arg_types) == FFI_OK); |
|---|
| 112 | n/a | |
|---|
| 113 | n/a | args_dbl[0] = &e_dbl; |
|---|
| 114 | n/a | args_dbl[1] = &f_dbl; |
|---|
| 115 | n/a | args_dbl[2] = &g_dbl; |
|---|
| 116 | n/a | args_dbl[3] = NULL; |
|---|
| 117 | n/a | |
|---|
| 118 | n/a | ffi_call(&cif, FFI_FN(B_fn), &res_dbl, args_dbl); |
|---|
| 119 | n/a | /* { dg-output "1 7 12 127 99 255 2 9: 270 242 143" } */ |
|---|
| 120 | n/a | CHECK( res_dbl.x.a == (e_dbl.a + f_dbl.x.a + f_dbl.z + g_dbl.d)); |
|---|
| 121 | n/a | CHECK( res_dbl.x.b == (e_dbl.b + f_dbl.x.b + f_dbl.y + g_dbl.e)); |
|---|
| 122 | n/a | CHECK( res_dbl.y == (e_dbl.b + f_dbl.x.b + g_dbl.e)); |
|---|
| 123 | n/a | |
|---|
| 124 | n/a | CHECK(ffi_prep_closure_loc(pcl, &cif, B_gn, NULL, code) == FFI_OK); |
|---|
| 125 | n/a | |
|---|
| 126 | n/a | res_dbl = ((B(*)(A, B, C))(code))(e_dbl, f_dbl, g_dbl); |
|---|
| 127 | n/a | /* { dg-output "\n1 7 12 127 99 255 2 9: 270 242 143" } */ |
|---|
| 128 | n/a | CHECK( res_dbl.x.a == (e_dbl.a + f_dbl.x.a + f_dbl.z + g_dbl.d)); |
|---|
| 129 | n/a | CHECK( res_dbl.x.b == (e_dbl.b + f_dbl.x.b + f_dbl.y + g_dbl.e)); |
|---|
| 130 | n/a | CHECK( res_dbl.y == (e_dbl.b + f_dbl.x.b + g_dbl.e)); |
|---|
| 131 | n/a | |
|---|
| 132 | n/a | exit(0); |
|---|
| 133 | n/a | } |
|---|