blob: 5836fa1e69d81eee97f4e8e60f93d9af0198c35c [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * IEEE754 floating point
3 * double precision internal header file
4 */
5/*
6 * MIPS floating point support
7 * Copyright (C) 1994-2000 Algorithmics Ltd.
Linus Torvalds1da177e2005-04-16 15:20:36 -07008 *
9 * ########################################################################
10 *
11 * This program is free software; you can distribute it and/or modify it
12 * under the terms of the GNU General Public License (Version 2) as
13 * published by the Free Software Foundation.
14 *
15 * This program is distributed in the hope it will be useful, but WITHOUT
16 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 * for more details.
19 *
20 * You should have received a copy of the GNU General Public License along
21 * with this program; if not, write to the Free Software Foundation, Inc.,
22 * 59 Temple Place - Suite 330, Boston MA 02111-1307, USA.
23 *
24 * ########################################################################
25 */
26
Ralf Baechlecae55062014-04-16 00:47:59 +020027#include <linux/compiler.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070028
29#include "ieee754int.h"
30
31#define assert(expr) ((void)0)
32
33/* 3bit extended single precision sticky right shift */
34#define SPXSRSXn(rs) \
35 (xe += rs, \
36 xm = (rs > (SP_MBITS+3))?1:((xm) >> (rs)) | ((xm) << (32-(rs)) != 0))
37
38#define SPXSRSX1() \
39 (xe++, (xm = (xm >> 1) | (xm & 1)))
40
41#define SPXSRSYn(rs) \
42 (ye+=rs, \
43 ym = (rs > (SP_MBITS+3))?1:((ym) >> (rs)) | ((ym) << (32-(rs)) != 0))
44
45#define SPXSRSY1() \
46 (ye++, (ym = (ym >> 1) | (ym & 1)))
47
48/* convert denormal to normalized with extended exponent */
49#define SPDNORMx(m,e) \
50 while( (m >> SP_MBITS) == 0) { m <<= 1; e--; }
Ralf Baechle21a151d2007-10-11 23:46:15 +010051#define SPDNORMX SPDNORMx(xm, xe)
52#define SPDNORMY SPDNORMx(ym, ye)
Linus Torvalds1da177e2005-04-16 15:20:36 -070053
Ralf Baechle2209bcb2014-04-16 01:31:11 +020054static inline union ieee754sp buildsp(int s, int bx, unsigned m)
Linus Torvalds1da177e2005-04-16 15:20:36 -070055{
Ralf Baechle2209bcb2014-04-16 01:31:11 +020056 union ieee754sp r;
Linus Torvalds1da177e2005-04-16 15:20:36 -070057
58 assert((s) == 0 || (s) == 1);
59 assert((bx) >= SP_EMIN - 1 + SP_EBIAS
60 && (bx) <= SP_EMAX + 1 + SP_EBIAS);
61 assert(((m) >> SP_MBITS) == 0);
62
63 r.parts.sign = s;
64 r.parts.bexp = bx;
65 r.parts.mant = m;
66
67 return r;
68}
69
Ralf Baechle2209bcb2014-04-16 01:31:11 +020070extern int ieee754sp_isnan(union ieee754sp);
71extern int ieee754sp_issnan(union ieee754sp);
Ralf Baechlecae55062014-04-16 00:47:59 +020072extern int __cold ieee754si_xcpt(int, const char *, ...);
73extern s64 __cold ieee754di_xcpt(s64, const char *, ...);
Ralf Baechle2209bcb2014-04-16 01:31:11 +020074extern union ieee754sp __cold ieee754sp_xcpt(union ieee754sp, const char *, ...);
75extern union ieee754sp __cold ieee754sp_nanxcpt(union ieee754sp, const char *, ...);
76extern union ieee754sp ieee754sp_bestnan(union ieee754sp, union ieee754sp);
77extern union ieee754sp ieee754sp_format(int, int, unsigned);
Linus Torvalds1da177e2005-04-16 15:20:36 -070078
79
Ralf Baechle21a151d2007-10-11 23:46:15 +010080#define SPNORMRET2(s, e, m, name, a0, a1) \
Linus Torvalds1da177e2005-04-16 15:20:36 -070081{ \
Ralf Baechle2209bcb2014-04-16 01:31:11 +020082 union ieee754sp V = ieee754sp_format(s, e, m); \
Linus Torvalds1da177e2005-04-16 15:20:36 -070083 if(TSTX()) \
Ralf Baechle21a151d2007-10-11 23:46:15 +010084 return ieee754sp_xcpt(V, name, a0, a1); \
Linus Torvalds1da177e2005-04-16 15:20:36 -070085 else \
86 return V; \
87}
88
Ralf Baechle21a151d2007-10-11 23:46:15 +010089#define SPNORMRET1(s, e, m, name, a0) SPNORMRET2(s, e, m, name, a0, a0)