blob: df117923adaa809111799ab8c3f97a442f599b1e [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 *
8 * ########################################################################
9 *
10 * This program is free software; you can distribute it and/or modify it
11 * under the terms of the GNU General Public License (Version 2) as
12 * published by the Free Software Foundation.
13 *
14 * This program is distributed in the hope it will be useful, but WITHOUT
15 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 * for more details.
18 *
19 * You should have received a copy of the GNU General Public License along
20 * with this program; if not, write to the Free Software Foundation, Inc.,
21 * 59 Temple Place - Suite 330, Boston MA 02111-1307, USA.
22 *
23 * ########################################################################
24 */
25
26
27#include "ieee754sp.h"
Ralf Baechleb3a7ad22014-04-22 16:33:07 +020028#include "ieee754dp.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070029
Ralf Baechle2209bcb2014-04-16 01:31:11 +020030s64 ieee754sp_tlong(union ieee754sp x)
Linus Torvalds1da177e2005-04-16 15:20:36 -070031{
32 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();
Linus Torvalds1da177e2005-04-16 15:20:36 -070045 case IEEE754_CLASS_ZERO:
46 return 0;
47 case IEEE754_CLASS_DNORM:
48 case IEEE754_CLASS_NORM:
49 break;
50 }
51 if (xe >= 63) {
52 /* look for valid corner case */
53 if (xe == 63 && xs && xm == SP_HIDDEN_BIT)
54 return -0x8000000000000000LL;
55 /* Set invalid. We will only use overflow for floating
56 point overflow */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020057 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020058 return ieee754di_indef();
Linus Torvalds1da177e2005-04-16 15:20:36 -070059 }
60 /* oh gawd */
Ralf Baechlead8fb5532014-04-22 15:51:55 +020061 if (xe > SP_FBITS) {
62 xm <<= xe - SP_FBITS;
63 } else if (xe < SP_FBITS) {
Linus Torvalds1da177e2005-04-16 15:20:36 -070064 u32 residue;
65 int round;
66 int sticky;
67 int odd;
68
69 if (xe < -1) {
70 residue = xm;
71 round = 0;
72 sticky = residue != 0;
73 xm = 0;
Andrea Gelminiabb86dc2010-05-23 21:52:10 +020074 } else {
Ralf Baechlead8fb5532014-04-22 15:51:55 +020075 residue = xm << (32 - SP_FBITS + xe);
Linus Torvalds1da177e2005-04-16 15:20:36 -070076 round = (residue >> 31) != 0;
77 sticky = (residue << 1) != 0;
Ralf Baechlead8fb5532014-04-22 15:51:55 +020078 xm >>= SP_FBITS - xe;
Linus Torvalds1da177e2005-04-16 15:20:36 -070079 }
80 odd = (xm & 0x1) != 0x0;
81 switch (ieee754_csr.rm) {
82 case IEEE754_RN:
83 if (round && (sticky || odd))
84 xm++;
85 break;
86 case IEEE754_RZ:
87 break;
88 case IEEE754_RU: /* toward +Infinity */
89 if ((round || sticky) && !xs)
90 xm++;
91 break;
92 case IEEE754_RD: /* toward -Infinity */
93 if ((round || sticky) && xs)
94 xm++;
95 break;
96 }
97 if ((xm >> 63) != 0) {
98 /* This can happen after rounding */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020099 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +0200100 return ieee754di_indef();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700101 }
102 if (round || sticky)
Ralf Baechle9e8bad12014-04-19 00:36:32 +0200103 ieee754_setcx(IEEE754_INEXACT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700104 }
105 if (xs)
106 return -xm;
107 else
108 return xm;
109}