blob: 4c0d0b4c4876eae26bf9a24a81efb8c1d803416f [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
Maciej W. Rozyckid19cf862015-04-03 23:25:23 +010025static inline union ieee754sp ieee754sp_nan_fdp(int xs, u64 xm)
26{
27 return buildsp(xs, SP_EMAX + 1 + SP_EBIAS,
28 xm >> (DP_FBITS - SP_FBITS));
29}
30
Ralf Baechle2209bcb2014-04-16 01:31:11 +020031union ieee754sp ieee754sp_fdp(union ieee754dp x)
Linus Torvalds1da177e2005-04-16 15:20:36 -070032{
Ralf Baechle3f7cac42014-04-26 01:49:14 +020033 u32 rm;
34
Linus Torvalds1da177e2005-04-16 15:20:36 -070035 COMPXDP;
Ralf Baechle2209bcb2014-04-16 01:31:11 +020036 union ieee754sp nan;
Linus Torvalds1da177e2005-04-16 15:20:36 -070037
38 EXPLODEXDP;
39
Ralf Baechle9e8bad12014-04-19 00:36:32 +020040 ieee754_clearcx();
Linus Torvalds1da177e2005-04-16 15:20:36 -070041
42 FLUSHXDP;
43
44 switch (xc) {
45 case IEEE754_CLASS_SNAN:
Ralf Baechle9e8bad12014-04-19 00:36:32 +020046 ieee754_setcx(IEEE754_INVALID_OPERATION);
Ralf Baechle90efba32014-04-25 03:19:57 +020047 return ieee754sp_nanxcpt(ieee754sp_indef());
Ralf Baechle3f7cac42014-04-26 01:49:14 +020048
Linus Torvalds1da177e2005-04-16 15:20:36 -070049 case IEEE754_CLASS_QNAN:
Maciej W. Rozyckid19cf862015-04-03 23:25:23 +010050 nan = ieee754sp_nan_fdp(xs, xm);
Linus Torvalds1da177e2005-04-16 15:20:36 -070051 if (!ieee754sp_isnan(nan))
52 nan = ieee754sp_indef();
Ralf Baechle90efba32014-04-25 03:19:57 +020053 return ieee754sp_nanxcpt(nan);
Ralf Baechle3f7cac42014-04-26 01:49:14 +020054
Linus Torvalds1da177e2005-04-16 15:20:36 -070055 case IEEE754_CLASS_INF:
56 return ieee754sp_inf(xs);
Ralf Baechle3f7cac42014-04-26 01:49:14 +020057
Linus Torvalds1da177e2005-04-16 15:20:36 -070058 case IEEE754_CLASS_ZERO:
59 return ieee754sp_zero(xs);
Ralf Baechle3f7cac42014-04-26 01:49:14 +020060
Linus Torvalds1da177e2005-04-16 15:20:36 -070061 case IEEE754_CLASS_DNORM:
62 /* can't possibly be sp representable */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020063 ieee754_setcx(IEEE754_UNDERFLOW);
64 ieee754_setcx(IEEE754_INEXACT);
Ralf Baechle56a64732014-04-30 11:21:55 +020065 if ((ieee754_csr.rm == FPU_CSR_RU && !xs) ||
66 (ieee754_csr.rm == FPU_CSR_RD && xs))
Ralf Baechle90efba32014-04-25 03:19:57 +020067 return ieee754sp_mind(xs);
68 return ieee754sp_zero(xs);
Ralf Baechle3f7cac42014-04-26 01:49:14 +020069
Linus Torvalds1da177e2005-04-16 15:20:36 -070070 case IEEE754_CLASS_NORM:
71 break;
72 }
73
Ralf Baechle3f7cac42014-04-26 01:49:14 +020074 /*
75 * Convert from DP_FBITS to SP_FBITS+3 with sticky right shift.
76 */
77 rm = (xm >> (DP_FBITS - (SP_FBITS + 3))) |
78 ((xm << (64 - (DP_FBITS - (SP_FBITS + 3)))) != 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -070079
Ralf Baechle3f7cac42014-04-26 01:49:14 +020080 return ieee754sp_format(xs, xe, rm);
Linus Torvalds1da177e2005-04-16 15:20:36 -070081}