xref: /openbmc/linux/arch/mips/math-emu/ieee754int.h (revision 8dd06ef34b6e2f41b29fbf5fc1663780f2524285)
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