1 | n/a | /* Area: ffi_call, closure_call |
---|
2 | n/a | Purpose: Check parameter passing with nested structs |
---|
3 | n/a | of a single type. This tests the special cases |
---|
4 | n/a | for homogeneous floating-point aggregates in the |
---|
5 | n/a | AArch64 PCS. |
---|
6 | n/a | Limitations: none. |
---|
7 | n/a | PR: none. |
---|
8 | n/a | Originator: ARM Ltd. */ |
---|
9 | n/a | |
---|
10 | n/a | /* { dg-do run } */ |
---|
11 | n/a | #include "ffitest.h" |
---|
12 | n/a | |
---|
13 | n/a | typedef struct A { |
---|
14 | n/a | float a_x; |
---|
15 | n/a | float a_y; |
---|
16 | n/a | } A; |
---|
17 | n/a | |
---|
18 | n/a | typedef struct B { |
---|
19 | n/a | float b_x; |
---|
20 | n/a | float b_y; |
---|
21 | n/a | } B; |
---|
22 | n/a | |
---|
23 | n/a | typedef struct C { |
---|
24 | n/a | A a; |
---|
25 | n/a | B b; |
---|
26 | n/a | } C; |
---|
27 | n/a | |
---|
28 | n/a | static C C_fn (int x, int y, int z, C source, int i, int j, int k) |
---|
29 | n/a | { |
---|
30 | n/a | C result; |
---|
31 | n/a | result.a.a_x = source.a.a_x; |
---|
32 | n/a | result.a.a_y = source.a.a_y; |
---|
33 | n/a | result.b.b_x = source.b.b_x; |
---|
34 | n/a | result.b.b_y = source.b.b_y; |
---|
35 | n/a | |
---|
36 | n/a | printf ("%d, %d, %d, %d, %d, %d\n", x, y, z, i, j, k); |
---|
37 | n/a | |
---|
38 | n/a | printf ("%.1f, %.1f, %.1f, %.1f, " |
---|
39 | n/a | "%.1f, %.1f, %.1f, %.1f\n", |
---|
40 | n/a | source.a.a_x, source.a.a_y, |
---|
41 | n/a | source.b.b_x, source.b.b_y, |
---|
42 | n/a | result.a.a_x, result.a.a_y, |
---|
43 | n/a | result.b.b_x, result.b.b_y); |
---|
44 | n/a | |
---|
45 | n/a | return result; |
---|
46 | n/a | } |
---|
47 | n/a | |
---|
48 | n/a | int main (void) |
---|
49 | n/a | { |
---|
50 | n/a | ffi_cif cif; |
---|
51 | n/a | |
---|
52 | n/a | ffi_type* struct_fields_source_a[3]; |
---|
53 | n/a | ffi_type* struct_fields_source_b[3]; |
---|
54 | n/a | ffi_type* struct_fields_source_c[3]; |
---|
55 | n/a | ffi_type* arg_types[8]; |
---|
56 | n/a | |
---|
57 | n/a | ffi_type struct_type_a, struct_type_b, struct_type_c; |
---|
58 | n/a | |
---|
59 | n/a | struct A source_fld_a = {1.0, 2.0}; |
---|
60 | n/a | struct B source_fld_b = {4.0, 8.0}; |
---|
61 | n/a | int k = 1; |
---|
62 | n/a | |
---|
63 | n/a | struct C result; |
---|
64 | n/a | struct C source = {source_fld_a, source_fld_b}; |
---|
65 | n/a | |
---|
66 | n/a | struct_type_a.size = 0; |
---|
67 | n/a | struct_type_a.alignment = 0; |
---|
68 | n/a | struct_type_a.type = FFI_TYPE_STRUCT; |
---|
69 | n/a | struct_type_a.elements = struct_fields_source_a; |
---|
70 | n/a | |
---|
71 | n/a | struct_type_b.size = 0; |
---|
72 | n/a | struct_type_b.alignment = 0; |
---|
73 | n/a | struct_type_b.type = FFI_TYPE_STRUCT; |
---|
74 | n/a | struct_type_b.elements = struct_fields_source_b; |
---|
75 | n/a | |
---|
76 | n/a | struct_type_c.size = 0; |
---|
77 | n/a | struct_type_c.alignment = 0; |
---|
78 | n/a | struct_type_c.type = FFI_TYPE_STRUCT; |
---|
79 | n/a | struct_type_c.elements = struct_fields_source_c; |
---|
80 | n/a | |
---|
81 | n/a | struct_fields_source_a[0] = &ffi_type_float; |
---|
82 | n/a | struct_fields_source_a[1] = &ffi_type_float; |
---|
83 | n/a | struct_fields_source_a[2] = NULL; |
---|
84 | n/a | |
---|
85 | n/a | struct_fields_source_b[0] = &ffi_type_float; |
---|
86 | n/a | struct_fields_source_b[1] = &ffi_type_float; |
---|
87 | n/a | struct_fields_source_b[2] = NULL; |
---|
88 | n/a | |
---|
89 | n/a | struct_fields_source_c[0] = &struct_type_a; |
---|
90 | n/a | struct_fields_source_c[1] = &struct_type_b; |
---|
91 | n/a | struct_fields_source_c[2] = NULL; |
---|
92 | n/a | |
---|
93 | n/a | arg_types[0] = &ffi_type_sint32; |
---|
94 | n/a | arg_types[1] = &ffi_type_sint32; |
---|
95 | n/a | arg_types[2] = &ffi_type_sint32; |
---|
96 | n/a | arg_types[3] = &struct_type_c; |
---|
97 | n/a | arg_types[4] = &ffi_type_sint32; |
---|
98 | n/a | arg_types[5] = &ffi_type_sint32; |
---|
99 | n/a | arg_types[6] = &ffi_type_sint32; |
---|
100 | n/a | arg_types[7] = NULL; |
---|
101 | n/a | |
---|
102 | n/a | void *args[7]; |
---|
103 | n/a | args[0] = &k; |
---|
104 | n/a | args[1] = &k; |
---|
105 | n/a | args[2] = &k; |
---|
106 | n/a | args[3] = &source; |
---|
107 | n/a | args[4] = &k; |
---|
108 | n/a | args[5] = &k; |
---|
109 | n/a | args[6] = &k; |
---|
110 | n/a | CHECK (ffi_prep_cif (&cif, FFI_DEFAULT_ABI, 7, &struct_type_c, |
---|
111 | n/a | arg_types) == FFI_OK); |
---|
112 | n/a | |
---|
113 | n/a | ffi_call (&cif, FFI_FN (C_fn), &result, args); |
---|
114 | n/a | /* { dg-output "1, 1, 1, 1, 1, 1\n" } */ |
---|
115 | n/a | /* { dg-output "1.0, 2.0, 4.0, 8.0, 1.0, 2.0, 4.0, 8.0" } */ |
---|
116 | n/a | CHECK (result.a.a_x == source.a.a_x); |
---|
117 | n/a | CHECK (result.a.a_y == source.a.a_y); |
---|
118 | n/a | CHECK (result.b.b_x == source.b.b_x); |
---|
119 | n/a | CHECK (result.b.b_y == source.b.b_y); |
---|
120 | n/a | exit (0); |
---|
121 | n/a | } |
---|