1*c2f6c1bfSguenther /* $OpenBSD: fpu_qp.c,v 1.9 2019/10/27 21:07:13 guenther Exp $ */
202b90beaSjason
302b90beaSjason /*-
402b90beaSjason * Copyright (c) 2002 Jake Burkholder.
502b90beaSjason * All rights reserved.
602b90beaSjason *
702b90beaSjason * Redistribution and use in source and binary forms, with or without
802b90beaSjason * modification, are permitted provided that the following conditions
902b90beaSjason * are met:
1002b90beaSjason * 1. Redistributions of source code must retain the above copyright
1102b90beaSjason * notice, this list of conditions and the following disclaimer.
1202b90beaSjason * 2. Redistributions in binary form must reproduce the above copyright
1302b90beaSjason * notice, this list of conditions and the following disclaimer in the
1402b90beaSjason * documentation and/or other materials provided with the distribution.
1502b90beaSjason *
1602b90beaSjason * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
1702b90beaSjason * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
1802b90beaSjason * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
1902b90beaSjason * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
2002b90beaSjason * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
2102b90beaSjason * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
2202b90beaSjason * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
2302b90beaSjason * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
2402b90beaSjason * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
2502b90beaSjason * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
2602b90beaSjason * SUCH DAMAGE.
2702b90beaSjason */
2802b90beaSjason
2902b90beaSjason #include <sys/types.h>
3002b90beaSjason #include <machine/fsr.h>
3102b90beaSjason
3202b90beaSjason #include "fpu_emu.h"
3302b90beaSjason #include "fpu_extern.h"
3402b90beaSjason
3502b90beaSjason #define _QP_OP(op) \
3619e206fbSguenther __dso_hidden void _Qp_ ## op(u_int *c, u_int *a, u_int *b); \
3719e206fbSguenther PROTO_NORMAL(_Qp_ ## op); \
3802b90beaSjason void \
3902b90beaSjason _Qp_ ## op(u_int *c, u_int *a, u_int *b) \
4002b90beaSjason { \
4102b90beaSjason struct fpemu fe; \
4202b90beaSjason struct fpn *r; \
43476bc7b6Sguenther __asm volatile("stx %%fsr, [%0]" : : "r" (&fe.fe_fsr)); \
4402b90beaSjason fe.fe_f1.fp_sign = a[0] >> 31; \
4502b90beaSjason fe.fe_f1.fp_sticky = 0; \
4602b90beaSjason fe.fe_f1.fp_class = __fpu_qtof(&fe.fe_f1, a[0], a[1], a[2], a[3]); \
4702b90beaSjason fe.fe_f2.fp_sign = b[0] >> 31; \
4802b90beaSjason fe.fe_f2.fp_sticky = 0; \
4902b90beaSjason fe.fe_f2.fp_class = __fpu_qtof(&fe.fe_f2, b[0], b[1], b[2], b[3]); \
5002b90beaSjason r = __fpu_ ## op(&fe); \
5102b90beaSjason c[0] = __fpu_ftoq(&fe, r, c); \
5219e206fbSguenther } \
53*c2f6c1bfSguenther DEF_STRONG(_Qp_ ## op); \
54*c2f6c1bfSguenther asm(".protected _Qp_"#op);
5502b90beaSjason
56dcaa94faSjca #define _QP_TTOQ(qname, fname, ntype, signpos, atype, ...) \
5702b90beaSjason void _Qp_ ## qname ## toq(u_int *c, ntype n); \
5819e206fbSguenther PROTO_NORMAL(_Qp_ ## qname ## toq); \
5902b90beaSjason void \
6002b90beaSjason _Qp_ ## qname ## toq(u_int *c, ntype n) \
6102b90beaSjason { \
6202b90beaSjason struct fpemu fe; \
6302b90beaSjason atype *a; \
64476bc7b6Sguenther __asm volatile("stx %%fsr, %0" : "=m" (fe.fe_fsr) :); \
6502b90beaSjason a = (atype *)&n; \
66dcaa94faSjca fe.fe_f1.fp_sign = (signpos >= 0) ? a[0] >> signpos : 0; \
6702b90beaSjason fe.fe_f1.fp_sticky = 0; \
6802b90beaSjason fe.fe_f1.fp_class = __fpu_ ## fname ## tof(&fe.fe_f1, __VA_ARGS__); \
6902b90beaSjason c[0] = __fpu_ftoq(&fe, &fe.fe_f1, c); \
7019e206fbSguenther } \
7119e206fbSguenther DEF_STRONG(_Qp_ ## qname ## toq);
7202b90beaSjason
7302b90beaSjason #define _QP_QTOT4(qname, fname, type, x) \
7402b90beaSjason type _Qp_qto ## qname(u_int *c); \
7519e206fbSguenther PROTO_NORMAL(_Qp_qto ## qname); \
7602b90beaSjason type \
7702b90beaSjason _Qp_qto ## qname(u_int *c) \
7802b90beaSjason { \
7902b90beaSjason struct fpemu fe; \
8002b90beaSjason u_int *a; \
8102b90beaSjason type n; \
82476bc7b6Sguenther __asm volatile("stx %%fsr, %0" : "=m" (fe.fe_fsr) :); \
8302b90beaSjason a = (u_int *)&n; \
8402b90beaSjason fe.fe_f1.fp_sign = c[0] >> 31; \
8502b90beaSjason fe.fe_f1.fp_sticky = 0; \
8602b90beaSjason fe.fe_f1.fp_class = __fpu_qtof(&fe.fe_f1, c[0], c[1], c[2], c[3]); \
8702b90beaSjason a[0] = __fpu_fto ## fname(&fe, &fe.fe_f1, x); \
8802b90beaSjason return (n); \
8919e206fbSguenther } \
9019e206fbSguenther DEF_STRONG(_Qp_qto ## qname);
9102b90beaSjason
9202b90beaSjason #define _QP_QTOT3(qname, fname, type) \
9302b90beaSjason type _Qp_qto ## qname(u_int *c); \
9419e206fbSguenther PROTO_NORMAL(_Qp_qto ## qname); \
9502b90beaSjason type \
9602b90beaSjason _Qp_qto ## qname(u_int *c) \
9702b90beaSjason { \
9802b90beaSjason struct fpemu fe; \
9902b90beaSjason u_int *a; \
10002b90beaSjason type n; \
101476bc7b6Sguenther __asm volatile("stx %%fsr, %0" : "=m" (fe.fe_fsr) :); \
10202b90beaSjason a = (u_int *)&n; \
10302b90beaSjason fe.fe_f1.fp_sign = c[0] >> 31; \
10402b90beaSjason fe.fe_f1.fp_sticky = 0; \
10502b90beaSjason fe.fe_f1.fp_class = __fpu_qtof(&fe.fe_f1, c[0], c[1], c[2], c[3]); \
10602b90beaSjason a[0] = __fpu_fto ## fname(&fe, &fe.fe_f1); \
10702b90beaSjason return (n); \
10819e206fbSguenther } \
10919e206fbSguenther DEF_STRONG(_Qp_qto ## qname);
11002b90beaSjason
11102b90beaSjason #define _QP_QTOT(qname, fname, type, ...) \
11202b90beaSjason type _Qp_qto ## qname(u_int *c); \
11319e206fbSguenther PROTO_NORMAL(_Qp_qto ## qname); \
11402b90beaSjason type \
11502b90beaSjason _Qp_qto ## qname(u_int *c) \
11602b90beaSjason { \
11702b90beaSjason struct fpemu fe; \
11802b90beaSjason u_int *a; \
11902b90beaSjason type n; \
120476bc7b6Sguenther __asm volatile("stx %%fsr, %0" : "=m" (fe.fe_fsr) :); \
12102b90beaSjason a = (u_int *)&n; \
12202b90beaSjason fe.fe_f1.fp_sign = c[0] >> 31; \
12302b90beaSjason fe.fe_f1.fp_sticky = 0; \
12402b90beaSjason fe.fe_f1.fp_class = __fpu_qtof(&fe.fe_f1, c[0], c[1], c[2], c[3]); \
12502b90beaSjason a[0] = __fpu_fto ## fname(&fe, &fe.fe_f1, ## __VA_ARGS__); \
12602b90beaSjason return (n); \
12719e206fbSguenther } \
12819e206fbSguenther DEF_STRONG(_Qp_qto ## qname);
12902b90beaSjason
13002b90beaSjason #define FCC_EQ(fcc) ((fcc) == FSR_CC_EQ)
13102b90beaSjason #define FCC_GE(fcc) ((fcc) == FSR_CC_EQ || (fcc) == FSR_CC_GT)
13202b90beaSjason #define FCC_GT(fcc) ((fcc) == FSR_CC_GT)
13302b90beaSjason #define FCC_LE(fcc) ((fcc) == FSR_CC_EQ || (fcc) == FSR_CC_LT)
13402b90beaSjason #define FCC_LT(fcc) ((fcc) == FSR_CC_LT)
13502b90beaSjason #define FCC_NE(fcc) ((fcc) != FSR_CC_EQ)
13685df14edSkettenis #define FCC_ID(fcc) (fcc)
13702b90beaSjason
13802b90beaSjason #define FSR_GET_FCC0(fsr) (((fsr) >> FSR_FCC_SHIFT) & FSR_FCC_MASK)
13902b90beaSjason
14002b90beaSjason #define _QP_CMP(name, cmpe, test) \
14185df14edSkettenis int _Qp_ ## name(u_int *a, u_int *b) ; \
14219e206fbSguenther PROTO_NORMAL(_Qp_ ## name); \
14302b90beaSjason int \
14485df14edSkettenis _Qp_ ## name(u_int *a, u_int *b) \
14502b90beaSjason { \
14602b90beaSjason struct fpemu fe; \
147476bc7b6Sguenther __asm volatile("stx %%fsr, %0" : "=m" (fe.fe_fsr) :); \
14802b90beaSjason fe.fe_f1.fp_sign = a[0] >> 31; \
14902b90beaSjason fe.fe_f1.fp_sticky = 0; \
15002b90beaSjason fe.fe_f1.fp_class = __fpu_qtof(&fe.fe_f1, a[0], a[1], a[2], a[3]); \
15102b90beaSjason fe.fe_f2.fp_sign = b[0] >> 31; \
15202b90beaSjason fe.fe_f2.fp_sticky = 0; \
15302b90beaSjason fe.fe_f2.fp_class = __fpu_qtof(&fe.fe_f2, b[0], b[1], b[2], b[3]); \
15402b90beaSjason __fpu_compare(&fe, cmpe, 0); \
15502b90beaSjason return (test(FSR_GET_FCC0(fe.fe_fsr))); \
15619e206fbSguenther } \
15719e206fbSguenther DEF_STRONG(_Qp_ ## name);
15802b90beaSjason
15902b90beaSjason void _Qp_sqrt(u_int *c, u_int *a);
16019e206fbSguenther PROTO_NORMAL(_Qp_sqrt);
16102b90beaSjason void
_Qp_sqrt(u_int * c,u_int * a)16202b90beaSjason _Qp_sqrt(u_int *c, u_int *a)
16302b90beaSjason {
16402b90beaSjason struct fpemu fe;
16502b90beaSjason struct fpn *r;
166476bc7b6Sguenther __asm volatile("stx %%fsr, %0" : "=m" (fe.fe_fsr) :);
16702b90beaSjason fe.fe_f1.fp_sign = a[0] >> 31;
16802b90beaSjason fe.fe_f1.fp_sticky = 0;
16902b90beaSjason fe.fe_f1.fp_class = __fpu_qtof(&fe.fe_f1, a[0], a[1], a[2], a[3]);
17002b90beaSjason r = __fpu_sqrt(&fe);
17102b90beaSjason c[0] = __fpu_ftoq(&fe, r, c);
17202b90beaSjason }
17319e206fbSguenther DEF_STRONG(_Qp_sqrt);
17402b90beaSjason
17502b90beaSjason _QP_OP(add)
17602b90beaSjason _QP_OP(div)
17702b90beaSjason _QP_OP(mul)
17802b90beaSjason _QP_OP(sub)
17902b90beaSjason
180dcaa94faSjca _QP_TTOQ(d, d, double, 31, u_int, a[0], a[1])
181dcaa94faSjca _QP_TTOQ(i, i, int, 31, u_int, a[0])
182dcaa94faSjca _QP_TTOQ(s, s, float, 31, u_int, a[0])
183dcaa94faSjca _QP_TTOQ(x, x, long, 63, u_long, a[0])
184dcaa94faSjca _QP_TTOQ(ui, ui, u_int, -1, u_int, a[0])
185dcaa94faSjca _QP_TTOQ(ux, ux, u_long, -1, u_long, a[0])
18602b90beaSjason
18702b90beaSjason _QP_QTOT4(d, d, double, a)
18802b90beaSjason _QP_QTOT3(i, i, int)
18902b90beaSjason _QP_QTOT3(s, s, float)
19002b90beaSjason _QP_QTOT4(x, x, long, a)
19102b90beaSjason _QP_QTOT3(ui, i, u_int)
19202b90beaSjason _QP_QTOT4(ux, x, u_long, a)
19302b90beaSjason
19485df14edSkettenis _QP_CMP(feq, 0, FCC_EQ)
19585df14edSkettenis _QP_CMP(fge, 0, FCC_GE)
19685df14edSkettenis _QP_CMP(fgt, 0, FCC_GT)
19785df14edSkettenis _QP_CMP(fle, 0, FCC_LE)
19885df14edSkettenis _QP_CMP(flt, 0, FCC_LT)
19985df14edSkettenis _QP_CMP(fne, 0, FCC_NE)
20085df14edSkettenis _QP_CMP(cmp, 0, FCC_ID)
20185df14edSkettenis _QP_CMP(cmpe, 1, FCC_ID)
202