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