1 // SPDX-License-Identifier: GPL-2.0-only
2 /* IEEE754 floating point arithmetic
6 * MIPS floating point support
7 * Copyright (C) 1994-2000 Algorithmics Ltd.
10 #include "ieee754sp.h"
12 int ieee754sp_tint(union ieee754sp x
)
27 case IEEE754_CLASS_SNAN
:
28 case IEEE754_CLASS_QNAN
:
29 ieee754_setcx(IEEE754_INVALID_OPERATION
);
30 return ieee754si_indef();
32 case IEEE754_CLASS_INF
:
33 ieee754_setcx(IEEE754_INVALID_OPERATION
);
34 return ieee754si_overflow(xs
);
36 case IEEE754_CLASS_ZERO
:
39 case IEEE754_CLASS_DNORM
:
40 case IEEE754_CLASS_NORM
:
44 /* look for valid corner case */
45 if (xe
== 31 && xs
&& xm
== SP_HIDDEN_BIT
)
47 /* Set invalid. We will only use overflow for floating
49 ieee754_setcx(IEEE754_INVALID_OPERATION
);
50 return ieee754si_overflow(xs
);
59 sticky
= residue
!= 0;
62 /* Shifting a u32 32 times does not work,
63 * so we do it in two steps. Be aware that xe
65 residue
= xm
<< (xe
+ 1);
66 residue
<<= 31 - SP_FBITS
;
67 round
= (residue
>> 31) != 0;
68 sticky
= (residue
<< 1) != 0;
71 odd
= (xm
& 0x1) != 0x0;
72 switch (ieee754_csr
.rm
) {
74 if (round
&& (sticky
|| odd
))
79 case FPU_CSR_RU
: /* toward +Infinity */
80 if ((round
|| sticky
) && !xs
)
83 case FPU_CSR_RD
: /* toward -Infinity */
84 if ((round
|| sticky
) && xs
)
88 if ((xm
>> 31) != 0) {
89 /* This can happen after rounding */
90 ieee754_setcx(IEEE754_INVALID_OPERATION
);
91 return ieee754si_overflow(xs
);
94 ieee754_setcx(IEEE754_INEXACT
);