blob: 9f3c742c1cea6ac264d1d4d66ef56b6916f675cb [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"
Ralf Baechleb3a7ad22014-04-22 16:33:07 +020023#include "ieee754dp.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070024
Ralf Baechle2209bcb2014-04-16 01:31:11 +020025s64 ieee754sp_tlong(union ieee754sp x)
Linus Torvalds1da177e2005-04-16 15:20:36 -070026{
Ralf Baechle3f7cac42014-04-26 01:49:14 +020027 u32 residue;
28 int round;
29 int sticky;
30 int odd;
31
Linus Torvalds1da177e2005-04-16 15:20:36 -070032 COMPXDP; /* <-- need 64-bit mantissa tmp */
33
Ralf Baechle9e8bad12014-04-19 00:36:32 +020034 ieee754_clearcx();
Linus Torvalds1da177e2005-04-16 15:20:36 -070035
36 EXPLODEXSP;
37 FLUSHXSP;
38
39 switch (xc) {
40 case IEEE754_CLASS_SNAN:
41 case IEEE754_CLASS_QNAN:
42 case IEEE754_CLASS_INF:
Ralf Baechle9e8bad12014-04-19 00:36:32 +020043 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020044 return ieee754di_indef();
Ralf Baechle3f7cac42014-04-26 01:49:14 +020045
Linus Torvalds1da177e2005-04-16 15:20:36 -070046 case IEEE754_CLASS_ZERO:
47 return 0;
Ralf Baechle3f7cac42014-04-26 01:49:14 +020048
Linus Torvalds1da177e2005-04-16 15:20:36 -070049 case IEEE754_CLASS_DNORM:
50 case IEEE754_CLASS_NORM:
51 break;
52 }
53 if (xe >= 63) {
54 /* look for valid corner case */
55 if (xe == 63 && xs && xm == SP_HIDDEN_BIT)
56 return -0x8000000000000000LL;
57 /* Set invalid. We will only use overflow for floating
58 point overflow */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020059 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020060 return ieee754di_indef();
Linus Torvalds1da177e2005-04-16 15:20:36 -070061 }
62 /* oh gawd */
Ralf Baechlead8fb552014-04-22 15:51:55 +020063 if (xe > SP_FBITS) {
64 xm <<= xe - SP_FBITS;
65 } else if (xe < SP_FBITS) {
Linus Torvalds1da177e2005-04-16 15:20:36 -070066 if (xe < -1) {
67 residue = xm;
68 round = 0;
69 sticky = residue != 0;
70 xm = 0;
Andrea Gelminiabb86dc2010-05-23 21:52:10 +020071 } else {
Ralf Baechlead8fb552014-04-22 15:51:55 +020072 residue = xm << (32 - SP_FBITS + xe);
Linus Torvalds1da177e2005-04-16 15:20:36 -070073 round = (residue >> 31) != 0;
74 sticky = (residue << 1) != 0;
Ralf Baechlead8fb552014-04-22 15:51:55 +020075 xm >>= SP_FBITS - xe;
Linus Torvalds1da177e2005-04-16 15:20:36 -070076 }
77 odd = (xm & 0x1) != 0x0;
78 switch (ieee754_csr.rm) {
Ralf Baechle56a64732014-04-30 11:21:55 +020079 case FPU_CSR_RN:
Linus Torvalds1da177e2005-04-16 15:20:36 -070080 if (round && (sticky || odd))
81 xm++;
82 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020083 case FPU_CSR_RZ:
Linus Torvalds1da177e2005-04-16 15:20:36 -070084 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020085 case FPU_CSR_RU: /* toward +Infinity */
Linus Torvalds1da177e2005-04-16 15:20:36 -070086 if ((round || sticky) && !xs)
87 xm++;
88 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020089 case FPU_CSR_RD: /* toward -Infinity */
Linus Torvalds1da177e2005-04-16 15:20:36 -070090 if ((round || sticky) && xs)
91 xm++;
92 break;
93 }
94 if ((xm >> 63) != 0) {
95 /* This can happen after rounding */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020096 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020097 return ieee754di_indef();
Linus Torvalds1da177e2005-04-16 15:20:36 -070098 }
99 if (round || sticky)
Ralf Baechle9e8bad12014-04-19 00:36:32 +0200100 ieee754_setcx(IEEE754_INEXACT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700101 }
102 if (xs)
103 return -xm;
104 else
105 return xm;
106}