Ruby  2.7.1p83(2020-03-31revisiona0c7c23c9cec0d0ffcba012279cd652d28ad5bf3)
va_1.c
Go to the documentation of this file.
1 /* Area: ffi_call
2  Purpose: Test passing struct in variable argument lists.
3  Limitations: none.
4  PR: none.
5  Originator: ARM Ltd. */
6 
7 /* { dg-do run } */
8 /* { dg-output "" { xfail avr32*-*-* } } */
9 
10 #include "ffitest.h"
11 #include <stdarg.h>
12 
13 struct small_tag
14 {
15  unsigned char a;
16  unsigned char b;
17 };
18 
19 struct large_tag
20 {
21  unsigned a;
22  unsigned b;
23  unsigned c;
24  unsigned d;
25  unsigned e;
26 };
27 
28 static int
29 test_fn (int n, ...)
30 {
31  va_list ap;
32  struct small_tag s1;
33  struct small_tag s2;
34  struct large_tag l;
35  unsigned char uc;
36  signed char sc;
37  unsigned short us;
38  signed short ss;
39  unsigned int ui;
40  signed int si;
41  unsigned long ul;
42  signed long sl;
43  float f;
44  double d;
45 
46  va_start (ap, n);
47  s1 = va_arg (ap, struct small_tag);
48  l = va_arg (ap, struct large_tag);
49  s2 = va_arg (ap, struct small_tag);
50 
51  uc = va_arg (ap, unsigned);
52  sc = va_arg (ap, signed);
53 
54  us = va_arg (ap, unsigned);
55  ss = va_arg (ap, signed);
56 
57  ui = va_arg (ap, unsigned int);
58  si = va_arg (ap, signed int);
59 
60  ul = va_arg (ap, unsigned long);
61  sl = va_arg (ap, signed long);
62 
63  f = va_arg (ap, double); /* C standard promotes float->double
64  when anonymous */
65  d = va_arg (ap, double);
66 
67  printf ("%u %u %u %u %u %u %u %u %u uc=%u sc=%d %u %d %u %d %lu %ld %f %f\n",
68  s1.a, s1.b, l.a, l.b, l.c, l.d, l.e,
69  s2.a, s2.b,
70  uc, sc,
71  us, ss,
72  ui, si,
73  ul, sl,
74  f, d);
75  va_end (ap);
76  return n + 1;
77 }
78 
79 int
80 main (void)
81 {
82  ffi_cif cif;
83  void* args[15];
84  ffi_type* arg_types[15];
85 
86  ffi_type s_type;
87  ffi_type *s_type_elements[3];
88 
89  ffi_type l_type;
90  ffi_type *l_type_elements[6];
91 
92  struct small_tag s1;
93  struct small_tag s2;
94  struct large_tag l1;
95 
96  int n;
97  ffi_arg res;
98 
99  unsigned char uc;
100  signed char sc;
101  unsigned short us;
102  signed short ss;
103  unsigned int ui;
104  signed int si;
105  unsigned long ul;
106  signed long sl;
107  double d1;
108  double f1;
109 
110  s_type.size = 0;
111  s_type.alignment = 0;
112  s_type.type = FFI_TYPE_STRUCT;
113  s_type.elements = s_type_elements;
114 
115  s_type_elements[0] = &ffi_type_uchar;
116  s_type_elements[1] = &ffi_type_uchar;
117  s_type_elements[2] = NULL;
118 
119  l_type.size = 0;
120  l_type.alignment = 0;
121  l_type.type = FFI_TYPE_STRUCT;
122  l_type.elements = l_type_elements;
123 
124  l_type_elements[0] = &ffi_type_uint;
125  l_type_elements[1] = &ffi_type_uint;
126  l_type_elements[2] = &ffi_type_uint;
127  l_type_elements[3] = &ffi_type_uint;
128  l_type_elements[4] = &ffi_type_uint;
129  l_type_elements[5] = NULL;
130 
131  arg_types[0] = &ffi_type_sint;
132  arg_types[1] = &s_type;
133  arg_types[2] = &l_type;
134  arg_types[3] = &s_type;
135  arg_types[4] = &ffi_type_uchar;
136  arg_types[5] = &ffi_type_schar;
137  arg_types[6] = &ffi_type_ushort;
138  arg_types[7] = &ffi_type_sshort;
139  arg_types[8] = &ffi_type_uint;
140  arg_types[9] = &ffi_type_sint;
141  arg_types[10] = &ffi_type_ulong;
142  arg_types[11] = &ffi_type_slong;
143  arg_types[12] = &ffi_type_double;
144  arg_types[13] = &ffi_type_double;
145  arg_types[14] = NULL;
146 
147  CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 1, 14, &ffi_type_sint, arg_types) == FFI_OK);
148 
149  s1.a = 5;
150  s1.b = 6;
151 
152  l1.a = 10;
153  l1.b = 11;
154  l1.c = 12;
155  l1.d = 13;
156  l1.e = 14;
157 
158  s2.a = 7;
159  s2.b = 8;
160 
161  n = 41;
162 
163  uc = 9;
164  sc = 10;
165  us = 11;
166  ss = 12;
167  ui = 13;
168  si = 14;
169  ul = 15;
170  sl = 16;
171  f1 = 2.12;
172  d1 = 3.13;
173 
174  args[0] = &n;
175  args[1] = &s1;
176  args[2] = &l1;
177  args[3] = &s2;
178  args[4] = &uc;
179  args[5] = &sc;
180  args[6] = &us;
181  args[7] = &ss;
182  args[8] = &ui;
183  args[9] = &si;
184  args[10] = &ul;
185  args[11] = &sl;
186  args[12] = &f1;
187  args[13] = &d1;
188  args[14] = NULL;
189 
190  ffi_call(&cif, FFI_FN(test_fn), &res, args);
191  /* { dg-output "5 6 10 11 12 13 14 7 8 uc=9 sc=10 11 12 13 14 15 16 2.120000 3.130000" } */
192  printf("res: %d\n", (int) res);
193  /* { dg-output "\nres: 42" } */
194 
195  return 0;
196 }
small_tag
Definition: cls_struct_va1.c:11
large_tag
Definition: cls_struct_va1.c:17
small_tag::b
unsigned char b
Definition: cls_struct_va1.c:14
ffi_arg
unsigned long ffi_arg
Definition: ffitarget.h:30
n
const char size_t n
Definition: rb_mjit_min_header-2.7.1.h:5456
large_tag::b
unsigned b
Definition: cls_struct_va1.c:20
ffi_type_schar
#define ffi_type_schar
Definition: fiddle.h:56
large_tag::c
unsigned c
Definition: cls_struct_va1.c:21
NULL
#define NULL
Definition: _sdbm.c:101
ffitest.h
large_tag::e
unsigned e
Definition: cls_struct_va1.c:23
va_start
#define va_start(v, l)
Definition: rb_mjit_min_header-2.7.1.h:3978
main
int main(void)
Definition: va_1.c:80
s2
const char * s2
Definition: rb_mjit_min_header-2.7.1.h:5454
va_list
__gnuc_va_list va_list
Definition: rb_mjit_min_header-2.7.1.h:836
va_arg
#define va_arg(v, l)
Definition: rb_mjit_min_header-2.7.1.h:3980
CHECK
#define CHECK(sub)
Definition: compile.c:448
FFI_DEFAULT_ABI
@ FFI_DEFAULT_ABI
Definition: ffitarget.h:38
ffi_prep_cif_var
ffi_status ffi_prep_cif_var(ffi_cif *cif, ffi_abi abi, unsigned int nfixedargs, unsigned int ntotalargs, ffi_type *rtype, ffi_type **atypes)
Definition: prep_cif.c:232
f
#define f
small_tag::a
unsigned char a
Definition: cls_struct_va1.c:13
ffi_type_uchar
#define ffi_type_uchar
Definition: fiddle.h:55
large_tag::d
unsigned d
Definition: cls_struct_va1.c:22
printf
int int int printf(const char *__restrict,...) __attribute__((__format__(__printf__
ffi_call
void ffi_call(ffi_cif *cif, void(*fn)(void), void *rvalue, void **avalue)
Definition: ffi.c:813
large_tag::a
unsigned a
Definition: cls_struct_va1.c:19
va_end
#define va_end(v)
Definition: rb_mjit_min_header-2.7.1.h:3979
d1
#define d1