softfloat.h revision 1.11 1 1.11 nat /* $NetBSD: softfloat.h,v 1.11 2025/09/17 11:37:38 nat Exp $ */
2 1.1 jmmv
3 1.1 jmmv /* This is a derivative work. */
4 1.1 jmmv
5 1.1 jmmv /*
6 1.1 jmmv ===============================================================================
7 1.1 jmmv
8 1.1 jmmv This C header file is part of the SoftFloat IEC/IEEE Floating-point
9 1.1 jmmv Arithmetic Package, Release 2a.
10 1.1 jmmv
11 1.1 jmmv Written by John R. Hauser. This work was made possible in part by the
12 1.1 jmmv International Computer Science Institute, located at Suite 600, 1947 Center
13 1.1 jmmv Street, Berkeley, California 94704. Funding was partially provided by the
14 1.1 jmmv National Science Foundation under grant MIP-9311980. The original version
15 1.1 jmmv of this code was written as part of a project to build a fixed-point vector
16 1.1 jmmv processor in collaboration with the University of California at Berkeley,
17 1.1 jmmv overseen by Profs. Nelson Morgan and John Wawrzynek. More information
18 1.1 jmmv is available through the Web page `http://HTTP.CS.Berkeley.EDU/~jhauser/
19 1.1 jmmv arithmetic/SoftFloat.html'.
20 1.1 jmmv
21 1.1 jmmv THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort
22 1.1 jmmv has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
23 1.1 jmmv TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO
24 1.1 jmmv PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
25 1.1 jmmv AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
26 1.1 jmmv
27 1.1 jmmv Derivative works are acceptable, even for commercial purposes, so long as
28 1.1 jmmv (1) they include prominent notice that the work is derivative, and (2) they
29 1.1 jmmv include prominent notice akin to these four paragraphs for those parts of
30 1.1 jmmv this code that are retained.
31 1.1 jmmv
32 1.1 jmmv ===============================================================================
33 1.1 jmmv */
34 1.1 jmmv
35 1.1 jmmv /*
36 1.1 jmmv -------------------------------------------------------------------------------
37 1.1 jmmv The macro `FLOATX80' must be defined to enable the extended double-precision
38 1.1 jmmv floating-point format `floatx80'. If this macro is not defined, the
39 1.1 jmmv `floatx80' type will not be defined, and none of the functions that either
40 1.1 jmmv input or output the `floatx80' type will be defined. The same applies to
41 1.1 jmmv the `FLOAT128' macro and the quadruple-precision format `float128'.
42 1.1 jmmv -------------------------------------------------------------------------------
43 1.1 jmmv */
44 1.5 matt #ifndef __mcoldfire__
45 1.1 jmmv #define FLOATX80
46 1.5 matt #endif
47 1.1 jmmv /* #define FLOAT128 */
48 1.1 jmmv
49 1.1 jmmv #include <machine/ieeefp.h>
50 1.1 jmmv
51 1.1 jmmv /*
52 1.1 jmmv -------------------------------------------------------------------------------
53 1.1 jmmv Software IEC/IEEE floating-point types.
54 1.1 jmmv -------------------------------------------------------------------------------
55 1.1 jmmv */
56 1.1 jmmv typedef unsigned int float32;
57 1.1 jmmv typedef unsigned long long float64;
58 1.1 jmmv #ifdef FLOATX80
59 1.11 nat #define X80SHIFT 16
60 1.11 nat
61 1.1 jmmv typedef struct {
62 1.10 nat unsigned long high;
63 1.9 nat unsigned long long low;
64 1.10 nat }__packed floatx80;
65 1.1 jmmv #endif
66 1.1 jmmv #ifdef FLOAT128
67 1.1 jmmv typedef struct {
68 1.1 jmmv unsigned long long high, low;
69 1.1 jmmv } float128;
70 1.1 jmmv #endif
71 1.1 jmmv
72 1.1 jmmv /*
73 1.1 jmmv -------------------------------------------------------------------------------
74 1.1 jmmv Software IEC/IEEE floating-point underflow tininess-detection mode.
75 1.1 jmmv -------------------------------------------------------------------------------
76 1.1 jmmv */
77 1.2 mrg #ifndef SOFTFLOAT_FOR_GCC
78 1.1 jmmv extern int8 float_detect_tininess;
79 1.2 mrg #endif
80 1.1 jmmv enum {
81 1.1 jmmv float_tininess_after_rounding = 0,
82 1.1 jmmv float_tininess_before_rounding = 1
83 1.1 jmmv };
84 1.1 jmmv
85 1.1 jmmv /*
86 1.1 jmmv -------------------------------------------------------------------------------
87 1.1 jmmv Software IEC/IEEE floating-point rounding mode.
88 1.1 jmmv -------------------------------------------------------------------------------
89 1.1 jmmv */
90 1.1 jmmv extern fp_rnd float_rounding_mode;
91 1.4 matt #define float_round_nearest_even FP_RN
92 1.4 matt #define float_round_to_zero FP_RZ
93 1.4 matt #define float_round_down FP_RM
94 1.4 matt #define float_round_up FP_RP
95 1.1 jmmv
96 1.1 jmmv /*
97 1.1 jmmv -------------------------------------------------------------------------------
98 1.1 jmmv Software IEC/IEEE floating-point exception flags.
99 1.1 jmmv -------------------------------------------------------------------------------
100 1.1 jmmv */
101 1.1 jmmv extern fp_except float_exception_flags;
102 1.1 jmmv extern fp_except float_exception_mask;
103 1.1 jmmv enum {
104 1.1 jmmv float_flag_inexact = FP_X_IMP,
105 1.1 jmmv float_flag_underflow = FP_X_UFL,
106 1.1 jmmv float_flag_overflow = FP_X_OFL,
107 1.1 jmmv float_flag_divbyzero = FP_X_DZ,
108 1.1 jmmv float_flag_invalid = FP_X_INV
109 1.1 jmmv };
110 1.1 jmmv
111 1.1 jmmv /*
112 1.1 jmmv -------------------------------------------------------------------------------
113 1.1 jmmv Routine to raise any or all of the software IEC/IEEE floating-point
114 1.1 jmmv exception flags.
115 1.1 jmmv -------------------------------------------------------------------------------
116 1.1 jmmv */
117 1.1 jmmv void float_raise( fp_except );
118 1.1 jmmv
119 1.1 jmmv /*
120 1.1 jmmv -------------------------------------------------------------------------------
121 1.1 jmmv Software IEC/IEEE integer-to-floating-point conversion routines.
122 1.1 jmmv -------------------------------------------------------------------------------
123 1.1 jmmv */
124 1.3 matt float32 int32_to_float32( int32 );
125 1.3 matt float32 uint32_to_float32( uint32 );
126 1.3 matt float64 int32_to_float64( int32 );
127 1.3 matt float64 uint32_to_float64( uint32 );
128 1.1 jmmv #ifdef FLOATX80
129 1.3 matt floatx80 int32_to_floatx80( int32 );
130 1.3 matt floatx80 uint32_to_floatx80( uint32 );
131 1.1 jmmv #endif
132 1.1 jmmv #ifdef FLOAT128
133 1.3 matt float128 int32_to_float128( int32 );
134 1.3 matt float128 uint32_to_float128( uint32 );
135 1.1 jmmv #endif
136 1.1 jmmv float32 int64_to_float32( long long );
137 1.1 jmmv float64 int64_to_float64( long long );
138 1.1 jmmv #ifdef FLOATX80
139 1.1 jmmv floatx80 int64_to_floatx80( long long );
140 1.1 jmmv #endif
141 1.1 jmmv #ifdef FLOAT128
142 1.1 jmmv float128 int64_to_float128( long long );
143 1.1 jmmv #endif
144 1.1 jmmv
145 1.1 jmmv /*
146 1.1 jmmv -------------------------------------------------------------------------------
147 1.1 jmmv Software IEC/IEEE single-precision conversion routines.
148 1.1 jmmv -------------------------------------------------------------------------------
149 1.1 jmmv */
150 1.1 jmmv int float32_to_int32( float32 );
151 1.1 jmmv int float32_to_int32_round_to_zero( float32 );
152 1.1 jmmv unsigned int float32_to_uint32_round_to_zero( float32 );
153 1.1 jmmv long long float32_to_int64( float32 );
154 1.1 jmmv long long float32_to_int64_round_to_zero( float32 );
155 1.1 jmmv float64 float32_to_float64( float32 );
156 1.1 jmmv #ifdef FLOATX80
157 1.1 jmmv floatx80 float32_to_floatx80( float32 );
158 1.1 jmmv #endif
159 1.1 jmmv #ifdef FLOAT128
160 1.1 jmmv float128 float32_to_float128( float32 );
161 1.1 jmmv #endif
162 1.1 jmmv
163 1.1 jmmv /*
164 1.1 jmmv -------------------------------------------------------------------------------
165 1.1 jmmv Software IEC/IEEE single-precision operations.
166 1.1 jmmv -------------------------------------------------------------------------------
167 1.1 jmmv */
168 1.1 jmmv float32 float32_round_to_int( float32 );
169 1.1 jmmv float32 float32_add( float32, float32 );
170 1.1 jmmv float32 float32_sub( float32, float32 );
171 1.1 jmmv float32 float32_mul( float32, float32 );
172 1.1 jmmv float32 float32_div( float32, float32 );
173 1.1 jmmv float32 float32_rem( float32, float32 );
174 1.1 jmmv float32 float32_sqrt( float32 );
175 1.1 jmmv flag float32_eq( float32, float32 );
176 1.1 jmmv flag float32_le( float32, float32 );
177 1.1 jmmv flag float32_lt( float32, float32 );
178 1.1 jmmv flag float32_eq_signaling( float32, float32 );
179 1.1 jmmv flag float32_le_quiet( float32, float32 );
180 1.1 jmmv flag float32_lt_quiet( float32, float32 );
181 1.7 matt #if !defined(SOFTFLOAT_FOR_GCC) || defined(SOFTFLOATM68K_FOR_GCC)
182 1.1 jmmv flag float32_is_signaling_nan( float32 );
183 1.1 jmmv #endif
184 1.1 jmmv
185 1.1 jmmv /*
186 1.1 jmmv -------------------------------------------------------------------------------
187 1.1 jmmv Software IEC/IEEE double-precision conversion routines.
188 1.1 jmmv -------------------------------------------------------------------------------
189 1.1 jmmv */
190 1.1 jmmv int float64_to_int32( float64 );
191 1.1 jmmv int float64_to_int32_round_to_zero( float64 );
192 1.1 jmmv unsigned int float64_to_uint32_round_to_zero( float64 );
193 1.1 jmmv long long float64_to_int64( float64 );
194 1.1 jmmv long long float64_to_int64_round_to_zero( float64 );
195 1.1 jmmv float32 float64_to_float32( float64 );
196 1.1 jmmv #ifdef FLOATX80
197 1.1 jmmv floatx80 float64_to_floatx80( float64 );
198 1.1 jmmv #endif
199 1.1 jmmv #ifdef FLOAT128
200 1.1 jmmv float128 float64_to_float128( float64 );
201 1.1 jmmv #endif
202 1.1 jmmv
203 1.1 jmmv /*
204 1.1 jmmv -------------------------------------------------------------------------------
205 1.1 jmmv Software IEC/IEEE double-precision operations.
206 1.1 jmmv -------------------------------------------------------------------------------
207 1.1 jmmv */
208 1.1 jmmv float64 float64_round_to_int( float64 );
209 1.1 jmmv float64 float64_add( float64, float64 );
210 1.1 jmmv float64 float64_sub( float64, float64 );
211 1.1 jmmv float64 float64_mul( float64, float64 );
212 1.1 jmmv float64 float64_div( float64, float64 );
213 1.1 jmmv float64 float64_rem( float64, float64 );
214 1.1 jmmv float64 float64_sqrt( float64 );
215 1.1 jmmv flag float64_eq( float64, float64 );
216 1.1 jmmv flag float64_le( float64, float64 );
217 1.1 jmmv flag float64_lt( float64, float64 );
218 1.1 jmmv flag float64_eq_signaling( float64, float64 );
219 1.1 jmmv flag float64_le_quiet( float64, float64 );
220 1.1 jmmv flag float64_lt_quiet( float64, float64 );
221 1.8 nat #if !defined(SOFTFLOAT_FOR_GCC) || defined(SOFTFLOATM68K_FOR_GCC)
222 1.1 jmmv flag float64_is_signaling_nan( float64 );
223 1.8 nat #endif
224 1.1 jmmv
225 1.1 jmmv #ifdef FLOATX80
226 1.1 jmmv
227 1.1 jmmv /*
228 1.1 jmmv -------------------------------------------------------------------------------
229 1.1 jmmv Software IEC/IEEE extended double-precision conversion routines.
230 1.1 jmmv -------------------------------------------------------------------------------
231 1.1 jmmv */
232 1.1 jmmv int floatx80_to_int32( floatx80 );
233 1.1 jmmv int floatx80_to_int32_round_to_zero( floatx80 );
234 1.1 jmmv long long floatx80_to_int64( floatx80 );
235 1.1 jmmv long long floatx80_to_int64_round_to_zero( floatx80 );
236 1.1 jmmv float32 floatx80_to_float32( floatx80 );
237 1.1 jmmv float64 floatx80_to_float64( floatx80 );
238 1.1 jmmv #ifdef FLOAT128
239 1.1 jmmv float128 floatx80_to_float128( floatx80 );
240 1.1 jmmv #endif
241 1.1 jmmv
242 1.1 jmmv /*
243 1.1 jmmv -------------------------------------------------------------------------------
244 1.1 jmmv Software IEC/IEEE extended double-precision rounding precision. Valid
245 1.1 jmmv values are 32, 64, and 80.
246 1.1 jmmv -------------------------------------------------------------------------------
247 1.1 jmmv */
248 1.1 jmmv extern int floatx80_rounding_precision;
249 1.1 jmmv
250 1.1 jmmv /*
251 1.1 jmmv -------------------------------------------------------------------------------
252 1.1 jmmv Software IEC/IEEE extended double-precision operations.
253 1.1 jmmv -------------------------------------------------------------------------------
254 1.1 jmmv */
255 1.1 jmmv floatx80 floatx80_round_to_int( floatx80 );
256 1.1 jmmv floatx80 floatx80_add( floatx80, floatx80 );
257 1.1 jmmv floatx80 floatx80_sub( floatx80, floatx80 );
258 1.1 jmmv floatx80 floatx80_mul( floatx80, floatx80 );
259 1.1 jmmv floatx80 floatx80_div( floatx80, floatx80 );
260 1.1 jmmv floatx80 floatx80_rem( floatx80, floatx80 );
261 1.1 jmmv floatx80 floatx80_sqrt( floatx80 );
262 1.1 jmmv flag floatx80_eq( floatx80, floatx80 );
263 1.1 jmmv flag floatx80_le( floatx80, floatx80 );
264 1.1 jmmv flag floatx80_lt( floatx80, floatx80 );
265 1.1 jmmv flag floatx80_eq_signaling( floatx80, floatx80 );
266 1.1 jmmv flag floatx80_le_quiet( floatx80, floatx80 );
267 1.1 jmmv flag floatx80_lt_quiet( floatx80, floatx80 );
268 1.1 jmmv flag floatx80_is_signaling_nan( floatx80 );
269 1.1 jmmv flag floatx80_is_nan( floatx80 );
270 1.1 jmmv
271 1.1 jmmv #endif
272 1.1 jmmv
273 1.1 jmmv #ifdef FLOAT128
274 1.1 jmmv
275 1.1 jmmv /*
276 1.1 jmmv -------------------------------------------------------------------------------
277 1.1 jmmv Software IEC/IEEE quadruple-precision conversion routines.
278 1.1 jmmv -------------------------------------------------------------------------------
279 1.1 jmmv */
280 1.1 jmmv int float128_to_int32( float128 );
281 1.1 jmmv int float128_to_int32_round_to_zero( float128 );
282 1.1 jmmv long long float128_to_int64( float128 );
283 1.1 jmmv long long float128_to_int64_round_to_zero( float128 );
284 1.1 jmmv float32 float128_to_float32( float128 );
285 1.1 jmmv float64 float128_to_float64( float128 );
286 1.1 jmmv #ifdef FLOATX80
287 1.1 jmmv floatx80 float128_to_floatx80( float128 );
288 1.1 jmmv #endif
289 1.1 jmmv
290 1.1 jmmv /*
291 1.1 jmmv -------------------------------------------------------------------------------
292 1.1 jmmv Software IEC/IEEE quadruple-precision operations.
293 1.1 jmmv -------------------------------------------------------------------------------
294 1.1 jmmv */
295 1.1 jmmv float128 float128_round_to_int( float128 );
296 1.1 jmmv float128 float128_add( float128, float128 );
297 1.1 jmmv float128 float128_sub( float128, float128 );
298 1.1 jmmv float128 float128_mul( float128, float128 );
299 1.1 jmmv float128 float128_div( float128, float128 );
300 1.1 jmmv float128 float128_rem( float128, float128 );
301 1.1 jmmv float128 float128_sqrt( float128 );
302 1.1 jmmv flag float128_eq( float128, float128 );
303 1.1 jmmv flag float128_le( float128, float128 );
304 1.1 jmmv flag float128_lt( float128, float128 );
305 1.1 jmmv flag float128_eq_signaling( float128, float128 );
306 1.1 jmmv flag float128_le_quiet( float128, float128 );
307 1.1 jmmv flag float128_lt_quiet( float128, float128 );
308 1.1 jmmv flag float128_is_signaling_nan( float128 );
309 1.1 jmmv
310 1.1 jmmv #endif
311