]> git.ipfire.org Git - thirdparty/glibc.git/blame - soft-fp/double.h
soft-fp: fix floating-point to integer unsigned saturation.
[thirdparty/glibc.git] / soft-fp / double.h
CommitLineData
d876f532
UD
1/* Software floating-point emulation.
2 Definitions for IEEE Double Precision
568035b7 3 Copyright (C) 1997-2013 Free Software Foundation, Inc.
d876f532
UD
4 This file is part of the GNU C Library.
5 Contributed by Richard Henderson (rth@cygnus.com),
6 Jakub Jelinek (jj@ultra.linux.cz),
7 David S. Miller (davem@redhat.com) and
8 Peter Maydell (pmaydell@chiark.greenend.org.uk).
9
10 The GNU C Library is free software; you can redistribute it and/or
41bdb6e2
AJ
11 modify it under the terms of the GNU Lesser General Public
12 License as published by the Free Software Foundation; either
13 version 2.1 of the License, or (at your option) any later version.
d876f532 14
638a783c
RM
15 In addition to the permissions in the GNU Lesser General Public
16 License, the Free Software Foundation gives you unlimited
17 permission to link the compiled version of this file into
18 combinations with other programs, and to distribute those
19 combinations without any restriction coming from the use of this
20 file. (The Lesser General Public License restrictions do apply in
21 other respects; for example, they cover modification of the file,
22 and distribution when not linked into a combine executable.)
23
d876f532
UD
24 The GNU C Library is distributed in the hope that it will be useful,
25 but WITHOUT ANY WARRANTY; without even the implied warranty of
26 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
41bdb6e2 27 Lesser General Public License for more details.
d876f532 28
41bdb6e2 29 You should have received a copy of the GNU Lesser General Public
59ba27a6
PE
30 License along with the GNU C Library; if not, see
31 <http://www.gnu.org/licenses/>. */
d876f532
UD
32
33#if _FP_W_TYPE_SIZE < 32
34#error "Here's a nickel kid. Go buy yourself a real computer."
35#endif
36
37#if _FP_W_TYPE_SIZE < 64
38#define _FP_FRACTBITS_D (2 * _FP_W_TYPE_SIZE)
77f01ab5 39#define _FP_FRACTBITS_DW_D (4 * _FP_W_TYPE_SIZE)
d876f532
UD
40#else
41#define _FP_FRACTBITS_D _FP_W_TYPE_SIZE
77f01ab5 42#define _FP_FRACTBITS_DW_D (2 * _FP_W_TYPE_SIZE)
d876f532
UD
43#endif
44
45#define _FP_FRACBITS_D 53
46#define _FP_FRACXBITS_D (_FP_FRACTBITS_D - _FP_FRACBITS_D)
47#define _FP_WFRACBITS_D (_FP_WORKBITS + _FP_FRACBITS_D)
48#define _FP_WFRACXBITS_D (_FP_FRACTBITS_D - _FP_WFRACBITS_D)
49#define _FP_EXPBITS_D 11
50#define _FP_EXPBIAS_D 1023
51#define _FP_EXPMAX_D 2047
52
53#define _FP_QNANBIT_D \
54 ((_FP_W_TYPE)1 << (_FP_FRACBITS_D-2) % _FP_W_TYPE_SIZE)
fe0b1e85
RM
55#define _FP_QNANBIT_SH_D \
56 ((_FP_W_TYPE)1 << (_FP_FRACBITS_D-2+_FP_WORKBITS) % _FP_W_TYPE_SIZE)
d876f532
UD
57#define _FP_IMPLBIT_D \
58 ((_FP_W_TYPE)1 << (_FP_FRACBITS_D-1) % _FP_W_TYPE_SIZE)
fe0b1e85
RM
59#define _FP_IMPLBIT_SH_D \
60 ((_FP_W_TYPE)1 << (_FP_FRACBITS_D-1+_FP_WORKBITS) % _FP_W_TYPE_SIZE)
d876f532
UD
61#define _FP_OVERFLOW_D \
62 ((_FP_W_TYPE)1 << _FP_WFRACBITS_D % _FP_W_TYPE_SIZE)
63
77f01ab5
JM
64#define _FP_WFRACBITS_DW_D (2 * _FP_WFRACBITS_D)
65#define _FP_WFRACXBITS_DW_D (_FP_FRACTBITS_DW_D - _FP_WFRACBITS_DW_D)
66#define _FP_HIGHBIT_DW_D \
67 ((_FP_W_TYPE)1 << (_FP_WFRACBITS_DW_D - 1) % _FP_W_TYPE_SIZE)
68
fe0b1e85
RM
69typedef float DFtype __attribute__((mode(DF)));
70
d876f532
UD
71#if _FP_W_TYPE_SIZE < 64
72
73union _FP_UNION_D
74{
fe0b1e85 75 DFtype flt;
f775c276 76 struct _FP_STRUCT_LAYOUT {
d876f532
UD
77#if __BYTE_ORDER == __BIG_ENDIAN
78 unsigned sign : 1;
79 unsigned exp : _FP_EXPBITS_D;
80 unsigned frac1 : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0) - _FP_W_TYPE_SIZE;
81 unsigned frac0 : _FP_W_TYPE_SIZE;
82#else
83 unsigned frac0 : _FP_W_TYPE_SIZE;
84 unsigned frac1 : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0) - _FP_W_TYPE_SIZE;
85 unsigned exp : _FP_EXPBITS_D;
86 unsigned sign : 1;
87#endif
88 } bits __attribute__((packed));
89};
90
91#define FP_DECL_D(X) _FP_DECL(2,X)
92#define FP_UNPACK_RAW_D(X,val) _FP_UNPACK_RAW_2(D,X,val)
93#define FP_UNPACK_RAW_DP(X,val) _FP_UNPACK_RAW_2_P(D,X,val)
94#define FP_PACK_RAW_D(val,X) _FP_PACK_RAW_2(D,val,X)
95#define FP_PACK_RAW_DP(val,X) \
96 do { \
97 if (!FP_INHIBIT_RESULTS) \
98 _FP_PACK_RAW_2_P(D,val,X); \
99 } while (0)
100
101#define FP_UNPACK_D(X,val) \
102 do { \
103 _FP_UNPACK_RAW_2(D,X,val); \
104 _FP_UNPACK_CANONICAL(D,2,X); \
105 } while (0)
106
107#define FP_UNPACK_DP(X,val) \
108 do { \
109 _FP_UNPACK_RAW_2_P(D,X,val); \
110 _FP_UNPACK_CANONICAL(D,2,X); \
111 } while (0)
112
fe0b1e85
RM
113#define FP_UNPACK_SEMIRAW_D(X,val) \
114 do { \
115 _FP_UNPACK_RAW_2(D,X,val); \
116 _FP_UNPACK_SEMIRAW(D,2,X); \
117 } while (0)
118
119#define FP_UNPACK_SEMIRAW_DP(X,val) \
120 do { \
121 _FP_UNPACK_RAW_2_P(D,X,val); \
122 _FP_UNPACK_SEMIRAW(D,2,X); \
123 } while (0)
124
d876f532
UD
125#define FP_PACK_D(val,X) \
126 do { \
127 _FP_PACK_CANONICAL(D,2,X); \
128 _FP_PACK_RAW_2(D,val,X); \
129 } while (0)
130
131#define FP_PACK_DP(val,X) \
132 do { \
133 _FP_PACK_CANONICAL(D,2,X); \
134 if (!FP_INHIBIT_RESULTS) \
135 _FP_PACK_RAW_2_P(D,val,X); \
136 } while (0)
137
fe0b1e85
RM
138#define FP_PACK_SEMIRAW_D(val,X) \
139 do { \
140 _FP_PACK_SEMIRAW(D,2,X); \
141 _FP_PACK_RAW_2(D,val,X); \
142 } while (0)
143
144#define FP_PACK_SEMIRAW_DP(val,X) \
145 do { \
146 _FP_PACK_SEMIRAW(D,2,X); \
147 if (!FP_INHIBIT_RESULTS) \
148 _FP_PACK_RAW_2_P(D,val,X); \
149 } while (0)
150
d876f532
UD
151#define FP_ISSIGNAN_D(X) _FP_ISSIGNAN(D,2,X)
152#define FP_NEG_D(R,X) _FP_NEG(D,2,R,X)
153#define FP_ADD_D(R,X,Y) _FP_ADD(D,2,R,X,Y)
154#define FP_SUB_D(R,X,Y) _FP_SUB(D,2,R,X,Y)
155#define FP_MUL_D(R,X,Y) _FP_MUL(D,2,R,X,Y)
156#define FP_DIV_D(R,X,Y) _FP_DIV(D,2,R,X,Y)
157#define FP_SQRT_D(R,X) _FP_SQRT(D,2,R,X)
158#define _FP_SQRT_MEAT_D(R,S,T,X,Q) _FP_SQRT_MEAT_2(R,S,T,X,Q)
77f01ab5 159#define FP_FMA_D(R,X,Y,Z) _FP_FMA(D,2,4,R,X,Y,Z)
d876f532
UD
160
161#define FP_CMP_D(r,X,Y,un) _FP_CMP(D,2,r,X,Y,un)
162#define FP_CMP_EQ_D(r,X,Y) _FP_CMP_EQ(D,2,r,X,Y)
e7b8c7bc 163#define FP_CMP_UNORD_D(r,X,Y) _FP_CMP_UNORD(D,2,r,X,Y)
d876f532
UD
164
165#define FP_TO_INT_D(r,X,rsz,rsg) _FP_TO_INT(D,2,r,X,rsz,rsg)
166#define FP_FROM_INT_D(X,r,rs,rt) _FP_FROM_INT(D,2,X,r,rs,rt)
167
168#define _FP_FRAC_HIGH_D(X) _FP_FRAC_HIGH_2(X)
169#define _FP_FRAC_HIGH_RAW_D(X) _FP_FRAC_HIGH_2(X)
170
77f01ab5
JM
171#define _FP_FRAC_HIGH_DW_D(X) _FP_FRAC_HIGH_4(X)
172
d876f532
UD
173#else
174
175union _FP_UNION_D
176{
fe0b1e85 177 DFtype flt;
f775c276 178 struct _FP_STRUCT_LAYOUT {
d876f532 179#if __BYTE_ORDER == __BIG_ENDIAN
06029c20
JJ
180 unsigned sign : 1;
181 unsigned exp : _FP_EXPBITS_D;
182 _FP_W_TYPE frac : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0);
d876f532 183#else
06029c20
JJ
184 _FP_W_TYPE frac : _FP_FRACBITS_D - (_FP_IMPLBIT_D != 0);
185 unsigned exp : _FP_EXPBITS_D;
186 unsigned sign : 1;
d876f532
UD
187#endif
188 } bits __attribute__((packed));
189};
190
191#define FP_DECL_D(X) _FP_DECL(1,X)
192#define FP_UNPACK_RAW_D(X,val) _FP_UNPACK_RAW_1(D,X,val)
193#define FP_UNPACK_RAW_DP(X,val) _FP_UNPACK_RAW_1_P(D,X,val)
194#define FP_PACK_RAW_D(val,X) _FP_PACK_RAW_1(D,val,X)
195#define FP_PACK_RAW_DP(val,X) \
196 do { \
197 if (!FP_INHIBIT_RESULTS) \
198 _FP_PACK_RAW_1_P(D,val,X); \
199 } while (0)
200
201#define FP_UNPACK_D(X,val) \
202 do { \
203 _FP_UNPACK_RAW_1(D,X,val); \
204 _FP_UNPACK_CANONICAL(D,1,X); \
205 } while (0)
206
207#define FP_UNPACK_DP(X,val) \
208 do { \
209 _FP_UNPACK_RAW_1_P(D,X,val); \
210 _FP_UNPACK_CANONICAL(D,1,X); \
211 } while (0)
212
fe0b1e85
RM
213#define FP_UNPACK_SEMIRAW_D(X,val) \
214 do { \
58a7457e 215 _FP_UNPACK_RAW_1(D,X,val); \
fe0b1e85
RM
216 _FP_UNPACK_SEMIRAW(D,1,X); \
217 } while (0)
218
219#define FP_UNPACK_SEMIRAW_DP(X,val) \
220 do { \
58a7457e 221 _FP_UNPACK_RAW_1_P(D,X,val); \
fe0b1e85
RM
222 _FP_UNPACK_SEMIRAW(D,1,X); \
223 } while (0)
224
d876f532
UD
225#define FP_PACK_D(val,X) \
226 do { \
227 _FP_PACK_CANONICAL(D,1,X); \
228 _FP_PACK_RAW_1(D,val,X); \
229 } while (0)
230
231#define FP_PACK_DP(val,X) \
232 do { \
233 _FP_PACK_CANONICAL(D,1,X); \
234 if (!FP_INHIBIT_RESULTS) \
235 _FP_PACK_RAW_1_P(D,val,X); \
236 } while (0)
237
fe0b1e85
RM
238#define FP_PACK_SEMIRAW_D(val,X) \
239 do { \
240 _FP_PACK_SEMIRAW(D,1,X); \
241 _FP_PACK_RAW_1(D,val,X); \
242 } while (0)
243
244#define FP_PACK_SEMIRAW_DP(val,X) \
245 do { \
246 _FP_PACK_SEMIRAW(D,1,X); \
247 if (!FP_INHIBIT_RESULTS) \
248 _FP_PACK_RAW_1_P(D,val,X); \
249 } while (0)
250
d876f532
UD
251#define FP_ISSIGNAN_D(X) _FP_ISSIGNAN(D,1,X)
252#define FP_NEG_D(R,X) _FP_NEG(D,1,R,X)
253#define FP_ADD_D(R,X,Y) _FP_ADD(D,1,R,X,Y)
254#define FP_SUB_D(R,X,Y) _FP_SUB(D,1,R,X,Y)
255#define FP_MUL_D(R,X,Y) _FP_MUL(D,1,R,X,Y)
256#define FP_DIV_D(R,X,Y) _FP_DIV(D,1,R,X,Y)
257#define FP_SQRT_D(R,X) _FP_SQRT(D,1,R,X)
258#define _FP_SQRT_MEAT_D(R,S,T,X,Q) _FP_SQRT_MEAT_1(R,S,T,X,Q)
77f01ab5 259#define FP_FMA_D(R,X,Y,Z) _FP_FMA(D,1,2,R,X,Y,Z)
d876f532
UD
260
261/* The implementation of _FP_MUL_D and _FP_DIV_D should be chosen by
262 the target machine. */
263
264#define FP_CMP_D(r,X,Y,un) _FP_CMP(D,1,r,X,Y,un)
265#define FP_CMP_EQ_D(r,X,Y) _FP_CMP_EQ(D,1,r,X,Y)
1e832e37 266#define FP_CMP_UNORD_D(r,X,Y) _FP_CMP_UNORD(D,1,r,X,Y)
d876f532
UD
267
268#define FP_TO_INT_D(r,X,rsz,rsg) _FP_TO_INT(D,1,r,X,rsz,rsg)
269#define FP_FROM_INT_D(X,r,rs,rt) _FP_FROM_INT(D,1,X,r,rs,rt)
270
271#define _FP_FRAC_HIGH_D(X) _FP_FRAC_HIGH_1(X)
272#define _FP_FRAC_HIGH_RAW_D(X) _FP_FRAC_HIGH_1(X)
273
77f01ab5
JM
274#define _FP_FRAC_HIGH_DW_D(X) _FP_FRAC_HIGH_2(X)
275
d876f532 276#endif /* W_TYPE_SIZE < 64 */