1*1fd5a2e1SPrashanth Swaminathan /* Area: ffi_call
2*1fd5a2e1SPrashanth Swaminathan Purpose: Check denorm double value.
3*1fd5a2e1SPrashanth Swaminathan Limitations: none.
4*1fd5a2e1SPrashanth Swaminathan PR: PR26483.
5*1fd5a2e1SPrashanth Swaminathan Originator: From the original ffitest.c */
6*1fd5a2e1SPrashanth Swaminathan
7*1fd5a2e1SPrashanth Swaminathan /* { dg-do run } */
8*1fd5a2e1SPrashanth Swaminathan /* { dg-options "-mieee" { target alpha*-*-* } } */
9*1fd5a2e1SPrashanth Swaminathan
10*1fd5a2e1SPrashanth Swaminathan #include "ffitest.h"
11*1fd5a2e1SPrashanth Swaminathan #include "float.h"
12*1fd5a2e1SPrashanth Swaminathan
13*1fd5a2e1SPrashanth Swaminathan typedef union
14*1fd5a2e1SPrashanth Swaminathan {
15*1fd5a2e1SPrashanth Swaminathan double d;
16*1fd5a2e1SPrashanth Swaminathan unsigned char c[sizeof (double)];
17*1fd5a2e1SPrashanth Swaminathan } value_type;
18*1fd5a2e1SPrashanth Swaminathan
19*1fd5a2e1SPrashanth Swaminathan #define CANARY 0xba
20*1fd5a2e1SPrashanth Swaminathan
dblit(double d)21*1fd5a2e1SPrashanth Swaminathan static double dblit(double d)
22*1fd5a2e1SPrashanth Swaminathan {
23*1fd5a2e1SPrashanth Swaminathan return d;
24*1fd5a2e1SPrashanth Swaminathan }
25*1fd5a2e1SPrashanth Swaminathan
main(void)26*1fd5a2e1SPrashanth Swaminathan int main (void)
27*1fd5a2e1SPrashanth Swaminathan {
28*1fd5a2e1SPrashanth Swaminathan ffi_cif cif;
29*1fd5a2e1SPrashanth Swaminathan ffi_type *args[MAX_ARGS];
30*1fd5a2e1SPrashanth Swaminathan void *values[MAX_ARGS];
31*1fd5a2e1SPrashanth Swaminathan double d;
32*1fd5a2e1SPrashanth Swaminathan value_type result[2];
33*1fd5a2e1SPrashanth Swaminathan unsigned int i;
34*1fd5a2e1SPrashanth Swaminathan
35*1fd5a2e1SPrashanth Swaminathan args[0] = &ffi_type_double;
36*1fd5a2e1SPrashanth Swaminathan values[0] = &d;
37*1fd5a2e1SPrashanth Swaminathan
38*1fd5a2e1SPrashanth Swaminathan /* Initialize the cif */
39*1fd5a2e1SPrashanth Swaminathan CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
40*1fd5a2e1SPrashanth Swaminathan &ffi_type_double, args) == FFI_OK);
41*1fd5a2e1SPrashanth Swaminathan
42*1fd5a2e1SPrashanth Swaminathan d = DBL_MIN / 2;
43*1fd5a2e1SPrashanth Swaminathan
44*1fd5a2e1SPrashanth Swaminathan /* Put a canary in the return array. This is a regression test for
45*1fd5a2e1SPrashanth Swaminathan a buffer overrun. */
46*1fd5a2e1SPrashanth Swaminathan memset(result[1].c, CANARY, sizeof (double));
47*1fd5a2e1SPrashanth Swaminathan
48*1fd5a2e1SPrashanth Swaminathan ffi_call(&cif, FFI_FN(dblit), &result[0].d, values);
49*1fd5a2e1SPrashanth Swaminathan
50*1fd5a2e1SPrashanth Swaminathan /* The standard delta check doesn't work for denorms. Since we didn't do
51*1fd5a2e1SPrashanth Swaminathan any arithmetic, we should get the original result back, and hence an
52*1fd5a2e1SPrashanth Swaminathan exact check should be OK here. */
53*1fd5a2e1SPrashanth Swaminathan
54*1fd5a2e1SPrashanth Swaminathan CHECK(result[0].d == dblit(d));
55*1fd5a2e1SPrashanth Swaminathan
56*1fd5a2e1SPrashanth Swaminathan /* Check the canary. */
57*1fd5a2e1SPrashanth Swaminathan for (i = 0; i < sizeof (double); ++i)
58*1fd5a2e1SPrashanth Swaminathan CHECK(result[1].c[i] == CANARY);
59*1fd5a2e1SPrashanth Swaminathan
60*1fd5a2e1SPrashanth Swaminathan exit(0);
61*1fd5a2e1SPrashanth Swaminathan
62*1fd5a2e1SPrashanth Swaminathan }
63