1 /* Native implementation of soft float functions. Only a single status
2 context is supported */
3 #include "softfloat.h"
4 #include <math.h>
5 #if defined(CONFIG_SOLARIS)
6 #include <fenv.h>
7 #endif
8
set_float_rounding_mode(int val STATUS_PARAM)9 void set_float_rounding_mode(int val STATUS_PARAM)
10 {
11 STATUS(float_rounding_mode) = val;
12 #if (defined(CONFIG_BSD) && !defined(__APPLE__) && !defined(__GLIBC__)) || \
13 (defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
14 fpsetround(val);
15 #else
16 fesetround(val);
17 #endif
18 }
19
20 #ifdef FLOATX80
set_floatx80_rounding_precision(int val STATUS_PARAM)21 void set_floatx80_rounding_precision(int val STATUS_PARAM)
22 {
23 STATUS(floatx80_rounding_precision) = val;
24 }
25 #endif
26
27 #if defined(CONFIG_BSD) || \
28 (defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
29 #define lrint(d) ((int32_t)rint(d))
30 #define llrint(d) ((int64_t)rint(d))
31 #define lrintf(f) ((int32_t)rint(f))
32 #define llrintf(f) ((int64_t)rint(f))
33 #define sqrtf(f) ((float)sqrt(f))
34 #define remainderf(fa, fb) ((float)remainder(fa, fb))
35 #define rintf(f) ((float)rint(f))
36 #if !defined(__sparc__) && \
37 (defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
38 extern long double rintl(long double);
39 extern long double scalbnl(long double, int);
40
41 long long
llrintl(long double x)42 llrintl(long double x) {
43 return ((long long) rintl(x));
44 }
45
46 long
lrintl(long double x)47 lrintl(long double x) {
48 return ((long) rintl(x));
49 }
50
51 long double
ldexpl(long double x,int n)52 ldexpl(long double x, int n) {
53 return (scalbnl(x, n));
54 }
55 #endif
56 #endif
57
58 #if defined(_ARCH_PPC)
59
60 /* correct (but slow) PowerPC rint() (glibc version is incorrect) */
qemu_rint(double x)61 static double qemu_rint(double x)
62 {
63 double y = 4503599627370496.0;
64 if (fabs(x) >= y)
65 return x;
66 if (x < 0)
67 y = -y;
68 y = (x + y) - y;
69 if (y == 0.0)
70 y = copysign(y, x);
71 return y;
72 }
73
74 #define rint qemu_rint
75 #endif
76
77 /*----------------------------------------------------------------------------
78 | Software IEC/IEEE integer-to-floating-point conversion routines.
79 *----------------------------------------------------------------------------*/
int32_to_float32(int v STATUS_PARAM)80 float32 int32_to_float32(int v STATUS_PARAM)
81 {
82 return (float32)v;
83 }
84
uint32_to_float32(unsigned int v STATUS_PARAM)85 float32 uint32_to_float32(unsigned int v STATUS_PARAM)
86 {
87 return (float32)v;
88 }
89
int32_to_float64(int v STATUS_PARAM)90 float64 int32_to_float64(int v STATUS_PARAM)
91 {
92 return (float64)v;
93 }
94
uint32_to_float64(unsigned int v STATUS_PARAM)95 float64 uint32_to_float64(unsigned int v STATUS_PARAM)
96 {
97 return (float64)v;
98 }
99
100 #ifdef FLOATX80
int32_to_floatx80(int v STATUS_PARAM)101 floatx80 int32_to_floatx80(int v STATUS_PARAM)
102 {
103 return (floatx80)v;
104 }
105 #endif
int64_to_float32(int64_t v STATUS_PARAM)106 float32 int64_to_float32( int64_t v STATUS_PARAM)
107 {
108 return (float32)v;
109 }
uint64_to_float32(uint64_t v STATUS_PARAM)110 float32 uint64_to_float32( uint64_t v STATUS_PARAM)
111 {
112 return (float32)v;
113 }
int64_to_float64(int64_t v STATUS_PARAM)114 float64 int64_to_float64( int64_t v STATUS_PARAM)
115 {
116 return (float64)v;
117 }
uint64_to_float64(uint64_t v STATUS_PARAM)118 float64 uint64_to_float64( uint64_t v STATUS_PARAM)
119 {
120 return (float64)v;
121 }
122 #ifdef FLOATX80
int64_to_floatx80(int64_t v STATUS_PARAM)123 floatx80 int64_to_floatx80( int64_t v STATUS_PARAM)
124 {
125 return (floatx80)v;
126 }
127 #endif
128
129 /* XXX: this code implements the x86 behaviour, not the IEEE one. */
130 #if HOST_LONG_BITS == 32
long_to_int32(long a)131 static inline int long_to_int32(long a)
132 {
133 return a;
134 }
135 #else
long_to_int32(long a)136 static inline int long_to_int32(long a)
137 {
138 if (a != (int32_t)a)
139 a = 0x80000000;
140 return a;
141 }
142 #endif
143
144 /*----------------------------------------------------------------------------
145 | Software IEC/IEEE single-precision conversion routines.
146 *----------------------------------------------------------------------------*/
float32_to_int32(float32 a STATUS_PARAM)147 int float32_to_int32( float32 a STATUS_PARAM)
148 {
149 return long_to_int32(lrintf(a));
150 }
float32_to_int32_round_to_zero(float32 a STATUS_PARAM)151 int float32_to_int32_round_to_zero( float32 a STATUS_PARAM)
152 {
153 return (int)a;
154 }
float32_to_int64(float32 a STATUS_PARAM)155 int64_t float32_to_int64( float32 a STATUS_PARAM)
156 {
157 return llrintf(a);
158 }
159
float32_to_int64_round_to_zero(float32 a STATUS_PARAM)160 int64_t float32_to_int64_round_to_zero( float32 a STATUS_PARAM)
161 {
162 return (int64_t)a;
163 }
164
float32_to_float64(float32 a STATUS_PARAM)165 float64 float32_to_float64( float32 a STATUS_PARAM)
166 {
167 return a;
168 }
169 #ifdef FLOATX80
float32_to_floatx80(float32 a STATUS_PARAM)170 floatx80 float32_to_floatx80( float32 a STATUS_PARAM)
171 {
172 return a;
173 }
174 #endif
175
float32_to_uint32(float32 a STATUS_PARAM)176 unsigned int float32_to_uint32( float32 a STATUS_PARAM)
177 {
178 int64_t v;
179 unsigned int res;
180
181 v = llrintf(a);
182 if (v < 0) {
183 res = 0;
184 } else if (v > 0xffffffff) {
185 res = 0xffffffff;
186 } else {
187 res = v;
188 }
189 return res;
190 }
float32_to_uint32_round_to_zero(float32 a STATUS_PARAM)191 unsigned int float32_to_uint32_round_to_zero( float32 a STATUS_PARAM)
192 {
193 int64_t v;
194 unsigned int res;
195
196 v = (int64_t)a;
197 if (v < 0) {
198 res = 0;
199 } else if (v > 0xffffffff) {
200 res = 0xffffffff;
201 } else {
202 res = v;
203 }
204 return res;
205 }
206
207 /*----------------------------------------------------------------------------
208 | Software IEC/IEEE single-precision operations.
209 *----------------------------------------------------------------------------*/
float32_round_to_int(float32 a STATUS_PARAM)210 float32 float32_round_to_int( float32 a STATUS_PARAM)
211 {
212 return rintf(a);
213 }
214
float32_rem(float32 a,float32 b STATUS_PARAM)215 float32 float32_rem( float32 a, float32 b STATUS_PARAM)
216 {
217 return remainderf(a, b);
218 }
219
float32_sqrt(float32 a STATUS_PARAM)220 float32 float32_sqrt( float32 a STATUS_PARAM)
221 {
222 return sqrtf(a);
223 }
float32_compare(float32 a,float32 b STATUS_PARAM)224 int float32_compare( float32 a, float32 b STATUS_PARAM )
225 {
226 if (a < b) {
227 return float_relation_less;
228 } else if (a == b) {
229 return float_relation_equal;
230 } else if (a > b) {
231 return float_relation_greater;
232 } else {
233 return float_relation_unordered;
234 }
235 }
float32_compare_quiet(float32 a,float32 b STATUS_PARAM)236 int float32_compare_quiet( float32 a, float32 b STATUS_PARAM )
237 {
238 if (isless(a, b)) {
239 return float_relation_less;
240 } else if (a == b) {
241 return float_relation_equal;
242 } else if (isgreater(a, b)) {
243 return float_relation_greater;
244 } else {
245 return float_relation_unordered;
246 }
247 }
float32_is_signaling_nan(float32 a1)248 int float32_is_signaling_nan( float32 a1)
249 {
250 float32u u;
251 uint32_t a;
252 u.f = a1;
253 a = u.i;
254 return ( ( ( a>>22 ) & 0x1FF ) == 0x1FE ) && ( a & 0x003FFFFF );
255 }
256
float32_is_nan(float32 a1)257 int float32_is_nan( float32 a1 )
258 {
259 float32u u;
260 uint64_t a;
261 u.f = a1;
262 a = u.i;
263 return ( 0xFF800000 < ( a<<1 ) );
264 }
265
266 /*----------------------------------------------------------------------------
267 | Software IEC/IEEE double-precision conversion routines.
268 *----------------------------------------------------------------------------*/
float64_to_int32(float64 a STATUS_PARAM)269 int float64_to_int32( float64 a STATUS_PARAM)
270 {
271 return long_to_int32(lrint(a));
272 }
float64_to_int32_round_to_zero(float64 a STATUS_PARAM)273 int float64_to_int32_round_to_zero( float64 a STATUS_PARAM)
274 {
275 return (int)a;
276 }
float64_to_int64(float64 a STATUS_PARAM)277 int64_t float64_to_int64( float64 a STATUS_PARAM)
278 {
279 return llrint(a);
280 }
float64_to_int64_round_to_zero(float64 a STATUS_PARAM)281 int64_t float64_to_int64_round_to_zero( float64 a STATUS_PARAM)
282 {
283 return (int64_t)a;
284 }
float64_to_float32(float64 a STATUS_PARAM)285 float32 float64_to_float32( float64 a STATUS_PARAM)
286 {
287 return a;
288 }
289 #ifdef FLOATX80
float64_to_floatx80(float64 a STATUS_PARAM)290 floatx80 float64_to_floatx80( float64 a STATUS_PARAM)
291 {
292 return a;
293 }
294 #endif
295 #ifdef FLOAT128
float64_to_float128(float64 a STATUS_PARAM)296 float128 float64_to_float128( float64 a STATUS_PARAM)
297 {
298 return a;
299 }
300 #endif
301
float64_to_uint32(float64 a STATUS_PARAM)302 unsigned int float64_to_uint32( float64 a STATUS_PARAM)
303 {
304 int64_t v;
305 unsigned int res;
306
307 v = llrint(a);
308 if (v < 0) {
309 res = 0;
310 } else if (v > 0xffffffff) {
311 res = 0xffffffff;
312 } else {
313 res = v;
314 }
315 return res;
316 }
float64_to_uint32_round_to_zero(float64 a STATUS_PARAM)317 unsigned int float64_to_uint32_round_to_zero( float64 a STATUS_PARAM)
318 {
319 int64_t v;
320 unsigned int res;
321
322 v = (int64_t)a;
323 if (v < 0) {
324 res = 0;
325 } else if (v > 0xffffffff) {
326 res = 0xffffffff;
327 } else {
328 res = v;
329 }
330 return res;
331 }
float64_to_uint64(float64 a STATUS_PARAM)332 uint64_t float64_to_uint64 (float64 a STATUS_PARAM)
333 {
334 int64_t v;
335
336 v = llrint(a + (float64)INT64_MIN);
337
338 return v - INT64_MIN;
339 }
float64_to_uint64_round_to_zero(float64 a STATUS_PARAM)340 uint64_t float64_to_uint64_round_to_zero (float64 a STATUS_PARAM)
341 {
342 int64_t v;
343
344 v = (int64_t)(a + (float64)INT64_MIN);
345
346 return v - INT64_MIN;
347 }
348
349 /*----------------------------------------------------------------------------
350 | Software IEC/IEEE double-precision operations.
351 *----------------------------------------------------------------------------*/
352 #if defined(__sun__) && \
353 (defined(CONFIG_SOLARIS) && CONFIG_SOLARIS_VERSION < 10)
trunc(float64 x)354 static inline float64 trunc(float64 x)
355 {
356 return x < 0 ? -floor(-x) : floor(x);
357 }
358 #endif
float64_trunc_to_int(float64 a STATUS_PARAM)359 float64 float64_trunc_to_int( float64 a STATUS_PARAM )
360 {
361 return trunc(a);
362 }
363
float64_round_to_int(float64 a STATUS_PARAM)364 float64 float64_round_to_int( float64 a STATUS_PARAM )
365 {
366 return rint(a);
367 }
368
float64_rem(float64 a,float64 b STATUS_PARAM)369 float64 float64_rem( float64 a, float64 b STATUS_PARAM)
370 {
371 return remainder(a, b);
372 }
373
float64_sqrt(float64 a STATUS_PARAM)374 float64 float64_sqrt( float64 a STATUS_PARAM)
375 {
376 return sqrt(a);
377 }
float64_compare(float64 a,float64 b STATUS_PARAM)378 int float64_compare( float64 a, float64 b STATUS_PARAM )
379 {
380 if (a < b) {
381 return float_relation_less;
382 } else if (a == b) {
383 return float_relation_equal;
384 } else if (a > b) {
385 return float_relation_greater;
386 } else {
387 return float_relation_unordered;
388 }
389 }
float64_compare_quiet(float64 a,float64 b STATUS_PARAM)390 int float64_compare_quiet( float64 a, float64 b STATUS_PARAM )
391 {
392 if (isless(a, b)) {
393 return float_relation_less;
394 } else if (a == b) {
395 return float_relation_equal;
396 } else if (isgreater(a, b)) {
397 return float_relation_greater;
398 } else {
399 return float_relation_unordered;
400 }
401 }
float64_is_signaling_nan(float64 a1)402 int float64_is_signaling_nan( float64 a1)
403 {
404 float64u u;
405 uint64_t a;
406 u.f = a1;
407 a = u.i;
408 return
409 ( ( ( a>>51 ) & 0xFFF ) == 0xFFE )
410 && ( a & LIT64( 0x0007FFFFFFFFFFFF ) );
411
412 }
413
float64_is_nan(float64 a1)414 int float64_is_nan( float64 a1 )
415 {
416 float64u u;
417 uint64_t a;
418 u.f = a1;
419 a = u.i;
420
421 return ( LIT64( 0xFFF0000000000000 ) < (bits64) ( a<<1 ) );
422
423 }
424
425 #ifdef FLOATX80
426
427 /*----------------------------------------------------------------------------
428 | Software IEC/IEEE extended double-precision conversion routines.
429 *----------------------------------------------------------------------------*/
floatx80_to_int32(floatx80 a STATUS_PARAM)430 int floatx80_to_int32( floatx80 a STATUS_PARAM)
431 {
432 return long_to_int32(lrintl(a));
433 }
floatx80_to_int32_round_to_zero(floatx80 a STATUS_PARAM)434 int floatx80_to_int32_round_to_zero( floatx80 a STATUS_PARAM)
435 {
436 return (int)a;
437 }
floatx80_to_int64(floatx80 a STATUS_PARAM)438 int64_t floatx80_to_int64( floatx80 a STATUS_PARAM)
439 {
440 return llrintl(a);
441 }
floatx80_to_int64_round_to_zero(floatx80 a STATUS_PARAM)442 int64_t floatx80_to_int64_round_to_zero( floatx80 a STATUS_PARAM)
443 {
444 return (int64_t)a;
445 }
floatx80_to_float32(floatx80 a STATUS_PARAM)446 float32 floatx80_to_float32( floatx80 a STATUS_PARAM)
447 {
448 return a;
449 }
floatx80_to_float64(floatx80 a STATUS_PARAM)450 float64 floatx80_to_float64( floatx80 a STATUS_PARAM)
451 {
452 return a;
453 }
454
455 /*----------------------------------------------------------------------------
456 | Software IEC/IEEE extended double-precision operations.
457 *----------------------------------------------------------------------------*/
floatx80_round_to_int(floatx80 a STATUS_PARAM)458 floatx80 floatx80_round_to_int( floatx80 a STATUS_PARAM)
459 {
460 return rintl(a);
461 }
floatx80_rem(floatx80 a,floatx80 b STATUS_PARAM)462 floatx80 floatx80_rem( floatx80 a, floatx80 b STATUS_PARAM)
463 {
464 return remainderl(a, b);
465 }
floatx80_sqrt(floatx80 a STATUS_PARAM)466 floatx80 floatx80_sqrt( floatx80 a STATUS_PARAM)
467 {
468 return sqrtl(a);
469 }
floatx80_compare(floatx80 a,floatx80 b STATUS_PARAM)470 int floatx80_compare( floatx80 a, floatx80 b STATUS_PARAM )
471 {
472 if (a < b) {
473 return float_relation_less;
474 } else if (a == b) {
475 return float_relation_equal;
476 } else if (a > b) {
477 return float_relation_greater;
478 } else {
479 return float_relation_unordered;
480 }
481 }
floatx80_compare_quiet(floatx80 a,floatx80 b STATUS_PARAM)482 int floatx80_compare_quiet( floatx80 a, floatx80 b STATUS_PARAM )
483 {
484 if (isless(a, b)) {
485 return float_relation_less;
486 } else if (a == b) {
487 return float_relation_equal;
488 } else if (isgreater(a, b)) {
489 return float_relation_greater;
490 } else {
491 return float_relation_unordered;
492 }
493 }
floatx80_is_signaling_nan(floatx80 a1)494 int floatx80_is_signaling_nan( floatx80 a1)
495 {
496 floatx80u u;
497 uint64_t aLow;
498 u.f = a1;
499
500 aLow = u.i.low & ~ LIT64( 0x4000000000000000 );
501 return
502 ( ( u.i.high & 0x7FFF ) == 0x7FFF )
503 && (bits64) ( aLow<<1 )
504 && ( u.i.low == aLow );
505 }
506
floatx80_is_nan(floatx80 a1)507 int floatx80_is_nan( floatx80 a1 )
508 {
509 floatx80u u;
510 u.f = a1;
511 return ( ( u.i.high & 0x7FFF ) == 0x7FFF ) && (bits64) ( u.i.low<<1 );
512 }
513
514 #endif
515