blob: e5295d7e8ce9a04ad54cec6f74ef39f8b4b1a0fe [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
Ralf Baechleb3a7ad22014-04-22 16:33:07 +020033#define SP_EBIAS 127
34#define SP_EMIN (-126)
35#define SP_EMAX 127
36#define SP_FBITS 23
37#define SP_MBITS 23
38
39#define SP_MBIT(x) ((u32)1 << (x))
40#define SP_HIDDEN_BIT SP_MBIT(SP_FBITS)
41#define SP_SIGN_BIT SP_MBIT(31)
42
43#define SPSIGN(sp) (sp.parts.sign)
44#define SPBEXP(sp) (sp.parts.bexp)
45#define SPMANT(sp) (sp.parts.mant)
46
Ralf Baechle3a33db22014-04-22 16:52:01 +020047static inline int ieee754sp_finite(union ieee754sp x)
48{
49 return SPBEXP(x) != SP_EMAX + 1 + SP_EBIAS;
50}
51
Linus Torvalds1da177e2005-04-16 15:20:36 -070052/* 3bit extended single precision sticky right shift */
Ralf Baechle47fa0c02014-04-16 11:00:12 +020053#define SPXSRSXn(rs) \
54 (xe += rs, \
Ralf Baechlead8fb5532014-04-22 15:51:55 +020055 xm = (rs > (SP_FBITS+3))?1:((xm) >> (rs)) | ((xm) << (32-(rs)) != 0))
Linus Torvalds1da177e2005-04-16 15:20:36 -070056
57#define SPXSRSX1() \
Ralf Baechle47fa0c02014-04-16 11:00:12 +020058 (xe++, (xm = (xm >> 1) | (xm & 1)))
Linus Torvalds1da177e2005-04-16 15:20:36 -070059
Ralf Baechle47fa0c02014-04-16 11:00:12 +020060#define SPXSRSYn(rs) \
61 (ye+=rs, \
Ralf Baechlead8fb5532014-04-22 15:51:55 +020062 ym = (rs > (SP_FBITS+3))?1:((ym) >> (rs)) | ((ym) << (32-(rs)) != 0))
Linus Torvalds1da177e2005-04-16 15:20:36 -070063
64#define SPXSRSY1() \
Ralf Baechle47fa0c02014-04-16 11:00:12 +020065 (ye++, (ym = (ym >> 1) | (ym & 1)))
Linus Torvalds1da177e2005-04-16 15:20:36 -070066
67/* convert denormal to normalized with extended exponent */
68#define SPDNORMx(m,e) \
Ralf Baechlead8fb5532014-04-22 15:51:55 +020069 while ((m >> SP_FBITS) == 0) { m <<= 1; e--; }
Ralf Baechle21a151d2007-10-11 23:46:15 +010070#define SPDNORMX SPDNORMx(xm, xe)
71#define SPDNORMY SPDNORMx(ym, ye)
Linus Torvalds1da177e2005-04-16 15:20:36 -070072
Ralf Baechle2209bcb2014-04-16 01:31:11 +020073static inline union ieee754sp buildsp(int s, int bx, unsigned m)
Linus Torvalds1da177e2005-04-16 15:20:36 -070074{
Ralf Baechle2209bcb2014-04-16 01:31:11 +020075 union ieee754sp r;
Linus Torvalds1da177e2005-04-16 15:20:36 -070076
77 assert((s) == 0 || (s) == 1);
78 assert((bx) >= SP_EMIN - 1 + SP_EBIAS
79 && (bx) <= SP_EMAX + 1 + SP_EBIAS);
Ralf Baechlead8fb5532014-04-22 15:51:55 +020080 assert(((m) >> SP_FBITS) == 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -070081
82 r.parts.sign = s;
83 r.parts.bexp = bx;
84 r.parts.mant = m;
85
86 return r;
87}
88
Ralf Baechle2209bcb2014-04-16 01:31:11 +020089extern int ieee754sp_isnan(union ieee754sp);
Ralf Baechle90efba32014-04-25 03:19:57 +020090extern union ieee754sp __cold ieee754sp_nanxcpt(union ieee754sp);
Ralf Baechle2209bcb2014-04-16 01:31:11 +020091extern union ieee754sp ieee754sp_format(int, int, unsigned);