1
2
3#include <stdint.h>
4#include <stdio.h>
5
6union u {
7 struct { uint64_t sig; uint16_t sign_exp; } s;
8 long double ld;
9};
10
11volatile union u ld_pseudo_m16382 = { .s = { UINT64_C(1) << 63, 0 } };
12volatile union u ld_pseudo_nm16382 = { .s = { UINT64_C(1) << 63, 0x8000 } };
13volatile union u ld_invalid_1 = { .s = { 1, 1234 } };
14volatile union u ld_invalid_2 = { .s = { 0, 1234 } };
15volatile union u ld_invalid_3 = { .s = { 0, 0x7fff } };
16volatile union u ld_invalid_4 = { .s = { (UINT64_C(1) << 63) - 1, 0x7fff } };
17volatile union u ld_invalid_n1 = { .s = { 1, 0x8123 } };
18volatile union u ld_invalid_n2 = { .s = { 0, 0x8123 } };
19volatile union u ld_invalid_n3 = { .s = { 0, 0xffff } };
20volatile union u ld_invalid_n4 = { .s = { (UINT64_C(1) << 63) - 1, 0xffff } };
21
22#define C0 (1 << 8)
23#define C1 (1 << 9)
24#define C2 (1 << 10)
25#define C3 (1 << 14)
26#define FLAGS (C0 | C1 | C2 | C3)
27
28int main(void)
29{
30 short sw;
31 int ret = 0;
32 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (0.0L));
33 if ((sw & FLAGS) != C3) {
34 printf("FAIL: +0\n");
35 ret = 1;
36 }
37 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-0.0L));
38 if ((sw & FLAGS) != (C3 | C1)) {
39 printf("FAIL: -0\n");
40 ret = 1;
41 }
42 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (1.0L));
43 if ((sw & FLAGS) != C2) {
44 printf("FAIL: +normal\n");
45 ret = 1;
46 }
47 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-1.0L));
48 if ((sw & FLAGS) != (C2 | C1)) {
49 printf("FAIL: -normal\n");
50 ret = 1;
51 }
52 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (__builtin_infl()));
53 if ((sw & FLAGS) != (C2 | C0)) {
54 printf("FAIL: +inf\n");
55 ret = 1;
56 }
57 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-__builtin_infl()));
58 if ((sw & FLAGS) != (C2 | C1 | C0)) {
59 printf("FAIL: -inf\n");
60 ret = 1;
61 }
62 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (__builtin_nanl("")));
63 if ((sw & FLAGS) != C0) {
64 printf("FAIL: +nan\n");
65 ret = 1;
66 }
67 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-__builtin_nanl("")));
68 if ((sw & FLAGS) != (C1 | C0)) {
69 printf("FAIL: -nan\n");
70 ret = 1;
71 }
72 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (__builtin_nansl("")));
73 if ((sw & FLAGS) != C0) {
74 printf("FAIL: +snan\n");
75 ret = 1;
76 }
77 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-__builtin_nansl("")));
78 if ((sw & FLAGS) != (C1 | C0)) {
79 printf("FAIL: -snan\n");
80 ret = 1;
81 }
82 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (0x1p-16445L));
83 if ((sw & FLAGS) != (C3 | C2)) {
84 printf("FAIL: +denormal\n");
85 ret = 1;
86 }
87 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (-0x1p-16445L));
88 if ((sw & FLAGS) != (C3 | C2 | C1)) {
89 printf("FAIL: -denormal\n");
90 ret = 1;
91 }
92 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_pseudo_m16382.ld));
93 if ((sw & FLAGS) != (C3 | C2)) {
94 printf("FAIL: +pseudo-denormal\n");
95 ret = 1;
96 }
97 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_pseudo_nm16382.ld));
98 if ((sw & FLAGS) != (C3 | C2 | C1)) {
99 printf("FAIL: -pseudo-denormal\n");
100 ret = 1;
101 }
102 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_1.ld));
103 if ((sw & FLAGS) != 0) {
104 printf("FAIL: +invalid 1\n");
105 ret = 1;
106 }
107 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_n1.ld));
108 if ((sw & FLAGS) != C1) {
109 printf("FAIL: -invalid 1\n");
110 ret = 1;
111 }
112 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_2.ld));
113 if ((sw & FLAGS) != 0) {
114 printf("FAIL: +invalid 2\n");
115 ret = 1;
116 }
117 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_n2.ld));
118 if ((sw & FLAGS) != C1) {
119 printf("FAIL: -invalid 2\n");
120 ret = 1;
121 }
122 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_3.ld));
123 if ((sw & FLAGS) != 0) {
124 printf("FAIL: +invalid 3\n");
125 ret = 1;
126 }
127 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_n3.ld));
128 if ((sw & FLAGS) != C1) {
129 printf("FAIL: -invalid 3\n");
130 ret = 1;
131 }
132 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_4.ld));
133 if ((sw & FLAGS) != 0) {
134 printf("FAIL: +invalid 4\n");
135 ret = 1;
136 }
137 __asm__ volatile ("fxam\nfnstsw" : "=a" (sw) : "t" (ld_invalid_n4.ld));
138 if ((sw & FLAGS) != C1) {
139 printf("FAIL: -invalid 4\n");
140 ret = 1;
141 }
142 return ret;
143}
144
