libffi/testsuite/libffi.call/nested_struct11.c

   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
  13 typedef struct A {
  14   float a_x;
  15   float a_y;
  16 } A;
  17
  18 typedef struct B {
  19   float b_x;
  20   float b_y;
  21 } B;
  22
  23 typedef struct C {
  24   A a;
  25   B b;
  26 } C;
  27
  28 static 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
  48 int 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 }