blob: dd2071f430e0bd180dce8e79bbf00df77b7318dc [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * IEEE754 floating point
3 * common 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 *
Linus Torvalds1da177e2005-04-16 15:20:36 -07009 * This program is free software; you can distribute it and/or modify it
10 * under the terms of the GNU General Public License (Version 2) as
11 * published by the Free Software Foundation.
12 *
13 * This program is distributed in the hope it will be useful, but WITHOUT
14 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 * for more details.
17 *
18 * You should have received a copy of the GNU General Public License along
19 * with this program; if not, write to the Free Software Foundation, Inc.,
Ralf Baechle3f7cac42014-04-26 01:49:14 +020020 * 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
Linus Torvalds1da177e2005-04-16 15:20:36 -070021 */
Ralf Baechlebee16532014-04-19 00:15:40 +020022#ifndef __IEEE754INT_H
23#define __IEEE754INT_H
Linus Torvalds1da177e2005-04-16 15:20:36 -070024
25#include "ieee754.h"
26
Ralf Baechle21a151d2007-10-11 23:46:15 +010027#define CLPAIR(x, y) ((x)*6+(y))
Linus Torvalds1da177e2005-04-16 15:20:36 -070028
Aleksandar Markovic5cabf992017-07-27 18:08:57 +020029enum maddf_flags {
30 MADDF_NEGATE_PRODUCT = 1 << 0,
31};
32
Ralf Baechle9e8bad12014-04-19 00:36:32 +020033static inline void ieee754_clearcx(void)
34{
35 ieee754_csr.cx = 0;
36}
Linus Torvalds1da177e2005-04-16 15:20:36 -070037
Ralf Baechle9e8bad12014-04-19 00:36:32 +020038static inline void ieee754_setcx(const unsigned int flags)
39{
40 ieee754_csr.cx |= flags;
41 ieee754_csr.sx |= flags;
42}
Linus Torvalds1da177e2005-04-16 15:20:36 -070043
Ralf Baechle9e8bad12014-04-19 00:36:32 +020044static inline int ieee754_setandtestcx(const unsigned int x)
45{
46 ieee754_setcx(x);
Linus Torvalds1da177e2005-04-16 15:20:36 -070047
Ralf Baechle9e8bad12014-04-19 00:36:32 +020048 return ieee754_csr.mx & x;
49}
Linus Torvalds1da177e2005-04-16 15:20:36 -070050
Maciej W. Rozyckic9a10842015-04-03 23:25:38 +010051static inline int ieee754_class_nan(int xc)
52{
53 return xc >= IEEE754_CLASS_SNAN;
54}
55
Linus Torvalds1da177e2005-04-16 15:20:36 -070056#define COMPXSP \
Ralf Baechle47fa0c02014-04-16 11:00:12 +020057 unsigned xm; int xe; int xs __maybe_unused; int xc
Linus Torvalds1da177e2005-04-16 15:20:36 -070058
59#define COMPYSP \
Ralf Baechle47fa0c02014-04-16 11:00:12 +020060 unsigned ym; int ye; int ys; int yc
Linus Torvalds1da177e2005-04-16 15:20:36 -070061
Paul Burtone2d11e12016-04-21 14:04:51 +010062#define COMPZSP \
63 unsigned zm; int ze; int zs; int zc
64
Ralf Baechle47fa0c02014-04-16 11:00:12 +020065#define EXPLODESP(v, vc, vs, ve, vm) \
66{ \
67 vs = SPSIGN(v); \
68 ve = SPBEXP(v); \
69 vm = SPMANT(v); \
70 if (ve == SP_EMAX+1+SP_EBIAS) { \
71 if (vm == 0) \
72 vc = IEEE754_CLASS_INF; \
Maciej W. Rozycki90d53a92015-11-13 00:47:28 +000073 else if (ieee754_csr.nan2008 ^ !(vm & SP_MBIT(SP_FBITS - 1))) \
Markos Chandras16645742015-07-16 16:43:33 +010074 vc = IEEE754_CLASS_QNAN; \
Maciej W. Rozycki90d53a92015-11-13 00:47:28 +000075 else \
76 vc = IEEE754_CLASS_SNAN; \
Ralf Baechle47fa0c02014-04-16 11:00:12 +020077 } else if (ve == SP_EMIN-1+SP_EBIAS) { \
78 if (vm) { \
79 ve = SP_EMIN; \
80 vc = IEEE754_CLASS_DNORM; \
81 } else \
82 vc = IEEE754_CLASS_ZERO; \
83 } else { \
84 ve -= SP_EBIAS; \
85 vm |= SP_HIDDEN_BIT; \
86 vc = IEEE754_CLASS_NORM; \
87 } \
Linus Torvalds1da177e2005-04-16 15:20:36 -070088}
Ralf Baechle21a151d2007-10-11 23:46:15 +010089#define EXPLODEXSP EXPLODESP(x, xc, xs, xe, xm)
90#define EXPLODEYSP EXPLODESP(y, yc, ys, ye, ym)
Paul Burtone2d11e12016-04-21 14:04:51 +010091#define EXPLODEZSP EXPLODESP(z, zc, zs, ze, zm)
Linus Torvalds1da177e2005-04-16 15:20:36 -070092
93
94#define COMPXDP \
Ralf Baechle47fa0c02014-04-16 11:00:12 +020095 u64 xm; int xe; int xs __maybe_unused; int xc
Linus Torvalds1da177e2005-04-16 15:20:36 -070096
97#define COMPYDP \
Ralf Baechle47fa0c02014-04-16 11:00:12 +020098 u64 ym; int ye; int ys; int yc
Linus Torvalds1da177e2005-04-16 15:20:36 -070099
Paul Burtone2d11e12016-04-21 14:04:51 +0100100#define COMPZDP \
101 u64 zm; int ze; int zs; int zc
102
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200103#define EXPLODEDP(v, vc, vs, ve, vm) \
104{ \
105 vm = DPMANT(v); \
106 vs = DPSIGN(v); \
107 ve = DPBEXP(v); \
108 if (ve == DP_EMAX+1+DP_EBIAS) { \
109 if (vm == 0) \
110 vc = IEEE754_CLASS_INF; \
Maciej W. Rozycki90d53a92015-11-13 00:47:28 +0000111 else if (ieee754_csr.nan2008 ^ !(vm & DP_MBIT(DP_FBITS - 1))) \
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200112 vc = IEEE754_CLASS_QNAN; \
Maciej W. Rozycki90d53a92015-11-13 00:47:28 +0000113 else \
114 vc = IEEE754_CLASS_SNAN; \
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200115 } else if (ve == DP_EMIN-1+DP_EBIAS) { \
116 if (vm) { \
117 ve = DP_EMIN; \
118 vc = IEEE754_CLASS_DNORM; \
Markos Chandras16645742015-07-16 16:43:33 +0100119 } else \
120 vc = IEEE754_CLASS_ZERO; \
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200121 } else { \
122 ve -= DP_EBIAS; \
123 vm |= DP_HIDDEN_BIT; \
124 vc = IEEE754_CLASS_NORM; \
125 } \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126}
Ralf Baechle21a151d2007-10-11 23:46:15 +0100127#define EXPLODEXDP EXPLODEDP(x, xc, xs, xe, xm)
128#define EXPLODEYDP EXPLODEDP(y, yc, ys, ye, ym)
Paul Burtone2d11e12016-04-21 14:04:51 +0100129#define EXPLODEZDP EXPLODEDP(z, zc, zs, ze, zm)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200131#define FLUSHDP(v, vc, vs, ve, vm) \
132 if (vc==IEEE754_CLASS_DNORM) { \
133 if (ieee754_csr.nod) { \
Ralf Baechle9e8bad12014-04-19 00:36:32 +0200134 ieee754_setcx(IEEE754_INEXACT); \
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200135 vc = IEEE754_CLASS_ZERO; \
136 ve = DP_EMIN-1+DP_EBIAS; \
137 vm = 0; \
138 v = ieee754dp_zero(vs); \
139 } \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700140 }
141
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200142#define FLUSHSP(v, vc, vs, ve, vm) \
143 if (vc==IEEE754_CLASS_DNORM) { \
144 if (ieee754_csr.nod) { \
Ralf Baechle9e8bad12014-04-19 00:36:32 +0200145 ieee754_setcx(IEEE754_INEXACT); \
Ralf Baechle47fa0c02014-04-16 11:00:12 +0200146 vc = IEEE754_CLASS_ZERO; \
147 ve = SP_EMIN-1+SP_EBIAS; \
148 vm = 0; \
149 v = ieee754sp_zero(vs); \
150 } \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151 }
152
Ralf Baechle21a151d2007-10-11 23:46:15 +0100153#define FLUSHXDP FLUSHDP(x, xc, xs, xe, xm)
154#define FLUSHYDP FLUSHDP(y, yc, ys, ye, ym)
Paul Burtone2d11e12016-04-21 14:04:51 +0100155#define FLUSHZDP FLUSHDP(z, zc, zs, ze, zm)
Ralf Baechle21a151d2007-10-11 23:46:15 +0100156#define FLUSHXSP FLUSHSP(x, xc, xs, xe, xm)
157#define FLUSHYSP FLUSHSP(y, yc, ys, ye, ym)
Paul Burtone2d11e12016-04-21 14:04:51 +0100158#define FLUSHZSP FLUSHSP(z, zc, zs, ze, zm)
Ralf Baechlebee16532014-04-19 00:15:40 +0200159
160#endif /* __IEEE754INT_H */