1 // SPDX-License-Identifier: GPL-2.0
11 #include <sys/types.h>
12 #include <sys/select.h>
28 /* sNaN is s|111 1111 1|1xx xxxx xxxx xxxx xxxx xxxx */
29 /* qNaN is s|111 1111 1|0xx xxxx xxxx xxxx xxxx xxxx (some x must be nonzero) */
30 int snan = 0x7fc11111;
31 int qnan = 0x7f811111;
32 unsigned short snan1[5];
33 /* sNaN80 is s|111 1111 1111 1111 |10xx xx...xx (some x must be nonzero) */
34 unsigned short snan80[5] = { 0x1111, 0x1111, 0x1111, 0x8111, 0x7fff };
38 feclearexcept(FE_DIVBYZERO|FE_INEXACT|FE_INVALID|FE_OVERFLOW|FE_UNDERFLOW);
46 " fcomi %%st(1), %%st" "\n"
50 " pop res_fcomi_1_pi""\n"
56 " fcomi %%st(1), %%st" "\n"
60 " pop res_fcomi_pi_1""\n"
66 " fcomi %%st(1), %%st" "\n"
70 " pop res_fcomi_1_1""\n"
74 if ((res_fcomi_1_pi & ARITH) != (0)) {
75 printf("[BAD]\tfcomi_1_pi with flags:%lx\n", flags);
78 if ((res_fcomi_pi_1 & ARITH) != (CF)) {
79 printf("[BAD]\tfcomi_pi_1 with flags:%lx->%lx\n", flags, res_fcomi_pi_1 & ARITH);
82 if ((res_fcomi_1_1 & ARITH) != (ZF)) {
83 printf("[BAD]\tfcomi_1_1 with flags:%lx\n", flags);
86 if (fetestexcept(FE_INVALID) != 0) {
87 printf("[BAD]\tFE_INVALID is set in %s\n", __func__);
93 int test_qnan(long flags)
95 feclearexcept(FE_DIVBYZERO|FE_INEXACT|FE_INVALID|FE_OVERFLOW|FE_UNDERFLOW);
102 " fnclex""\n" // fld of a qnan raised FE_INVALID, clear it
103 " fcomi %%st(1), %%st" "\n"
104 " ffree %%st(0)" "\n"
105 " ffree %%st(1)" "\n"
107 " pop res_fcomi_nan_1""\n"
111 if ((res_fcomi_nan_1 & ARITH) != (ZF|CF|PF)) {
112 printf("[BAD]\tfcomi_qnan_1 with flags:%lx\n", flags);
115 if (fetestexcept(FE_INVALID) != FE_INVALID) {
116 printf("[BAD]\tFE_INVALID is not set in %s\n", __func__);
122 int testu_qnan(long flags)
124 feclearexcept(FE_DIVBYZERO|FE_INEXACT|FE_INVALID|FE_OVERFLOW|FE_UNDERFLOW);
131 " fnclex""\n" // fld of a qnan raised FE_INVALID, clear it
132 " fucomi %%st(1), %%st" "\n"
133 " ffree %%st(0)" "\n"
134 " ffree %%st(1)" "\n"
136 " pop res_fcomi_nan_1""\n"
140 if ((res_fcomi_nan_1 & ARITH) != (ZF|CF|PF)) {
141 printf("[BAD]\tfcomi_qnan_1 with flags:%lx\n", flags);
144 if (fetestexcept(FE_INVALID) != 0) {
145 printf("[BAD]\tFE_INVALID is set in %s\n", __func__);
151 int testu_snan(long flags)
153 feclearexcept(FE_DIVBYZERO|FE_INEXACT|FE_INVALID|FE_OVERFLOW|FE_UNDERFLOW);
158 // " flds snan""\n" // WRONG, this will convert 32-bit fp snan to a *qnan* in 80-bit fp register!
159 // " fstpt snan1""\n" // if uncommented, it prints "snan1:7fff c111 1100 0000 0000" - c111, not 8111!
160 // " fnclex""\n" // flds of a snan raised FE_INVALID, clear it
161 " fldt snan80""\n" // fldt never raise FE_INVALID
163 " fucomi %%st(1), %%st" "\n"
164 " ffree %%st(0)" "\n"
165 " ffree %%st(1)" "\n"
167 " pop res_fcomi_nan_1""\n"
171 if ((res_fcomi_nan_1 & ARITH) != (ZF|CF|PF)) {
172 printf("[BAD]\tfcomi_qnan_1 with flags:%lx\n", flags);
175 // printf("snan:%x snan1:%04x %04x %04x %04x %04x\n", snan, snan1[4], snan1[3], snan1[2], snan1[1], snan1[0]);
176 if (fetestexcept(FE_INVALID) != FE_INVALID) {
177 printf("[BAD]\tFE_INVALID is not set in %s\n", __func__);
183 int testp(long flags)
185 feclearexcept(FE_DIVBYZERO|FE_INEXACT|FE_INVALID|FE_OVERFLOW|FE_UNDERFLOW);
193 " fcomip %%st(1), %%st" "\n"
194 " ffree %%st(0)" "\n"
196 " pop res_fcomi_1_pi""\n"
202 " fcomip %%st(1), %%st" "\n"
203 " ffree %%st(0)" "\n"
205 " pop res_fcomi_pi_1""\n"
211 " fcomip %%st(1), %%st" "\n"
212 " ffree %%st(0)" "\n"
214 " pop res_fcomi_1_1""\n"
218 if ((res_fcomi_1_pi & ARITH) != (0)) {
219 printf("[BAD]\tfcomi_1_pi with flags:%lx\n", flags);
222 if ((res_fcomi_pi_1 & ARITH) != (CF)) {
223 printf("[BAD]\tfcomi_pi_1 with flags:%lx->%lx\n", flags, res_fcomi_pi_1 & ARITH);
226 if ((res_fcomi_1_1 & ARITH) != (ZF)) {
227 printf("[BAD]\tfcomi_1_1 with flags:%lx\n", flags);
230 if (fetestexcept(FE_INVALID) != 0) {
231 printf("[BAD]\tFE_INVALID is set in %s\n", __func__);
237 int testp_qnan(long flags)
239 feclearexcept(FE_DIVBYZERO|FE_INEXACT|FE_INVALID|FE_OVERFLOW|FE_UNDERFLOW);
246 " fnclex""\n" // fld of a qnan raised FE_INVALID, clear it
247 " fcomip %%st(1), %%st" "\n"
248 " ffree %%st(0)" "\n"
250 " pop res_fcomi_nan_1""\n"
254 if ((res_fcomi_nan_1 & ARITH) != (ZF|CF|PF)) {
255 printf("[BAD]\tfcomi_qnan_1 with flags:%lx\n", flags);
258 if (fetestexcept(FE_INVALID) != FE_INVALID) {
259 printf("[BAD]\tFE_INVALID is not set in %s\n", __func__);
265 int testup_qnan(long flags)
267 feclearexcept(FE_DIVBYZERO|FE_INEXACT|FE_INVALID|FE_OVERFLOW|FE_UNDERFLOW);
274 " fnclex""\n" // fld of a qnan raised FE_INVALID, clear it
275 " fucomip %%st(1), %%st" "\n"
276 " ffree %%st(0)" "\n"
278 " pop res_fcomi_nan_1""\n"
282 if ((res_fcomi_nan_1 & ARITH) != (ZF|CF|PF)) {
283 printf("[BAD]\tfcomi_qnan_1 with flags:%lx\n", flags);
286 if (fetestexcept(FE_INVALID) != 0) {
287 printf("[BAD]\tFE_INVALID is set in %s\n", __func__);
293 void sighandler(int sig)
295 printf("[FAIL]\tGot signal %d, exiting\n", sig);
299 int main(int argc, char **argv, char **envp)
303 /* SIGILL triggers on 32-bit kernels w/o fcomi emulation
304 * when run with "no387 nofxsr". Other signals are caught
307 signal(SIGILL, sighandler);
308 signal(SIGFPE, sighandler);
309 signal(SIGSEGV, sighandler);
311 printf("[RUN]\tTesting f[u]comi[p] instructions\n");
314 err |= testu_qnan(0);
315 err |= testu_snan(0);
316 err |= test(CF|ZF|PF);
317 err |= test_qnan(CF|ZF|PF);
318 err |= testu_qnan(CF|ZF|PF);
319 err |= testu_snan(CF|ZF|PF);
321 err |= testp_qnan(0);
322 err |= testup_qnan(0);
323 err |= testp(CF|ZF|PF);
324 err |= testp_qnan(CF|ZF|PF);
325 err |= testup_qnan(CF|ZF|PF);
327 printf("[OK]\tf[u]comi[p]\n");
329 printf("[FAIL]\tf[u]comi[p] errors: %d\n", err);