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
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
|
/* Test x86-specific floating-point environment (bug 16068): x87 part.
Copyright (C) 2015-2019 Free Software Foundation, Inc.
This file is part of the GNU C Library.
The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
The GNU C Library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with the GNU C Library; if not, see
<http://www.gnu.org/licenses/>. */
#include <fenv.h>
#include <float.h>
#include <fpu_control.h>
#include <stdint.h>
#include <stdio.h>
static uint16_t
get_x87_cw (void)
{
fpu_control_t cw;
_FPU_GETCW (cw);
return cw;
}
static void
set_x87_cw (uint16_t val)
{
fpu_control_t cw = val;
_FPU_SETCW (cw);
}
static void
set_x87_cw_bits (uint16_t mask, uint16_t bits)
{
uint16_t cw = get_x87_cw ();
cw = (cw & ~mask) | bits;
set_x87_cw (cw);
}
static int
test_x87_cw_bits (const char *test, uint16_t mask, uint16_t bits)
{
uint16_t cw = get_x87_cw ();
printf ("Testing %s: cw = %x\n", test, cw);
if ((cw & mask) == bits)
{
printf ("PASS: %s\n", test);
return 0;
}
else
{
printf ("FAIL: %s\n", test);
return 1;
}
}
static uint16_t
get_x87_sw (void)
{
uint16_t temp;
__asm__ __volatile__ ("fnstsw %0" : "=a" (temp));
return temp;
}
static void
set_x87_sw_bits (uint16_t mask, uint16_t bits)
{
fenv_t temp;
__asm__ __volatile__ ("fnstenv %0" : "=m" (temp));
temp.__status_word = (temp.__status_word & ~mask) | bits;
__asm__ __volatile__ ("fldenv %0" : : "m" (temp));
}
static int
test_x87_sw_bits (const char *test, uint16_t mask, uint16_t bits)
{
uint16_t sw = get_x87_sw ();
printf ("Testing %s: sw = %x\n", test, sw);
if ((sw & mask) == bits)
{
printf ("PASS: %s\n", test);
return 0;
}
else
{
printf ("FAIL: %s\n", test);
return 1;
}
}
#define X87_CW_PREC_MASK _FPU_EXTENDED
static int
do_test (void)
{
int result = 0;
fenv_t env1, env2;
/* Test precision mask. */
fegetenv (&env1);
set_x87_cw_bits (X87_CW_PREC_MASK, _FPU_SINGLE);
fegetenv (&env2);
fesetenv (&env1);
result |= test_x87_cw_bits ("fesetenv precision restoration",
X87_CW_PREC_MASK, _FPU_EXTENDED);
set_x87_cw_bits (X87_CW_PREC_MASK, _FPU_EXTENDED);
fesetenv (&env2);
result |= test_x87_cw_bits ("fesetenv precision restoration 2",
X87_CW_PREC_MASK, _FPU_SINGLE);
set_x87_cw_bits (X87_CW_PREC_MASK, _FPU_DOUBLE);
fesetenv (FE_NOMASK_ENV);
result |= test_x87_cw_bits ("fesetenv (FE_NOMASK_ENV) precision restoration",
X87_CW_PREC_MASK, _FPU_EXTENDED);
set_x87_cw_bits (X87_CW_PREC_MASK, _FPU_SINGLE);
fesetenv (FE_DFL_ENV);
result |= test_x87_cw_bits ("fesetenv (FE_DFL_ENV) precision restoration",
X87_CW_PREC_MASK, _FPU_EXTENDED);
/* Test x87 denormal operand masking. */
set_x87_cw_bits (_FPU_MASK_DM, 0);
fegetenv (&env2);
fesetenv (&env1);
result |= test_x87_cw_bits ("fesetenv denormal mask restoration",
_FPU_MASK_DM, _FPU_MASK_DM);
set_x87_cw_bits (_FPU_MASK_DM, _FPU_MASK_DM);
fesetenv (&env2);
result |= test_x87_cw_bits ("fesetenv denormal mask restoration 2",
_FPU_MASK_DM, 0);
set_x87_cw_bits (_FPU_MASK_DM, 0);
/* Presume FE_NOMASK_ENV should leave the "denormal operand"
exception masked, as not a standard exception. */
fesetenv (FE_NOMASK_ENV);
result |= test_x87_cw_bits ("fesetenv (FE_NOMASK_ENV) denormal mask "
"restoration",
_FPU_MASK_DM, _FPU_MASK_DM);
set_x87_cw_bits (_FPU_MASK_DM, 0);
fesetenv (FE_DFL_ENV);
result |= test_x87_cw_bits ("fesetenv (FE_DFL_ENV) denormal mask "
"restoration",
_FPU_MASK_DM, _FPU_MASK_DM);
/* Test x87 denormal operand exception. */
set_x87_sw_bits (__FE_DENORM, __FE_DENORM);
fegetenv (&env2);
fesetenv (&env1);
result |= test_x87_sw_bits ("fesetenv denormal exception restoration",
__FE_DENORM, 0);
set_x87_sw_bits (__FE_DENORM, 0);
fesetenv (&env2);
result |= test_x87_sw_bits ("fesetenv denormal exception restoration 2",
__FE_DENORM, __FE_DENORM);
set_x87_sw_bits (__FE_DENORM, __FE_DENORM);
fesetenv (FE_NOMASK_ENV);
result |= test_x87_sw_bits ("fesetenv (FE_NOMASK_ENV) exception restoration",
__FE_DENORM, 0);
set_x87_sw_bits (__FE_DENORM, __FE_DENORM);
fesetenv (FE_DFL_ENV);
result |= test_x87_sw_bits ("fesetenv (FE_DFL_ENV) exception restoration",
__FE_DENORM, 0);
return result;
}
#define TEST_FUNCTION do_test ()
#include <test-skeleton.c>
|