blob: bca5ac9958010b6cf55afc0a8cfee7614a2ebe35 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/* IEEE754 floating point arithmetic
2 * single precision
3 */
4/*
5 * MIPS floating point support
6 * Copyright (C) 1994-2000 Algorithmics Ltd.
Linus Torvalds1da177e2005-04-16 15:20:36 -07007 *
Linus Torvalds1da177e2005-04-16 15:20:36 -07008 * This program is free software; you can distribute it and/or modify it
9 * under the terms of the GNU General Public License (Version 2) as
10 * published by the Free Software Foundation.
11 *
12 * This program is distributed in the hope it will be useful, but WITHOUT
13 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 * for more details.
16 *
17 * You should have received a copy of the GNU General Public License along
18 * with this program; if not, write to the Free Software Foundation, Inc.,
Ralf Baechle3f7cac42014-04-26 01:49:14 +020019 * 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
Linus Torvalds1da177e2005-04-16 15:20:36 -070020 */
21
Linus Torvalds1da177e2005-04-16 15:20:36 -070022#include "ieee754sp.h"
23
Ralf Baechle2209bcb2014-04-16 01:31:11 +020024s64 ieee754sp_tlong(union ieee754sp x)
Linus Torvalds1da177e2005-04-16 15:20:36 -070025{
Ralf Baechle3f7cac42014-04-26 01:49:14 +020026 u32 residue;
27 int round;
28 int sticky;
29 int odd;
30
Linus Torvalds1da177e2005-04-16 15:20:36 -070031 COMPXDP; /* <-- need 64-bit mantissa tmp */
32
Ralf Baechle9e8bad12014-04-19 00:36:32 +020033 ieee754_clearcx();
Linus Torvalds1da177e2005-04-16 15:20:36 -070034
35 EXPLODEXSP;
36 FLUSHXSP;
37
38 switch (xc) {
39 case IEEE754_CLASS_SNAN:
40 case IEEE754_CLASS_QNAN:
Ralf Baechle9e8bad12014-04-19 00:36:32 +020041 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020042 return ieee754di_indef();
Ralf Baechle3f7cac42014-04-26 01:49:14 +020043
Maciej W. Rozycki90d53a92015-11-13 00:47:28 +000044 case IEEE754_CLASS_INF:
45 ieee754_setcx(IEEE754_INVALID_OPERATION);
46 return ieee754di_overflow(xs);
47
Linus Torvalds1da177e2005-04-16 15:20:36 -070048 case IEEE754_CLASS_ZERO:
49 return 0;
Ralf Baechle3f7cac42014-04-26 01:49:14 +020050
Linus Torvalds1da177e2005-04-16 15:20:36 -070051 case IEEE754_CLASS_DNORM:
52 case IEEE754_CLASS_NORM:
53 break;
54 }
55 if (xe >= 63) {
56 /* look for valid corner case */
57 if (xe == 63 && xs && xm == SP_HIDDEN_BIT)
58 return -0x8000000000000000LL;
59 /* Set invalid. We will only use overflow for floating
60 point overflow */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020061 ieee754_setcx(IEEE754_INVALID_OPERATION);
Maciej W. Rozycki90d53a92015-11-13 00:47:28 +000062 return ieee754di_overflow(xs);
Linus Torvalds1da177e2005-04-16 15:20:36 -070063 }
64 /* oh gawd */
Ralf Baechlead8fb5532014-04-22 15:51:55 +020065 if (xe > SP_FBITS) {
66 xm <<= xe - SP_FBITS;
67 } else if (xe < SP_FBITS) {
Linus Torvalds1da177e2005-04-16 15:20:36 -070068 if (xe < -1) {
69 residue = xm;
70 round = 0;
71 sticky = residue != 0;
72 xm = 0;
Andrea Gelminiabb86dc2010-05-23 21:52:10 +020073 } else {
Ralf Baechlead8fb5532014-04-22 15:51:55 +020074 residue = xm << (32 - SP_FBITS + xe);
Linus Torvalds1da177e2005-04-16 15:20:36 -070075 round = (residue >> 31) != 0;
76 sticky = (residue << 1) != 0;
Ralf Baechlead8fb5532014-04-22 15:51:55 +020077 xm >>= SP_FBITS - xe;
Linus Torvalds1da177e2005-04-16 15:20:36 -070078 }
79 odd = (xm & 0x1) != 0x0;
80 switch (ieee754_csr.rm) {
Ralf Baechle56a64732014-04-30 11:21:55 +020081 case FPU_CSR_RN:
Linus Torvalds1da177e2005-04-16 15:20:36 -070082 if (round && (sticky || odd))
83 xm++;
84 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020085 case FPU_CSR_RZ:
Linus Torvalds1da177e2005-04-16 15:20:36 -070086 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020087 case FPU_CSR_RU: /* toward +Infinity */
Linus Torvalds1da177e2005-04-16 15:20:36 -070088 if ((round || sticky) && !xs)
89 xm++;
90 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020091 case FPU_CSR_RD: /* toward -Infinity */
Linus Torvalds1da177e2005-04-16 15:20:36 -070092 if ((round || sticky) && xs)
93 xm++;
94 break;
95 }
96 if ((xm >> 63) != 0) {
97 /* This can happen after rounding */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020098 ieee754_setcx(IEEE754_INVALID_OPERATION);
Maciej W. Rozycki90d53a92015-11-13 00:47:28 +000099 return ieee754di_overflow(xs);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100 }
101 if (round || sticky)
Ralf Baechle9e8bad12014-04-19 00:36:32 +0200102 ieee754_setcx(IEEE754_INEXACT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103 }
104 if (xs)
105 return -xm;
106 else
107 return xm;
108}