lin
2025-07-30 fcd736bf35fd93b563e9bbf594f2aa7b62028cc9
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
/* Area:        ffi_call
   Purpose:        Test passing struct in variable argument lists.
   Limitations:    none.
   PR:            none.
   Originator:    ARM Ltd. */
 
/* { dg-do run } */
/* { dg-output "" { xfail avr32*-*-* } } */
 
#include "ffitest.h"
#include <stdarg.h>
 
struct small_tag
{
  unsigned char a;
  unsigned char b;
};
 
struct large_tag
{
  unsigned a;
  unsigned b;
  unsigned c;
  unsigned d;
  unsigned e;
};
 
static struct large_tag
test_fn (int n, ...)
{
  va_list ap;
  struct small_tag s1;
  struct small_tag s2;
  struct large_tag l;
 
  va_start (ap, n);
  s1 = va_arg (ap, struct small_tag);
  l = va_arg (ap, struct large_tag);
  s2 = va_arg (ap, struct small_tag);
  printf ("%u %u %u %u %u %u %u %u %u\n", s1.a, s1.b, l.a, l.b, l.c, l.d, l.e,
     s2.a, s2.b);
  va_end (ap);
  l.a += s1.a;
  l.b += s1.b;
  l.c += s2.a;
  l.d += s2.b;
  return l;
}
 
int
main (void)
{
  ffi_cif cif;
  void* args[5];
  ffi_type* arg_types[5];
 
  ffi_type s_type;
  ffi_type *s_type_elements[3];
 
  ffi_type l_type;
  ffi_type *l_type_elements[6];
 
  struct small_tag s1;
  struct small_tag s2;
  struct large_tag l1;
 
  int n;
  struct large_tag res;
 
  s_type.size = 0;
  s_type.alignment = 0;
  s_type.type = FFI_TYPE_STRUCT;
  s_type.elements = s_type_elements;
 
  s_type_elements[0] = &ffi_type_uchar;
  s_type_elements[1] = &ffi_type_uchar;
  s_type_elements[2] = NULL;
 
  l_type.size = 0;
  l_type.alignment = 0;
  l_type.type = FFI_TYPE_STRUCT;
  l_type.elements = l_type_elements;
 
  l_type_elements[0] = &ffi_type_uint;
  l_type_elements[1] = &ffi_type_uint;
  l_type_elements[2] = &ffi_type_uint;
  l_type_elements[3] = &ffi_type_uint;
  l_type_elements[4] = &ffi_type_uint;
  l_type_elements[5] = NULL;
 
  arg_types[0] = &ffi_type_sint;
  arg_types[1] = &s_type;
  arg_types[2] = &l_type;
  arg_types[3] = &s_type;
  arg_types[4] = NULL;
 
  CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 1, 4, &l_type, arg_types) == FFI_OK);
 
  s1.a = 5;
  s1.b = 6;
 
  l1.a = 10;
  l1.b = 11;
  l1.c = 12;
  l1.d = 13;
  l1.e = 14;
 
  s2.a = 7;
  s2.b = 8;
 
  n = 41;
 
  args[0] = &n;
  args[1] = &s1;
  args[2] = &l1;
  args[3] = &s2;
  args[4] = NULL;
 
  ffi_call(&cif, FFI_FN(test_fn), &res, args);
  /* { dg-output "5 6 10 11 12 13 14 7 8" } */
  printf("res: %d %d %d %d %d\n", res.a, res.b, res.c, res.d, res.e);
  /* { dg-output "\nres: 15 17 19 21 14" } */
 
  return 0;
}