19d5a6349SThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-only */
21da177e4SLinus Torvalds /*
31da177e4SLinus Torvalds * IEEE754 floating point
41da177e4SLinus Torvalds * common internal header file
51da177e4SLinus Torvalds */
61da177e4SLinus Torvalds /*
71da177e4SLinus Torvalds * MIPS floating point support
81da177e4SLinus Torvalds * Copyright (C) 1994-2000 Algorithmics Ltd.
91da177e4SLinus Torvalds */
10bee16535SRalf Baechle #ifndef __IEEE754INT_H
11bee16535SRalf Baechle #define __IEEE754INT_H
121da177e4SLinus Torvalds
131da177e4SLinus Torvalds #include "ieee754.h"
141da177e4SLinus Torvalds
151da177e4SLinus Torvalds #define CLPAIR(x, y) ((x)*6+(y))
161da177e4SLinus Torvalds
17ae11c061SAleksandar Markovic enum maddf_flags {
18ae11c061SAleksandar Markovic MADDF_NEGATE_PRODUCT = 1 << 0,
19*ece276deSJiaxun Yang MADDF_NEGATE_ADDITION = 1 << 1,
20ae11c061SAleksandar Markovic };
21ae11c061SAleksandar Markovic
ieee754_clearcx(void)229e8bad1fSRalf Baechle static inline void ieee754_clearcx(void)
239e8bad1fSRalf Baechle {
249e8bad1fSRalf Baechle ieee754_csr.cx = 0;
259e8bad1fSRalf Baechle }
261da177e4SLinus Torvalds
ieee754_setcx(const unsigned int flags)279e8bad1fSRalf Baechle static inline void ieee754_setcx(const unsigned int flags)
289e8bad1fSRalf Baechle {
299e8bad1fSRalf Baechle ieee754_csr.cx |= flags;
309e8bad1fSRalf Baechle ieee754_csr.sx |= flags;
319e8bad1fSRalf Baechle }
321da177e4SLinus Torvalds
ieee754_setandtestcx(const unsigned int x)339e8bad1fSRalf Baechle static inline int ieee754_setandtestcx(const unsigned int x)
349e8bad1fSRalf Baechle {
359e8bad1fSRalf Baechle ieee754_setcx(x);
361da177e4SLinus Torvalds
379e8bad1fSRalf Baechle return ieee754_csr.mx & x;
389e8bad1fSRalf Baechle }
391da177e4SLinus Torvalds
ieee754_class_nan(int xc)40c9a10845SMaciej W. Rozycki static inline int ieee754_class_nan(int xc)
41c9a10845SMaciej W. Rozycki {
42c9a10845SMaciej W. Rozycki return xc >= IEEE754_CLASS_SNAN;
43c9a10845SMaciej W. Rozycki }
44c9a10845SMaciej W. Rozycki
451da177e4SLinus Torvalds #define COMPXSP \
46a58f85b5SAleksandar Markovic unsigned int xm; int xe; int xs __maybe_unused; int xc
471da177e4SLinus Torvalds
481da177e4SLinus Torvalds #define COMPYSP \
49a58f85b5SAleksandar Markovic unsigned int ym; int ye; int ys; int yc
501da177e4SLinus Torvalds
51e2d11e1aSPaul Burton #define COMPZSP \
52a58f85b5SAleksandar Markovic unsigned int zm; int ze; int zs; int zc
53e2d11e1aSPaul Burton
541da177e4SLinus Torvalds #define EXPLODESP(v, vc, vs, ve, vm) \
551da177e4SLinus Torvalds { \
561da177e4SLinus Torvalds vs = SPSIGN(v); \
571da177e4SLinus Torvalds ve = SPBEXP(v); \
581da177e4SLinus Torvalds vm = SPMANT(v); \
591da177e4SLinus Torvalds if (ve == SP_EMAX+1+SP_EBIAS) { \
601da177e4SLinus Torvalds if (vm == 0) \
611da177e4SLinus Torvalds vc = IEEE754_CLASS_INF; \
6290d53a91SMaciej W. Rozycki else if (ieee754_csr.nan2008 ^ !(vm & SP_MBIT(SP_FBITS - 1))) \
631da177e4SLinus Torvalds vc = IEEE754_CLASS_QNAN; \
6490d53a91SMaciej W. Rozycki else \
6590d53a91SMaciej W. Rozycki vc = IEEE754_CLASS_SNAN; \
661da177e4SLinus Torvalds } else if (ve == SP_EMIN-1+SP_EBIAS) { \
671da177e4SLinus Torvalds if (vm) { \
681da177e4SLinus Torvalds ve = SP_EMIN; \
691da177e4SLinus Torvalds vc = IEEE754_CLASS_DNORM; \
701da177e4SLinus Torvalds } else \
711da177e4SLinus Torvalds vc = IEEE754_CLASS_ZERO; \
721da177e4SLinus Torvalds } else { \
731da177e4SLinus Torvalds ve -= SP_EBIAS; \
741da177e4SLinus Torvalds vm |= SP_HIDDEN_BIT; \
751da177e4SLinus Torvalds vc = IEEE754_CLASS_NORM; \
761da177e4SLinus Torvalds } \
771da177e4SLinus Torvalds }
781da177e4SLinus Torvalds #define EXPLODEXSP EXPLODESP(x, xc, xs, xe, xm)
791da177e4SLinus Torvalds #define EXPLODEYSP EXPLODESP(y, yc, ys, ye, ym)
80e2d11e1aSPaul Burton #define EXPLODEZSP EXPLODESP(z, zc, zs, ze, zm)
811da177e4SLinus Torvalds
821da177e4SLinus Torvalds
831da177e4SLinus Torvalds #define COMPXDP \
8491b51f30SDavid Daney u64 xm; int xe; int xs __maybe_unused; int xc
851da177e4SLinus Torvalds
861da177e4SLinus Torvalds #define COMPYDP \
871da177e4SLinus Torvalds u64 ym; int ye; int ys; int yc
881da177e4SLinus Torvalds
89e2d11e1aSPaul Burton #define COMPZDP \
90e2d11e1aSPaul Burton u64 zm; int ze; int zs; int zc
91e2d11e1aSPaul Burton
921da177e4SLinus Torvalds #define EXPLODEDP(v, vc, vs, ve, vm) \
931da177e4SLinus Torvalds { \
941da177e4SLinus Torvalds vm = DPMANT(v); \
951da177e4SLinus Torvalds vs = DPSIGN(v); \
961da177e4SLinus Torvalds ve = DPBEXP(v); \
971da177e4SLinus Torvalds if (ve == DP_EMAX+1+DP_EBIAS) { \
981da177e4SLinus Torvalds if (vm == 0) \
991da177e4SLinus Torvalds vc = IEEE754_CLASS_INF; \
10090d53a91SMaciej W. Rozycki else if (ieee754_csr.nan2008 ^ !(vm & DP_MBIT(DP_FBITS - 1))) \
1011da177e4SLinus Torvalds vc = IEEE754_CLASS_QNAN; \
10290d53a91SMaciej W. Rozycki else \
10390d53a91SMaciej W. Rozycki vc = IEEE754_CLASS_SNAN; \
1041da177e4SLinus Torvalds } else if (ve == DP_EMIN-1+DP_EBIAS) { \
1051da177e4SLinus Torvalds if (vm) { \
1061da177e4SLinus Torvalds ve = DP_EMIN; \
1071da177e4SLinus Torvalds vc = IEEE754_CLASS_DNORM; \
1081da177e4SLinus Torvalds } else \
1091da177e4SLinus Torvalds vc = IEEE754_CLASS_ZERO; \
1101da177e4SLinus Torvalds } else { \
1111da177e4SLinus Torvalds ve -= DP_EBIAS; \
1121da177e4SLinus Torvalds vm |= DP_HIDDEN_BIT; \
1131da177e4SLinus Torvalds vc = IEEE754_CLASS_NORM; \
1141da177e4SLinus Torvalds } \
1151da177e4SLinus Torvalds }
1161da177e4SLinus Torvalds #define EXPLODEXDP EXPLODEDP(x, xc, xs, xe, xm)
1171da177e4SLinus Torvalds #define EXPLODEYDP EXPLODEDP(y, yc, ys, ye, ym)
118e2d11e1aSPaul Burton #define EXPLODEZDP EXPLODEDP(z, zc, zs, ze, zm)
1191da177e4SLinus Torvalds
1201da177e4SLinus Torvalds #define FLUSHDP(v, vc, vs, ve, vm) \
1211da177e4SLinus Torvalds if (vc==IEEE754_CLASS_DNORM) { \
1221da177e4SLinus Torvalds if (ieee754_csr.nod) { \
1239e8bad1fSRalf Baechle ieee754_setcx(IEEE754_INEXACT); \
1241da177e4SLinus Torvalds vc = IEEE754_CLASS_ZERO; \
1251da177e4SLinus Torvalds ve = DP_EMIN-1+DP_EBIAS; \
1261da177e4SLinus Torvalds vm = 0; \
1271da177e4SLinus Torvalds v = ieee754dp_zero(vs); \
1281da177e4SLinus Torvalds } \
1291da177e4SLinus Torvalds }
1301da177e4SLinus Torvalds
1311da177e4SLinus Torvalds #define FLUSHSP(v, vc, vs, ve, vm) \
1321da177e4SLinus Torvalds if (vc==IEEE754_CLASS_DNORM) { \
1331da177e4SLinus Torvalds if (ieee754_csr.nod) { \
1349e8bad1fSRalf Baechle ieee754_setcx(IEEE754_INEXACT); \
1351da177e4SLinus Torvalds vc = IEEE754_CLASS_ZERO; \
1361da177e4SLinus Torvalds ve = SP_EMIN-1+SP_EBIAS; \
1371da177e4SLinus Torvalds vm = 0; \
1381da177e4SLinus Torvalds v = ieee754sp_zero(vs); \
1391da177e4SLinus Torvalds } \
1401da177e4SLinus Torvalds }
1411da177e4SLinus Torvalds
1421da177e4SLinus Torvalds #define FLUSHXDP FLUSHDP(x, xc, xs, xe, xm)
1431da177e4SLinus Torvalds #define FLUSHYDP FLUSHDP(y, yc, ys, ye, ym)
144e2d11e1aSPaul Burton #define FLUSHZDP FLUSHDP(z, zc, zs, ze, zm)
1451da177e4SLinus Torvalds #define FLUSHXSP FLUSHSP(x, xc, xs, xe, xm)
1461da177e4SLinus Torvalds #define FLUSHYSP FLUSHSP(y, yc, ys, ye, ym)
147e2d11e1aSPaul Burton #define FLUSHZSP FLUSHSP(z, zc, zs, ze, zm)
148bee16535SRalf Baechle
149bee16535SRalf Baechle #endif /* __IEEE754INT_H */
150