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