Ruby 2.7.0p0(2019-12-25revision647ee6f091eafcce70ffb75ddf7e121e192ab217)

float_va.c
Go to the documentation of this file.
1 /* Area: fp and variadics
2 Purpose: check fp inputs and returns work on variadics, even the fixed params
3 Limitations: None
4 PR: none
5 Originator: <david.gilbert@linaro.org> 2011-01-25
6
7 Intended to stress the difference in ABI on ARM vfp
8 */
9
10 /* { dg-do run } */
11
12 #include <stdarg.h>
13
14 #include "ffitest.h"
15
16 /* prints out all the parameters, and returns the sum of them all.
17 * 'x' is the number of variadic parameters all of which are double in this test
18 */
19 double float_va_fn(unsigned int x, double y,...)
20 {
21 double total=0.0;
22 va_list ap;
23 unsigned int i;
24
25 total+=(double)x;
26 total+=y;
27
28 printf("%u: %.1f :", x, y);
29
30 va_start(ap, y);
31 for(i=0;i<x;i++)
32 {
33 double arg=va_arg(ap, double);
34 total+=arg;
35 printf(" %d:%.1f ", i, arg);
36 }
37 va_end(ap);
38
39 printf(" total: %.1f\n", total);
40
41 return total;
42 }
43
44 int main (void)
45 {
46 ffi_cif cif;
47
48 ffi_type *arg_types[5];
49 void *values[5];
50 double doubles[5];
51 unsigned int firstarg;
52 double resfp;
53
54 /* First test, pass float_va_fn(0,2.0) - note there are no actual
55 * variadic parameters, but it's declared variadic so the ABI may be
56 * different. */
57 /* Call it statically and then via ffi */
58 resfp=float_va_fn(0,2.0);
59 /* { dg-output "0: 2.0 : total: 2.0" } */
60 printf("compiled: %.1f\n", resfp);
61 /* { dg-output "\ncompiled: 2.0" } */
62
63 arg_types[0] = &ffi_type_uint;
64 arg_types[1] = &ffi_type_double;
65 arg_types[2] = NULL;
66 CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 2, 2,
67 &ffi_type_double, arg_types) == FFI_OK);
68
69 firstarg = 0;
70 doubles[0] = 2.0;
71 values[0] = &firstarg;
72 values[1] = &doubles[0];
73 ffi_call(&cif, FFI_FN(float_va_fn), &resfp, values);
74 /* { dg-output "\n0: 2.0 : total: 2.0" } */
75 printf("ffi: %.1f\n", resfp);
76 /* { dg-output "\nffi: 2.0" } */
77
78 /* Second test, float_va_fn(2,2.0,3.0,4.0), now with variadic params */
79 /* Call it statically and then via ffi */
80 resfp=float_va_fn(2,2.0,3.0,4.0);
81 /* { dg-output "\n2: 2.0 : 0:3.0 1:4.0 total: 11.0" } */
82 printf("compiled: %.1f\n", resfp);
83 /* { dg-output "\ncompiled: 11.0" } */
84
85 arg_types[0] = &ffi_type_uint;
86 arg_types[1] = &ffi_type_double;
87 arg_types[2] = &ffi_type_double;
88 arg_types[3] = &ffi_type_double;
89 arg_types[4] = NULL;
90 CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 2, 4,
91 &ffi_type_double, arg_types) == FFI_OK);
92
93 firstarg = 2;
94 doubles[0] = 2.0;
95 doubles[1] = 3.0;
96 doubles[2] = 4.0;
97 values[0] = &firstarg;
98 values[1] = &doubles[0];
99 values[2] = &doubles[1];
100 values[3] = &doubles[2];
101 ffi_call(&cif, FFI_FN(float_va_fn), &resfp, values);
102 /* { dg-output "\n2: 2.0 : 0:3.0 1:4.0 total: 11.0" } */
103 printf("ffi: %.1f\n", resfp);
104 /* { dg-output "\nffi: 11.0" } */
105
106 exit(0);
107 }
va_arg
#define va_arg(v, l)
Definition: rb_mjit_min_header-2.7.0.h:3980
main
int main(void)
Definition: float_va.c:44
printf
int int int printf(const char *__restrict,...) __attribute__((__format__(__printf__
NULL
#define NULL
Definition: _sdbm.c:101
exit
void exit(int __status) __attribute__((__noreturn__))
ffitest.h
double
double
Definition: rb_mjit_min_header-2.7.0.h:5923
i
uint32_t i
Definition: rb_mjit_min_header-2.7.0.h:5464
va_end
#define va_end(v)
Definition: rb_mjit_min_header-2.7.0.h:3979
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
arg
VALUE arg
Definition: rb_mjit_min_header-2.7.0.h:5601
float_va_fn
double float_va_fn(unsigned int x, double y,...)
Definition: float_va.c:19
ffi_call
void ffi_call(ffi_cif *cif, void(*fn)(void), void *rvalue, void **avalue)
Definition: ffi.c:813
va_start
#define va_start(v, l)
Definition: rb_mjit_min_header-2.7.0.h:3978
va_list
__gnuc_va_list va_list
Definition: rb_mjit_min_header-2.7.0.h:836