xref: /openbmc/linux/include/math-emu/double.h (revision e5451c8f8330e03ad3cfa16048b4daf961af434f)
1*1da177e4SLinus Torvalds /* Software floating-point emulation.
2*1da177e4SLinus Torvalds    Definitions for IEEE Double Precision
3*1da177e4SLinus Torvalds    Copyright (C) 1997,1998,1999 Free Software Foundation, Inc.
4*1da177e4SLinus Torvalds    This file is part of the GNU C Library.
5*1da177e4SLinus Torvalds    Contributed by Richard Henderson (rth@cygnus.com),
6*1da177e4SLinus Torvalds 		  Jakub Jelinek (jj@ultra.linux.cz),
7*1da177e4SLinus Torvalds 		  David S. Miller (davem@redhat.com) and
8*1da177e4SLinus Torvalds 		  Peter Maydell (pmaydell@chiark.greenend.org.uk).
9*1da177e4SLinus Torvalds 
10*1da177e4SLinus Torvalds    The GNU C Library is free software; you can redistribute it and/or
11*1da177e4SLinus Torvalds    modify it under the terms of the GNU Library General Public License as
12*1da177e4SLinus Torvalds    published by the Free Software Foundation; either version 2 of the
13*1da177e4SLinus Torvalds    License, or (at your option) any later version.
14*1da177e4SLinus Torvalds 
15*1da177e4SLinus Torvalds    The GNU C Library is distributed in the hope that it will be useful,
16*1da177e4SLinus Torvalds    but WITHOUT ANY WARRANTY; without even the implied warranty of
17*1da177e4SLinus Torvalds    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
18*1da177e4SLinus Torvalds    Library General Public License for more details.
19*1da177e4SLinus Torvalds 
20*1da177e4SLinus Torvalds    You should have received a copy of the GNU Library General Public
21*1da177e4SLinus Torvalds    License along with the GNU C Library; see the file COPYING.LIB.  If
22*1da177e4SLinus Torvalds    not, write to the Free Software Foundation, Inc.,
23*1da177e4SLinus Torvalds    59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
24*1da177e4SLinus Torvalds 
25*1da177e4SLinus Torvalds #ifndef    __MATH_EMU_DOUBLE_H__
26*1da177e4SLinus Torvalds #define    __MATH_EMU_DOUBLE_H__
27*1da177e4SLinus Torvalds 
28*1da177e4SLinus Torvalds #if _FP_W_TYPE_SIZE < 32
29*1da177e4SLinus Torvalds #error "Here's a nickel kid.  Go buy yourself a real computer."
30*1da177e4SLinus Torvalds #endif
31*1da177e4SLinus Torvalds 
32*1da177e4SLinus Torvalds #if _FP_W_TYPE_SIZE < 64
33*1da177e4SLinus Torvalds #define _FP_FRACTBITS_D		(2 * _FP_W_TYPE_SIZE)
34*1da177e4SLinus Torvalds #else
35*1da177e4SLinus Torvalds #define _FP_FRACTBITS_D		_FP_W_TYPE_SIZE
36*1da177e4SLinus Torvalds #endif
37*1da177e4SLinus Torvalds 
38*1da177e4SLinus Torvalds #define _FP_FRACBITS_D		53
39*1da177e4SLinus Torvalds #define _FP_FRACXBITS_D		(_FP_FRACTBITS_D - _FP_FRACBITS_D)
40*1da177e4SLinus Torvalds #define _FP_WFRACBITS_D		(_FP_WORKBITS + _FP_FRACBITS_D)
41*1da177e4SLinus Torvalds #define _FP_WFRACXBITS_D	(_FP_FRACTBITS_D - _FP_WFRACBITS_D)
42*1da177e4SLinus Torvalds #define _FP_EXPBITS_D		11
43*1da177e4SLinus Torvalds #define _FP_EXPBIAS_D		1023
44*1da177e4SLinus Torvalds #define _FP_EXPMAX_D		2047
45*1da177e4SLinus Torvalds 
46*1da177e4SLinus Torvalds #define _FP_QNANBIT_D		\
47*1da177e4SLinus Torvalds 	((_FP_W_TYPE)1 << (_FP_FRACBITS_D-2) % _FP_W_TYPE_SIZE)
48*1da177e4SLinus Torvalds #define _FP_IMPLBIT_D		\
49*1da177e4SLinus Torvalds 	((_FP_W_TYPE)1 << (_FP_FRACBITS_D-1) % _FP_W_TYPE_SIZE)
50*1da177e4SLinus Torvalds #define _FP_OVERFLOW_D		\
51*1da177e4SLinus Torvalds 	((_FP_W_TYPE)1 << _FP_WFRACBITS_D % _FP_W_TYPE_SIZE)
52*1da177e4SLinus Torvalds 
53*1da177e4SLinus Torvalds #if _FP_W_TYPE_SIZE < 64
54*1da177e4SLinus Torvalds 
55*1da177e4SLinus Torvalds union _FP_UNION_D
56*1da177e4SLinus Torvalds {
57*1da177e4SLinus Torvalds   double flt;
58*1da177e4SLinus Torvalds   struct {
59*1da177e4SLinus Torvalds #if __BYTE_ORDER == __BIG_ENDIAN
60*1da177e4SLinus Torvalds     unsigned sign  : 1;
61*1da177e4SLinus Torvalds     unsigned exp   : _FP_EXPBITS_D;
62*1da177e4SLinus Torvalds     unsigned frac1 : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0) - _FP_W_TYPE_SIZE;
63*1da177e4SLinus Torvalds     unsigned frac0 : _FP_W_TYPE_SIZE;
64*1da177e4SLinus Torvalds #else
65*1da177e4SLinus Torvalds     unsigned frac0 : _FP_W_TYPE_SIZE;
66*1da177e4SLinus Torvalds     unsigned frac1 : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0) - _FP_W_TYPE_SIZE;
67*1da177e4SLinus Torvalds     unsigned exp   : _FP_EXPBITS_D;
68*1da177e4SLinus Torvalds     unsigned sign  : 1;
69*1da177e4SLinus Torvalds #endif
70*1da177e4SLinus Torvalds   } bits __attribute__((packed));
71*1da177e4SLinus Torvalds };
72*1da177e4SLinus Torvalds 
73*1da177e4SLinus Torvalds #define FP_DECL_D(X)		_FP_DECL(2,X)
74*1da177e4SLinus Torvalds #define FP_UNPACK_RAW_D(X,val)	_FP_UNPACK_RAW_2(D,X,val)
75*1da177e4SLinus Torvalds #define FP_UNPACK_RAW_DP(X,val)	_FP_UNPACK_RAW_2_P(D,X,val)
76*1da177e4SLinus Torvalds #define FP_PACK_RAW_D(val,X)	_FP_PACK_RAW_2(D,val,X)
77*1da177e4SLinus Torvalds #define FP_PACK_RAW_DP(val,X)		\
78*1da177e4SLinus Torvalds   do {					\
79*1da177e4SLinus Torvalds     if (!FP_INHIBIT_RESULTS)		\
80*1da177e4SLinus Torvalds       _FP_PACK_RAW_2_P(D,val,X);	\
81*1da177e4SLinus Torvalds   } while (0)
82*1da177e4SLinus Torvalds 
83*1da177e4SLinus Torvalds #define FP_UNPACK_D(X,val)		\
84*1da177e4SLinus Torvalds   do {					\
85*1da177e4SLinus Torvalds     _FP_UNPACK_RAW_2(D,X,val);		\
86*1da177e4SLinus Torvalds     _FP_UNPACK_CANONICAL(D,2,X);	\
87*1da177e4SLinus Torvalds   } while (0)
88*1da177e4SLinus Torvalds 
89*1da177e4SLinus Torvalds #define FP_UNPACK_DP(X,val)		\
90*1da177e4SLinus Torvalds   do {					\
91*1da177e4SLinus Torvalds     _FP_UNPACK_RAW_2_P(D,X,val);	\
92*1da177e4SLinus Torvalds     _FP_UNPACK_CANONICAL(D,2,X);	\
93*1da177e4SLinus Torvalds   } while (0)
94*1da177e4SLinus Torvalds 
95*1da177e4SLinus Torvalds #define FP_PACK_D(val,X)		\
96*1da177e4SLinus Torvalds   do {					\
97*1da177e4SLinus Torvalds     _FP_PACK_CANONICAL(D,2,X);		\
98*1da177e4SLinus Torvalds     _FP_PACK_RAW_2(D,val,X);		\
99*1da177e4SLinus Torvalds   } while (0)
100*1da177e4SLinus Torvalds 
101*1da177e4SLinus Torvalds #define FP_PACK_DP(val,X)		\
102*1da177e4SLinus Torvalds   do {					\
103*1da177e4SLinus Torvalds     _FP_PACK_CANONICAL(D,2,X);		\
104*1da177e4SLinus Torvalds     if (!FP_INHIBIT_RESULTS)		\
105*1da177e4SLinus Torvalds       _FP_PACK_RAW_2_P(D,val,X);	\
106*1da177e4SLinus Torvalds   } while (0)
107*1da177e4SLinus Torvalds 
108*1da177e4SLinus Torvalds #define FP_ISSIGNAN_D(X)		_FP_ISSIGNAN(D,2,X)
109*1da177e4SLinus Torvalds #define FP_NEG_D(R,X)			_FP_NEG(D,2,R,X)
110*1da177e4SLinus Torvalds #define FP_ADD_D(R,X,Y)			_FP_ADD(D,2,R,X,Y)
111*1da177e4SLinus Torvalds #define FP_SUB_D(R,X,Y)			_FP_SUB(D,2,R,X,Y)
112*1da177e4SLinus Torvalds #define FP_MUL_D(R,X,Y)			_FP_MUL(D,2,R,X,Y)
113*1da177e4SLinus Torvalds #define FP_DIV_D(R,X,Y)			_FP_DIV(D,2,R,X,Y)
114*1da177e4SLinus Torvalds #define FP_SQRT_D(R,X)			_FP_SQRT(D,2,R,X)
115*1da177e4SLinus Torvalds #define _FP_SQRT_MEAT_D(R,S,T,X,Q)	_FP_SQRT_MEAT_2(R,S,T,X,Q)
116*1da177e4SLinus Torvalds 
117*1da177e4SLinus Torvalds #define FP_CMP_D(r,X,Y,un)	_FP_CMP(D,2,r,X,Y,un)
118*1da177e4SLinus Torvalds #define FP_CMP_EQ_D(r,X,Y)	_FP_CMP_EQ(D,2,r,X,Y)
119*1da177e4SLinus Torvalds 
120*1da177e4SLinus Torvalds #define FP_TO_INT_D(r,X,rsz,rsg)	_FP_TO_INT(D,2,r,X,rsz,rsg)
121*1da177e4SLinus Torvalds #define FP_TO_INT_ROUND_D(r,X,rsz,rsg)	_FP_TO_INT_ROUND(D,2,r,X,rsz,rsg)
122*1da177e4SLinus Torvalds #define FP_FROM_INT_D(X,r,rs,rt)	_FP_FROM_INT(D,2,X,r,rs,rt)
123*1da177e4SLinus Torvalds 
124*1da177e4SLinus Torvalds #define _FP_FRAC_HIGH_D(X)	_FP_FRAC_HIGH_2(X)
125*1da177e4SLinus Torvalds #define _FP_FRAC_HIGH_RAW_D(X)	_FP_FRAC_HIGH_2(X)
126*1da177e4SLinus Torvalds 
127*1da177e4SLinus Torvalds #else
128*1da177e4SLinus Torvalds 
129*1da177e4SLinus Torvalds union _FP_UNION_D
130*1da177e4SLinus Torvalds {
131*1da177e4SLinus Torvalds   double flt;
132*1da177e4SLinus Torvalds   struct {
133*1da177e4SLinus Torvalds #if __BYTE_ORDER == __BIG_ENDIAN
134*1da177e4SLinus Torvalds     unsigned sign : 1;
135*1da177e4SLinus Torvalds     unsigned exp  : _FP_EXPBITS_D;
136*1da177e4SLinus Torvalds     unsigned long frac : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0);
137*1da177e4SLinus Torvalds #else
138*1da177e4SLinus Torvalds     unsigned long frac : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0);
139*1da177e4SLinus Torvalds     unsigned exp  : _FP_EXPBITS_D;
140*1da177e4SLinus Torvalds     unsigned sign : 1;
141*1da177e4SLinus Torvalds #endif
142*1da177e4SLinus Torvalds   } bits __attribute__((packed));
143*1da177e4SLinus Torvalds };
144*1da177e4SLinus Torvalds 
145*1da177e4SLinus Torvalds #define FP_DECL_D(X)		_FP_DECL(1,X)
146*1da177e4SLinus Torvalds #define FP_UNPACK_RAW_D(X,val)	_FP_UNPACK_RAW_1(D,X,val)
147*1da177e4SLinus Torvalds #define FP_UNPACK_RAW_DP(X,val)	_FP_UNPACK_RAW_1_P(D,X,val)
148*1da177e4SLinus Torvalds #define FP_PACK_RAW_D(val,X)	_FP_PACK_RAW_1(D,val,X)
149*1da177e4SLinus Torvalds #define FP_PACK_RAW_DP(val,X)		\
150*1da177e4SLinus Torvalds   do {					\
151*1da177e4SLinus Torvalds     if (!FP_INHIBIT_RESULTS)		\
152*1da177e4SLinus Torvalds       _FP_PACK_RAW_1_P(D,val,X);	\
153*1da177e4SLinus Torvalds   } while (0)
154*1da177e4SLinus Torvalds 
155*1da177e4SLinus Torvalds #define FP_UNPACK_D(X,val)		\
156*1da177e4SLinus Torvalds   do {					\
157*1da177e4SLinus Torvalds     _FP_UNPACK_RAW_1(D,X,val);		\
158*1da177e4SLinus Torvalds     _FP_UNPACK_CANONICAL(D,1,X);	\
159*1da177e4SLinus Torvalds   } while (0)
160*1da177e4SLinus Torvalds 
161*1da177e4SLinus Torvalds #define FP_UNPACK_DP(X,val)		\
162*1da177e4SLinus Torvalds   do {					\
163*1da177e4SLinus Torvalds     _FP_UNPACK_RAW_1_P(D,X,val);	\
164*1da177e4SLinus Torvalds     _FP_UNPACK_CANONICAL(D,1,X);	\
165*1da177e4SLinus Torvalds   } while (0)
166*1da177e4SLinus Torvalds 
167*1da177e4SLinus Torvalds #define FP_PACK_D(val,X)		\
168*1da177e4SLinus Torvalds   do {					\
169*1da177e4SLinus Torvalds     _FP_PACK_CANONICAL(D,1,X);		\
170*1da177e4SLinus Torvalds     _FP_PACK_RAW_1(D,val,X);		\
171*1da177e4SLinus Torvalds   } while (0)
172*1da177e4SLinus Torvalds 
173*1da177e4SLinus Torvalds #define FP_PACK_DP(val,X)		\
174*1da177e4SLinus Torvalds   do {					\
175*1da177e4SLinus Torvalds     _FP_PACK_CANONICAL(D,1,X);		\
176*1da177e4SLinus Torvalds     if (!FP_INHIBIT_RESULTS)		\
177*1da177e4SLinus Torvalds       _FP_PACK_RAW_1_P(D,val,X);	\
178*1da177e4SLinus Torvalds   } while (0)
179*1da177e4SLinus Torvalds 
180*1da177e4SLinus Torvalds #define FP_ISSIGNAN_D(X)		_FP_ISSIGNAN(D,1,X)
181*1da177e4SLinus Torvalds #define FP_NEG_D(R,X)			_FP_NEG(D,1,R,X)
182*1da177e4SLinus Torvalds #define FP_ADD_D(R,X,Y)			_FP_ADD(D,1,R,X,Y)
183*1da177e4SLinus Torvalds #define FP_SUB_D(R,X,Y)			_FP_SUB(D,1,R,X,Y)
184*1da177e4SLinus Torvalds #define FP_MUL_D(R,X,Y)			_FP_MUL(D,1,R,X,Y)
185*1da177e4SLinus Torvalds #define FP_DIV_D(R,X,Y)			_FP_DIV(D,1,R,X,Y)
186*1da177e4SLinus Torvalds #define FP_SQRT_D(R,X)			_FP_SQRT(D,1,R,X)
187*1da177e4SLinus Torvalds #define _FP_SQRT_MEAT_D(R,S,T,X,Q)	_FP_SQRT_MEAT_1(R,S,T,X,Q)
188*1da177e4SLinus Torvalds 
189*1da177e4SLinus Torvalds /* The implementation of _FP_MUL_D and _FP_DIV_D should be chosen by
190*1da177e4SLinus Torvalds    the target machine.  */
191*1da177e4SLinus Torvalds 
192*1da177e4SLinus Torvalds #define FP_CMP_D(r,X,Y,un)	_FP_CMP(D,1,r,X,Y,un)
193*1da177e4SLinus Torvalds #define FP_CMP_EQ_D(r,X,Y)	_FP_CMP_EQ(D,1,r,X,Y)
194*1da177e4SLinus Torvalds 
195*1da177e4SLinus Torvalds #define FP_TO_INT_D(r,X,rsz,rsg)	_FP_TO_INT(D,1,r,X,rsz,rsg)
196*1da177e4SLinus Torvalds #define FP_TO_INT_ROUND_D(r,X,rsz,rsg)	_FP_TO_INT_ROUND(D,1,r,X,rsz,rsg)
197*1da177e4SLinus Torvalds #define FP_FROM_INT_D(X,r,rs,rt)	_FP_FROM_INT(D,1,X,r,rs,rt)
198*1da177e4SLinus Torvalds 
199*1da177e4SLinus Torvalds #define _FP_FRAC_HIGH_D(X)	_FP_FRAC_HIGH_1(X)
200*1da177e4SLinus Torvalds #define _FP_FRAC_HIGH_RAW_D(X)	_FP_FRAC_HIGH_1(X)
201*1da177e4SLinus Torvalds 
202*1da177e4SLinus Torvalds #endif /* W_TYPE_SIZE < 64 */
203*1da177e4SLinus Torvalds 
204*1da177e4SLinus Torvalds 
205*1da177e4SLinus Torvalds #endif /* __MATH_EMU_DOUBLE_H__ */
206