blob: f4b4cabfe2e11740e17b4c77c913e6762ac26b71 [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 +020024int ieee754sp_tint(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 COMPXSP;
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 ieee754si_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 ieee754si_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 >= 31) {
56 /* look for valid corner case */
57 if (xe == 31 && xs && xm == SP_HIDDEN_BIT)
58 return -0x80000000;
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 ieee754si_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;
Linus Torvalds1da177e2005-04-16 15:20:36 -070067 } else {
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 Gelmini3e4088a2010-05-23 21:52:09 +020073 } else {
Linus Torvalds1da177e2005-04-16 15:20:36 -070074 /* Shifting a u32 32 times does not work,
75 * so we do it in two steps. Be aware that xe
76 * may be -1 */
77 residue = xm << (xe + 1);
Ralf Baechlead8fb5532014-04-22 15:51:55 +020078 residue <<= 31 - SP_FBITS;
Linus Torvalds1da177e2005-04-16 15:20:36 -070079 round = (residue >> 31) != 0;
80 sticky = (residue << 1) != 0;
Ralf Baechlead8fb5532014-04-22 15:51:55 +020081 xm >>= SP_FBITS - xe;
Linus Torvalds1da177e2005-04-16 15:20:36 -070082 }
83 odd = (xm & 0x1) != 0x0;
84 switch (ieee754_csr.rm) {
Ralf Baechle56a64732014-04-30 11:21:55 +020085 case FPU_CSR_RN:
Linus Torvalds1da177e2005-04-16 15:20:36 -070086 if (round && (sticky || odd))
87 xm++;
88 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020089 case FPU_CSR_RZ:
Linus Torvalds1da177e2005-04-16 15:20:36 -070090 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020091 case FPU_CSR_RU: /* toward +Infinity */
Linus Torvalds1da177e2005-04-16 15:20:36 -070092 if ((round || sticky) && !xs)
93 xm++;
94 break;
Ralf Baechle56a64732014-04-30 11:21:55 +020095 case FPU_CSR_RD: /* toward -Infinity */
Linus Torvalds1da177e2005-04-16 15:20:36 -070096 if ((round || sticky) && xs)
97 xm++;
98 break;
99 }
100 if ((xm >> 31) != 0) {
101 /* This can happen after rounding */
Ralf Baechle9e8bad12014-04-19 00:36:32 +0200102 ieee754_setcx(IEEE754_INVALID_OPERATION);
Maciej W. Rozycki90d53a92015-11-13 00:47:28 +0000103 return ieee754si_overflow(xs);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700104 }
105 if (round || sticky)
Ralf Baechle9e8bad12014-04-19 00:36:32 +0200106 ieee754_setcx(IEEE754_INEXACT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700107 }
108 if (xs)
109 return -xm;
110 else
111 return xm;
112}