1 /* $NetBSD: t_convert_xmm_s87.c,v 1.1 2020/10/15 17:44:44 mgorny Exp $ */
2
3 /*-
4 * Copyright (c) 2020 The NetBSD Foundation, Inc.
5 * All rights reserved.
6 *
7 * This code is derived from software contributed to The NetBSD Foundation
8 * by Michał Górny for Moritz Systems Technology Company Sp. z o.o.
9 *
10 * Redistribution and use in source and binary forms, with or without
11 * modification, are permitted provided that the following conditions
12 * are met:
13 * 1. Redistributions of source code must retain the above copyright
14 * notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in the
17 * documentation and/or other materials provided with the distribution.
18 *
19 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 * POSSIBILITY OF SUCH DAMAGE.
30 */
31 #include <sys/cdefs.h>
32 __RCSID("$NetBSD: t_convert_xmm_s87.c,v 1.1 2020/10/15 17:44:44 mgorny Exp $");
33
34 #include <sys/types.h>
35 #include <sys/param.h>
36 #include <sys/sysctl.h>
37 #include <x86/cpu.h>
38 #include <x86/cpu_extended_state.h>
39
40 #include <stdint.h>
41 #include <string.h>
42
43 #include <atf-c.h>
44
45 #include "arch/x86/x86/convert_xmm_s87.c"
46
47 static const struct fpaccfx ST_INPUTS[] = {
48 {{0x8000000000000000, 0x4000}}, /* +2.0 */
49 {{0x3f00000000000000, 0x0000}}, /* 1.654785e-4932 */
50 {{0x0000000000000000, 0x0000}}, /* +0 */
51 {{0x0000000000000000, 0x8000}}, /* -0 */
52 {{0x8000000000000000, 0x7fff}}, /* +inf */
53 {{0x8000000000000000, 0xffff}}, /* -inf */
54 {{0xc000000000000000, 0xffff}}, /* nan */
55 {{0x8000000000000000, 0xc000}}, /* -2.0 */
56 };
57 __CTASSERT(sizeof(*ST_INPUTS) == 16);
58
59 ATF_TC(fsave_fxsave_hw);
ATF_TC_HEAD(fsave_fxsave_hw,tc)60 ATF_TC_HEAD(fsave_fxsave_hw, tc)
61 {
62 atf_tc_set_md_var(tc, "descr",
63 "converting between FSAVE/FXSAVE comparing to actual results");
64 }
65
ATF_TC_BODY(fsave_fxsave_hw,tc)66 ATF_TC_BODY(fsave_fxsave_hw, tc)
67 {
68 struct save87 fsave, fsave_conv;
69 struct fxsave fxsave, fxsave_conv;
70 int i, j;
71
72 int mib[] = { CTL_MACHDEP, CPU_OSFXSR };
73 int has_fxsave;
74 size_t has_fxsave_size = sizeof(has_fxsave);
75 if (sysctl(mib, __arraycount(mib), &has_fxsave, &has_fxsave_size,
76 NULL, 0) == -1 || !has_fxsave)
77 atf_tc_skip("FXSAVE not supported");
78
79 for (i = 1; i <= __arraycount(ST_INPUTS); i++) {
80 unsigned long unused1, unused2;
81 __asm__ __volatile__(
82 "finit\n"
83 ".loadfp:\n\t"
84 "fldt (%2)\n\t"
85 "add $0x10, %2\n\t"
86 "loop .loadfp\n\t"
87 "fxsave %5\n\t"
88 "fsave %4\n\t"
89 : "=b"(unused1), "=c"(unused2)
90 : "b"(ST_INPUTS), "c"(i), "m"(fsave), "m"(fxsave)
91 : "st"
92 );
93
94 /* Self-assertion for working FSAVE/FXSAVE */
95 ATF_REQUIRE_EQ(fsave.s87_cw, fxsave.fx_cw);
96 ATF_REQUIRE_EQ(fsave.s87_sw, fxsave.fx_sw);
97
98 /* Test process_xmm_to_s87() */
99 process_xmm_to_s87(&fxsave, &fsave_conv);
100 ATF_CHECK_EQ(fsave_conv.s87_cw, fsave.s87_cw);
101 ATF_CHECK_EQ(fsave_conv.s87_sw, fsave.s87_sw);
102 ATF_CHECK_EQ(fsave_conv.s87_tw, fsave.s87_tw);
103 for (j = 0; j < i; j++) {
104 ATF_CHECK_EQ(fsave_conv.s87_ac[j].f87_exp_sign,
105 fsave.s87_ac[j].f87_exp_sign);
106 ATF_CHECK_EQ(fsave_conv.s87_ac[j].f87_mantissa,
107 fsave.s87_ac[j].f87_mantissa);
108 }
109
110 /* Test process_s87_to_xmm() */
111 process_s87_to_xmm(&fsave, &fxsave_conv);
112 ATF_CHECK_EQ(fxsave_conv.fx_cw, fxsave.fx_cw);
113 ATF_CHECK_EQ(fxsave_conv.fx_sw, fxsave.fx_sw);
114 ATF_CHECK_EQ(fxsave_conv.fx_tw, fxsave.fx_tw);
115 for (j = 0; j < i; j++) {
116 ATF_CHECK_EQ(fxsave_conv.fx_87_ac[j].r.f87_exp_sign,
117 fxsave.fx_87_ac[j].r.f87_exp_sign);
118 ATF_CHECK_EQ(fxsave_conv.fx_87_ac[j].r.f87_mantissa,
119 fxsave.fx_87_ac[j].r.f87_mantissa);
120 }
121 }
122 }
123
124 struct s87_xmm_test_vector {
125 uint16_t sw;
126 uint16_t tw;
127 uint8_t tw_abridged;
128 };
129
130 struct s87_xmm_test_vector FIXED_TEST_VECTORS[] = {
131 {0x3800, 0x3fff, 0x80},
132 {0x3000, 0x2fff, 0xc0},
133 {0x2800, 0x27ff, 0xe0},
134 {0x2000, 0x25ff, 0xf0},
135 {0x1800, 0x25bf, 0xf8},
136 {0x1000, 0x25af, 0xfc},
137 {0x0800, 0x25ab, 0xfe},
138 {0x0000, 0x25a8, 0xff},
139 };
140
141 ATF_TC(s87_to_xmm);
ATF_TC_HEAD(s87_to_xmm,tc)142 ATF_TC_HEAD(s87_to_xmm, tc)
143 {
144 atf_tc_set_md_var(tc, "descr",
145 "converting from FSAVE to FXSAVE using fixed test vectors");
146 }
147
ATF_TC_BODY(s87_to_xmm,tc)148 ATF_TC_BODY(s87_to_xmm, tc)
149 {
150 struct save87 fsave;
151 struct fxsave fxsave;
152 int i, j;
153
154 memset(&fsave, 0, sizeof(fsave));
155 for (i = 0; i < __arraycount(ST_INPUTS); i++) {
156 fsave.s87_sw = FIXED_TEST_VECTORS[i].sw;
157 fsave.s87_tw = FIXED_TEST_VECTORS[i].tw;
158 for (j = 0; j <= i; j++)
159 fsave.s87_ac[i - j] = ST_INPUTS[j].r;
160
161 process_s87_to_xmm(&fsave, &fxsave);
162 ATF_CHECK_EQ(fxsave.fx_sw, FIXED_TEST_VECTORS[i].sw);
163 ATF_CHECK_EQ(fxsave.fx_tw, FIXED_TEST_VECTORS[i].tw_abridged);
164 for (j = 0; j < i; j++) {
165 ATF_CHECK_EQ(fxsave.fx_87_ac[i - j].r.f87_exp_sign,
166 ST_INPUTS[j].r.f87_exp_sign);
167 ATF_CHECK_EQ(fxsave.fx_87_ac[i - j].r.f87_mantissa,
168 ST_INPUTS[j].r.f87_mantissa);
169 }
170 }
171 }
172
173 ATF_TC(xmm_to_s87);
ATF_TC_HEAD(xmm_to_s87,tc)174 ATF_TC_HEAD(xmm_to_s87, tc)
175 {
176 atf_tc_set_md_var(tc, "descr",
177 "converting from FSAVE to FXSAVE using fixed test vectors");
178 }
179
ATF_TC_BODY(xmm_to_s87,tc)180 ATF_TC_BODY(xmm_to_s87, tc)
181 {
182 struct save87 fsave;
183 struct fxsave fxsave;
184 int i, j;
185
186 memset(&fxsave, 0, sizeof(fxsave));
187 for (i = 0; i < __arraycount(ST_INPUTS); i++) {
188 fxsave.fx_sw = FIXED_TEST_VECTORS[i].sw;
189 fxsave.fx_tw = FIXED_TEST_VECTORS[i].tw_abridged;
190 for (j = 0; j <= i; j++)
191 fxsave.fx_87_ac[i - j] = ST_INPUTS[j];
192
193 process_xmm_to_s87(&fxsave, &fsave);
194 ATF_CHECK_EQ(fsave.s87_sw, FIXED_TEST_VECTORS[i].sw);
195 ATF_CHECK_EQ(fsave.s87_tw, FIXED_TEST_VECTORS[i].tw);
196 for (j = 0; j < i; j++) {
197 ATF_CHECK_EQ(fsave.s87_ac[i - j].f87_exp_sign,
198 ST_INPUTS[j].r.f87_exp_sign);
199 ATF_CHECK_EQ(fsave.s87_ac[i - j].f87_mantissa,
200 ST_INPUTS[j].r.f87_mantissa);
201 }
202 }
203 }
204
ATF_TP_ADD_TCS(tp)205 ATF_TP_ADD_TCS(tp)
206 {
207 ATF_TP_ADD_TC(tp, fsave_fxsave_hw);
208 ATF_TP_ADD_TC(tp, s87_to_xmm);
209 ATF_TP_ADD_TC(tp, xmm_to_s87);
210 return atf_no_error();
211 }
212