blob: 152637093854fd645d72db786ef6ea3c6c259a15 [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:
Maciej W. Rozyckid5afa7e2015-04-03 23:25:34 +010046 return ieee754sp_nanxcpt(ieee754sp_nan_fdp(xs, xm));
Ralf Baechle3f7cac42014-04-26 01:49:14 +020047
Linus Torvalds1da177e2005-04-16 15:20:36 -070048 case IEEE754_CLASS_QNAN:
Maciej W. Rozyckid19cf862015-04-03 23:25:23 +010049 nan = ieee754sp_nan_fdp(xs, xm);
Linus Torvalds1da177e2005-04-16 15:20:36 -070050 if (!ieee754sp_isnan(nan))
51 nan = ieee754sp_indef();
Maciej W. Rozycki539bfb52015-04-03 23:25:30 +010052 return nan;
Ralf Baechle3f7cac42014-04-26 01:49:14 +020053
Linus Torvalds1da177e2005-04-16 15:20:36 -070054 case IEEE754_CLASS_INF:
55 return ieee754sp_inf(xs);
Ralf Baechle3f7cac42014-04-26 01:49:14 +020056
Linus Torvalds1da177e2005-04-16 15:20:36 -070057 case IEEE754_CLASS_ZERO:
58 return ieee754sp_zero(xs);
Ralf Baechle3f7cac42014-04-26 01:49:14 +020059
Linus Torvalds1da177e2005-04-16 15:20:36 -070060 case IEEE754_CLASS_DNORM:
61 /* can't possibly be sp representable */
Ralf Baechle9e8bad12014-04-19 00:36:32 +020062 ieee754_setcx(IEEE754_UNDERFLOW);
63 ieee754_setcx(IEEE754_INEXACT);
Ralf Baechle56a64732014-04-30 11:21:55 +020064 if ((ieee754_csr.rm == FPU_CSR_RU && !xs) ||
65 (ieee754_csr.rm == FPU_CSR_RD && xs))
Ralf Baechle90efba32014-04-25 03:19:57 +020066 return ieee754sp_mind(xs);
67 return ieee754sp_zero(xs);
Ralf Baechle3f7cac42014-04-26 01:49:14 +020068
Linus Torvalds1da177e2005-04-16 15:20:36 -070069 case IEEE754_CLASS_NORM:
70 break;
71 }
72
Ralf Baechle3f7cac42014-04-26 01:49:14 +020073 /*
74 * Convert from DP_FBITS to SP_FBITS+3 with sticky right shift.
75 */
76 rm = (xm >> (DP_FBITS - (SP_FBITS + 3))) |
77 ((xm << (64 - (DP_FBITS - (SP_FBITS + 3)))) != 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -070078
Ralf Baechle3f7cac42014-04-26 01:49:14 +020079 return ieee754sp_format(xs, xe, rm);
Linus Torvalds1da177e2005-04-16 15:20:36 -070080}