]>
Commit | Line | Data |
---|---|---|
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 |
69 | typedef float DFtype __attribute__((mode(DF))); |
70 | ||
d876f532 UD |
71 | #if _FP_W_TYPE_SIZE < 64 |
72 | ||
73 | union _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 | ||
175 | union _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 */ |