1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
/* Test fxtract instruction. */
#include <stdint.h>
#include <stdio.h>
union u {
struct { uint64_t sig; uint16_t sign_exp; } s;
long double ld;
};
volatile union u ld_pseudo_m16382 = { .s = { UINT64_C(1) << 63, 0 } };
volatile union u ld_invalid_1 = { .s = { 1, 1234 } };
volatile union u ld_invalid_2 = { .s = { 0, 1234 } };
volatile union u ld_invalid_3 = { .s = { 0, 0x7fff } };
volatile union u ld_invalid_4 = { .s = { (UINT64_C(1) << 63) - 1, 0x7fff } };
volatile long double ld_sig, ld_exp;
int isnan_ld(long double x)
{
union u tmp = { .ld = x };
return ((tmp.s.sign_exp & 0x7fff) == 0x7fff &&
(tmp.s.sig >> 63) != 0 &&
(tmp.s.sig << 1) != 0);
}
int issignaling_ld(long double x)
{
union u tmp = { .ld = x };
return isnan_ld(x) && (tmp.s.sig & UINT64_C(0x4000000000000000)) == 0;
}
int main(void)
{
int ret = 0;
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : "0" (2.5L));
if (ld_sig != 1.25L || ld_exp != 1.0L) {
printf("FAIL: fxtract 2.5\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : "0" (0.0L));
if (ld_sig != 0.0L || __builtin_copysignl(1.0L, ld_sig) != 1.0L ||
ld_exp != -__builtin_infl()) {
printf("FAIL: fxtract 0.0\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) : "0" (-0.0L));
if (ld_sig != -0.0L || __builtin_copysignl(1.0L, ld_sig) != -1.0L ||
ld_exp != -__builtin_infl()) {
printf("FAIL: fxtract -0.0\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (__builtin_infl()));
if (ld_sig != __builtin_infl() || ld_exp != __builtin_infl()) {
printf("FAIL: fxtract inf\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (-__builtin_infl()));
if (ld_sig != -__builtin_infl() || ld_exp != __builtin_infl()) {
printf("FAIL: fxtract -inf\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (__builtin_nanl("")));
if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) ||
!isnan_ld(ld_exp) || issignaling_ld(ld_exp)) {
printf("FAIL: fxtract qnan\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (__builtin_nansl("")));
if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) ||
!isnan_ld(ld_exp) || issignaling_ld(ld_exp)) {
printf("FAIL: fxtract snan\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (0x1p-16445L));
if (ld_sig != 1.0L || ld_exp != -16445.0L) {
printf("FAIL: fxtract subnormal\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (ld_pseudo_m16382.ld));
if (ld_sig != 1.0L || ld_exp != -16382.0L) {
printf("FAIL: fxtract pseudo\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (ld_invalid_1.ld));
if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) ||
!isnan_ld(ld_exp) || issignaling_ld(ld_exp)) {
printf("FAIL: fxtract invalid 1\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (ld_invalid_2.ld));
if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) ||
!isnan_ld(ld_exp) || issignaling_ld(ld_exp)) {
printf("FAIL: fxtract invalid 2\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (ld_invalid_3.ld));
if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) ||
!isnan_ld(ld_exp) || issignaling_ld(ld_exp)) {
printf("FAIL: fxtract invalid 3\n");
ret = 1;
}
__asm__ volatile ("fxtract" : "=t" (ld_sig), "=u" (ld_exp) :
"0" (ld_invalid_4.ld));
if (!isnan_ld(ld_sig) || issignaling_ld(ld_sig) ||
!isnan_ld(ld_exp) || issignaling_ld(ld_exp)) {
printf("FAIL: fxtract invalid 4\n");
ret = 1;
}
return ret;
}
|
