xref: /openbmc/linux/arch/alpha/math-emu/math.c (revision 762f99f4f3cb41a775b5157dd761217beba65873)
109c434b8SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only
21da177e4SLinus Torvalds #include <linux/module.h>
31da177e4SLinus Torvalds #include <linux/types.h>
41da177e4SLinus Torvalds #include <linux/kernel.h>
51da177e4SLinus Torvalds #include <linux/sched.h>
64cf421e5SIngo Molnar #include <asm/ptrace.h>
71da177e4SLinus Torvalds 
87c0f6ba6SLinus Torvalds #include <linux/uaccess.h>
91da177e4SLinus Torvalds 
101da177e4SLinus Torvalds #include "sfp-util.h"
111da177e4SLinus Torvalds #include <math-emu/soft-fp.h>
121da177e4SLinus Torvalds #include <math-emu/single.h>
131da177e4SLinus Torvalds #include <math-emu/double.h>
141da177e4SLinus Torvalds 
151da177e4SLinus Torvalds #define	OPC_PAL		0x00
161da177e4SLinus Torvalds #define OPC_INTA	0x10
171da177e4SLinus Torvalds #define OPC_INTL	0x11
181da177e4SLinus Torvalds #define OPC_INTS	0x12
191da177e4SLinus Torvalds #define OPC_INTM	0x13
201da177e4SLinus Torvalds #define OPC_FLTC	0x14
211da177e4SLinus Torvalds #define OPC_FLTV	0x15
221da177e4SLinus Torvalds #define OPC_FLTI	0x16
231da177e4SLinus Torvalds #define OPC_FLTL	0x17
241da177e4SLinus Torvalds #define OPC_MISC	0x18
251da177e4SLinus Torvalds #define	OPC_JSR		0x1a
261da177e4SLinus Torvalds 
271da177e4SLinus Torvalds #define FOP_SRC_S	0
281da177e4SLinus Torvalds #define FOP_SRC_T	2
291da177e4SLinus Torvalds #define FOP_SRC_Q	3
301da177e4SLinus Torvalds 
311da177e4SLinus Torvalds #define FOP_FNC_ADDx	0
321da177e4SLinus Torvalds #define FOP_FNC_CVTQL	0
331da177e4SLinus Torvalds #define FOP_FNC_SUBx	1
341da177e4SLinus Torvalds #define FOP_FNC_MULx	2
351da177e4SLinus Torvalds #define FOP_FNC_DIVx	3
361da177e4SLinus Torvalds #define FOP_FNC_CMPxUN	4
371da177e4SLinus Torvalds #define FOP_FNC_CMPxEQ	5
381da177e4SLinus Torvalds #define FOP_FNC_CMPxLT	6
391da177e4SLinus Torvalds #define FOP_FNC_CMPxLE	7
401da177e4SLinus Torvalds #define FOP_FNC_SQRTx	11
411da177e4SLinus Torvalds #define FOP_FNC_CVTxS	12
421da177e4SLinus Torvalds #define FOP_FNC_CVTxT	14
431da177e4SLinus Torvalds #define FOP_FNC_CVTxQ	15
441da177e4SLinus Torvalds 
451da177e4SLinus Torvalds #define MISC_TRAPB	0x0000
461da177e4SLinus Torvalds #define MISC_EXCB	0x0400
471da177e4SLinus Torvalds 
481da177e4SLinus Torvalds extern unsigned long alpha_read_fp_reg (unsigned long reg);
491da177e4SLinus Torvalds extern void alpha_write_fp_reg (unsigned long reg, unsigned long val);
501da177e4SLinus Torvalds extern unsigned long alpha_read_fp_reg_s (unsigned long reg);
511da177e4SLinus Torvalds extern void alpha_write_fp_reg_s (unsigned long reg, unsigned long val);
521da177e4SLinus Torvalds 
531da177e4SLinus Torvalds 
541da177e4SLinus Torvalds #ifdef MODULE
551da177e4SLinus Torvalds 
561da177e4SLinus Torvalds MODULE_DESCRIPTION("FP Software completion module");
57d9e3cb2fSBen Hutchings MODULE_LICENSE("GPL v2");
581da177e4SLinus Torvalds 
591da177e4SLinus Torvalds extern long (*alpha_fp_emul_imprecise)(struct pt_regs *, unsigned long);
601da177e4SLinus Torvalds extern long (*alpha_fp_emul) (unsigned long pc);
611da177e4SLinus Torvalds 
621da177e4SLinus Torvalds static long (*save_emul_imprecise)(struct pt_regs *, unsigned long);
631da177e4SLinus Torvalds static long (*save_emul) (unsigned long pc);
641da177e4SLinus Torvalds 
651da177e4SLinus Torvalds long do_alpha_fp_emul_imprecise(struct pt_regs *, unsigned long);
661da177e4SLinus Torvalds long do_alpha_fp_emul(unsigned long);
671da177e4SLinus Torvalds 
alpha_fp_emul_init_module(void)68*ee3e9fa2SArnd Bergmann static int alpha_fp_emul_init_module(void)
691da177e4SLinus Torvalds {
701da177e4SLinus Torvalds 	save_emul_imprecise = alpha_fp_emul_imprecise;
711da177e4SLinus Torvalds 	save_emul = alpha_fp_emul;
721da177e4SLinus Torvalds 	alpha_fp_emul_imprecise = do_alpha_fp_emul_imprecise;
731da177e4SLinus Torvalds 	alpha_fp_emul = do_alpha_fp_emul;
741da177e4SLinus Torvalds 	return 0;
751da177e4SLinus Torvalds }
76*ee3e9fa2SArnd Bergmann module_init(alpha_fp_emul_init_module);
771da177e4SLinus Torvalds 
alpha_fp_emul_cleanup_module(void)78*ee3e9fa2SArnd Bergmann static void alpha_fp_emul_cleanup_module(void)
791da177e4SLinus Torvalds {
801da177e4SLinus Torvalds 	alpha_fp_emul_imprecise = save_emul_imprecise;
811da177e4SLinus Torvalds 	alpha_fp_emul = save_emul;
821da177e4SLinus Torvalds }
83*ee3e9fa2SArnd Bergmann module_exit(alpha_fp_emul_cleanup_module);
841da177e4SLinus Torvalds 
851da177e4SLinus Torvalds #undef  alpha_fp_emul_imprecise
861da177e4SLinus Torvalds #define alpha_fp_emul_imprecise		do_alpha_fp_emul_imprecise
871da177e4SLinus Torvalds #undef  alpha_fp_emul
881da177e4SLinus Torvalds #define alpha_fp_emul			do_alpha_fp_emul
891da177e4SLinus Torvalds 
901da177e4SLinus Torvalds #endif /* MODULE */
911da177e4SLinus Torvalds 
921da177e4SLinus Torvalds 
931da177e4SLinus Torvalds /*
941da177e4SLinus Torvalds  * Emulate the floating point instruction at address PC.  Returns -1 if the
951da177e4SLinus Torvalds  * instruction to be emulated is illegal (such as with the opDEC trap), else
961da177e4SLinus Torvalds  * the SI_CODE for a SIGFPE signal, else 0 if everything's ok.
971da177e4SLinus Torvalds  *
981da177e4SLinus Torvalds  * Notice that the kernel does not and cannot use FP regs.  This is good
991da177e4SLinus Torvalds  * because it means that instead of saving/restoring all fp regs, we simply
1001da177e4SLinus Torvalds  * stick the result of the operation into the appropriate register.
1011da177e4SLinus Torvalds  */
1021da177e4SLinus Torvalds long
alpha_fp_emul(unsigned long pc)1031da177e4SLinus Torvalds alpha_fp_emul (unsigned long pc)
1041da177e4SLinus Torvalds {
1051da177e4SLinus Torvalds 	FP_DECL_EX;
1061da177e4SLinus Torvalds 	FP_DECL_S(SA); FP_DECL_S(SB); FP_DECL_S(SR);
1071da177e4SLinus Torvalds 	FP_DECL_D(DA); FP_DECL_D(DB); FP_DECL_D(DR);
1081da177e4SLinus Torvalds 
1091da177e4SLinus Torvalds 	unsigned long fa, fb, fc, func, mode, src;
1101da177e4SLinus Torvalds 	unsigned long res, va, vb, vc, swcr, fpcr;
1111da177e4SLinus Torvalds 	__u32 insn;
1121da177e4SLinus Torvalds 	long si_code;
1131da177e4SLinus Torvalds 
1141da177e4SLinus Torvalds 	get_user(insn, (__u32 __user *)pc);
1151da177e4SLinus Torvalds 	fc     = (insn >>  0) & 0x1f;	/* destination register */
1161da177e4SLinus Torvalds 	fb     = (insn >> 16) & 0x1f;
1171da177e4SLinus Torvalds 	fa     = (insn >> 21) & 0x1f;
1181da177e4SLinus Torvalds 	func   = (insn >>  5) & 0xf;
1191da177e4SLinus Torvalds 	src    = (insn >>  9) & 0x3;
1201da177e4SLinus Torvalds 	mode   = (insn >> 11) & 0x3;
1211da177e4SLinus Torvalds 
1221da177e4SLinus Torvalds 	fpcr = rdfpcr();
1231da177e4SLinus Torvalds 	swcr = swcr_update_status(current_thread_info()->ieee_state, fpcr);
1241da177e4SLinus Torvalds 
1251da177e4SLinus Torvalds 	if (mode == 3) {
1261da177e4SLinus Torvalds 		/* Dynamic -- get rounding mode from fpcr.  */
1271da177e4SLinus Torvalds 		mode = (fpcr >> FPCR_DYN_SHIFT) & 3;
1281da177e4SLinus Torvalds 	}
1291da177e4SLinus Torvalds 
1301da177e4SLinus Torvalds 	switch (src) {
1311da177e4SLinus Torvalds 	case FOP_SRC_S:
1321da177e4SLinus Torvalds 		va = alpha_read_fp_reg_s(fa);
1331da177e4SLinus Torvalds 		vb = alpha_read_fp_reg_s(fb);
1341da177e4SLinus Torvalds 
1351da177e4SLinus Torvalds 		FP_UNPACK_SP(SA, &va);
1361da177e4SLinus Torvalds 		FP_UNPACK_SP(SB, &vb);
1371da177e4SLinus Torvalds 
1381da177e4SLinus Torvalds 		switch (func) {
1391da177e4SLinus Torvalds 		case FOP_FNC_SUBx:
1401da177e4SLinus Torvalds 			FP_SUB_S(SR, SA, SB);
1411da177e4SLinus Torvalds 			goto pack_s;
1421da177e4SLinus Torvalds 
1431da177e4SLinus Torvalds 		case FOP_FNC_ADDx:
1441da177e4SLinus Torvalds 			FP_ADD_S(SR, SA, SB);
1451da177e4SLinus Torvalds 			goto pack_s;
1461da177e4SLinus Torvalds 
1471da177e4SLinus Torvalds 		case FOP_FNC_MULx:
1481da177e4SLinus Torvalds 			FP_MUL_S(SR, SA, SB);
1491da177e4SLinus Torvalds 			goto pack_s;
1501da177e4SLinus Torvalds 
1511da177e4SLinus Torvalds 		case FOP_FNC_DIVx:
1521da177e4SLinus Torvalds 			FP_DIV_S(SR, SA, SB);
1531da177e4SLinus Torvalds 			goto pack_s;
1541da177e4SLinus Torvalds 
1551da177e4SLinus Torvalds 		case FOP_FNC_SQRTx:
1561da177e4SLinus Torvalds 			FP_SQRT_S(SR, SB);
1571da177e4SLinus Torvalds 			goto pack_s;
1581da177e4SLinus Torvalds 		}
1591da177e4SLinus Torvalds 		goto bad_insn;
1601da177e4SLinus Torvalds 
1611da177e4SLinus Torvalds 	case FOP_SRC_T:
1621da177e4SLinus Torvalds 		va = alpha_read_fp_reg(fa);
1631da177e4SLinus Torvalds 		vb = alpha_read_fp_reg(fb);
1641da177e4SLinus Torvalds 
1651da177e4SLinus Torvalds 		if ((func & ~3) == FOP_FNC_CMPxUN) {
1661da177e4SLinus Torvalds 			FP_UNPACK_RAW_DP(DA, &va);
1671da177e4SLinus Torvalds 			FP_UNPACK_RAW_DP(DB, &vb);
1681da177e4SLinus Torvalds 			if (!DA_e && !_FP_FRAC_ZEROP_1(DA)) {
1691da177e4SLinus Torvalds 				FP_SET_EXCEPTION(FP_EX_DENORM);
1701da177e4SLinus Torvalds 				if (FP_DENORM_ZERO)
1711da177e4SLinus Torvalds 					_FP_FRAC_SET_1(DA, _FP_ZEROFRAC_1);
1721da177e4SLinus Torvalds 			}
1731da177e4SLinus Torvalds 			if (!DB_e && !_FP_FRAC_ZEROP_1(DB)) {
1741da177e4SLinus Torvalds 				FP_SET_EXCEPTION(FP_EX_DENORM);
1751da177e4SLinus Torvalds 				if (FP_DENORM_ZERO)
1761da177e4SLinus Torvalds 					_FP_FRAC_SET_1(DB, _FP_ZEROFRAC_1);
1771da177e4SLinus Torvalds 			}
1781da177e4SLinus Torvalds 			FP_CMP_D(res, DA, DB, 3);
1791da177e4SLinus Torvalds 			vc = 0x4000000000000000UL;
1801da177e4SLinus Torvalds 			/* CMPTEQ, CMPTUN don't trap on QNaN,
1811da177e4SLinus Torvalds 			   while CMPTLT and CMPTLE do */
1821da177e4SLinus Torvalds 			if (res == 3
1831da177e4SLinus Torvalds 			    && ((func & 3) >= 2
1841da177e4SLinus Torvalds 				|| FP_ISSIGNAN_D(DA)
1851da177e4SLinus Torvalds 				|| FP_ISSIGNAN_D(DB))) {
1861da177e4SLinus Torvalds 				FP_SET_EXCEPTION(FP_EX_INVALID);
1871da177e4SLinus Torvalds 			}
1881da177e4SLinus Torvalds 			switch (func) {
1891da177e4SLinus Torvalds 			case FOP_FNC_CMPxUN: if (res != 3) vc = 0; break;
1901da177e4SLinus Torvalds 			case FOP_FNC_CMPxEQ: if (res) vc = 0; break;
1911da177e4SLinus Torvalds 			case FOP_FNC_CMPxLT: if (res != -1) vc = 0; break;
1921da177e4SLinus Torvalds 			case FOP_FNC_CMPxLE: if ((long)res > 0) vc = 0; break;
1931da177e4SLinus Torvalds 			}
1941da177e4SLinus Torvalds 			goto done_d;
1951da177e4SLinus Torvalds 		}
1961da177e4SLinus Torvalds 
1971da177e4SLinus Torvalds 		FP_UNPACK_DP(DA, &va);
1981da177e4SLinus Torvalds 		FP_UNPACK_DP(DB, &vb);
1991da177e4SLinus Torvalds 
2001da177e4SLinus Torvalds 		switch (func) {
2011da177e4SLinus Torvalds 		case FOP_FNC_SUBx:
2021da177e4SLinus Torvalds 			FP_SUB_D(DR, DA, DB);
2031da177e4SLinus Torvalds 			goto pack_d;
2041da177e4SLinus Torvalds 
2051da177e4SLinus Torvalds 		case FOP_FNC_ADDx:
2061da177e4SLinus Torvalds 			FP_ADD_D(DR, DA, DB);
2071da177e4SLinus Torvalds 			goto pack_d;
2081da177e4SLinus Torvalds 
2091da177e4SLinus Torvalds 		case FOP_FNC_MULx:
2101da177e4SLinus Torvalds 			FP_MUL_D(DR, DA, DB);
2111da177e4SLinus Torvalds 			goto pack_d;
2121da177e4SLinus Torvalds 
2131da177e4SLinus Torvalds 		case FOP_FNC_DIVx:
2141da177e4SLinus Torvalds 			FP_DIV_D(DR, DA, DB);
2151da177e4SLinus Torvalds 			goto pack_d;
2161da177e4SLinus Torvalds 
2171da177e4SLinus Torvalds 		case FOP_FNC_SQRTx:
2181da177e4SLinus Torvalds 			FP_SQRT_D(DR, DB);
2191da177e4SLinus Torvalds 			goto pack_d;
2201da177e4SLinus Torvalds 
2211da177e4SLinus Torvalds 		case FOP_FNC_CVTxS:
2221da177e4SLinus Torvalds 			/* It is irritating that DEC encoded CVTST with
2231da177e4SLinus Torvalds 			   SRC == T_floating.  It is also interesting that
2241da177e4SLinus Torvalds 			   the bit used to tell the two apart is /U... */
2251da177e4SLinus Torvalds 			if (insn & 0x2000) {
2261da177e4SLinus Torvalds 				FP_CONV(S,D,1,1,SR,DB);
2271da177e4SLinus Torvalds 				goto pack_s;
2281da177e4SLinus Torvalds 			} else {
2291da177e4SLinus Torvalds 				vb = alpha_read_fp_reg_s(fb);
2301da177e4SLinus Torvalds 				FP_UNPACK_SP(SB, &vb);
2311da177e4SLinus Torvalds 				DR_c = DB_c;
2321da177e4SLinus Torvalds 				DR_s = DB_s;
2336b2d2cecSIvan Kokshaysky 				DR_e = DB_e + (1024 - 128);
2341da177e4SLinus Torvalds 				DR_f = SB_f << (52 - 23);
2351da177e4SLinus Torvalds 				goto pack_d;
2361da177e4SLinus Torvalds 			}
2371da177e4SLinus Torvalds 
2381da177e4SLinus Torvalds 		case FOP_FNC_CVTxQ:
2391da177e4SLinus Torvalds 			if (DB_c == FP_CLS_NAN
2401da177e4SLinus Torvalds 			    && (_FP_FRAC_HIGH_RAW_D(DB) & _FP_QNANBIT_D)) {
2411da177e4SLinus Torvalds 			  /* AAHB Table B-2 says QNaN should not trigger INV */
2421da177e4SLinus Torvalds 				vc = 0;
2431da177e4SLinus Torvalds 			} else
2441da177e4SLinus Torvalds 				FP_TO_INT_ROUND_D(vc, DB, 64, 2);
2451da177e4SLinus Torvalds 			goto done_d;
2461da177e4SLinus Torvalds 		}
2471da177e4SLinus Torvalds 		goto bad_insn;
2481da177e4SLinus Torvalds 
2491da177e4SLinus Torvalds 	case FOP_SRC_Q:
2501da177e4SLinus Torvalds 		vb = alpha_read_fp_reg(fb);
2511da177e4SLinus Torvalds 
2521da177e4SLinus Torvalds 		switch (func) {
2531da177e4SLinus Torvalds 		case FOP_FNC_CVTQL:
2541da177e4SLinus Torvalds 			/* Notice: We can get here only due to an integer
2551da177e4SLinus Torvalds 			   overflow.  Such overflows are reported as invalid
2561da177e4SLinus Torvalds 			   ops.  We return the result the hw would have
2571da177e4SLinus Torvalds 			   computed.  */
2581da177e4SLinus Torvalds 			vc = ((vb & 0xc0000000) << 32 |	/* sign and msb */
2591da177e4SLinus Torvalds 			      (vb & 0x3fffffff) << 29);	/* rest of the int */
2601da177e4SLinus Torvalds 			FP_SET_EXCEPTION (FP_EX_INVALID);
2611da177e4SLinus Torvalds 			goto done_d;
2621da177e4SLinus Torvalds 
2631da177e4SLinus Torvalds 		case FOP_FNC_CVTxS:
2641da177e4SLinus Torvalds 			FP_FROM_INT_S(SR, ((long)vb), 64, long);
2651da177e4SLinus Torvalds 			goto pack_s;
2661da177e4SLinus Torvalds 
2671da177e4SLinus Torvalds 		case FOP_FNC_CVTxT:
2681da177e4SLinus Torvalds 			FP_FROM_INT_D(DR, ((long)vb), 64, long);
2691da177e4SLinus Torvalds 			goto pack_d;
2701da177e4SLinus Torvalds 		}
2711da177e4SLinus Torvalds 		goto bad_insn;
2721da177e4SLinus Torvalds 	}
2731da177e4SLinus Torvalds 	goto bad_insn;
2741da177e4SLinus Torvalds 
2751da177e4SLinus Torvalds pack_s:
2761da177e4SLinus Torvalds 	FP_PACK_SP(&vc, SR);
2771da177e4SLinus Torvalds 	if ((_fex & FP_EX_UNDERFLOW) && (swcr & IEEE_MAP_UMZ))
2781da177e4SLinus Torvalds 		vc = 0;
2791da177e4SLinus Torvalds 	alpha_write_fp_reg_s(fc, vc);
2801da177e4SLinus Torvalds 	goto done;
2811da177e4SLinus Torvalds 
2821da177e4SLinus Torvalds pack_d:
2831da177e4SLinus Torvalds 	FP_PACK_DP(&vc, DR);
2841da177e4SLinus Torvalds 	if ((_fex & FP_EX_UNDERFLOW) && (swcr & IEEE_MAP_UMZ))
2851da177e4SLinus Torvalds 		vc = 0;
2861da177e4SLinus Torvalds done_d:
2871da177e4SLinus Torvalds 	alpha_write_fp_reg(fc, vc);
2881da177e4SLinus Torvalds 	goto done;
2891da177e4SLinus Torvalds 
2901da177e4SLinus Torvalds 	/*
2911da177e4SLinus Torvalds 	 * Take the appropriate action for each possible
2921da177e4SLinus Torvalds 	 * floating-point result:
2931da177e4SLinus Torvalds 	 *
2941da177e4SLinus Torvalds 	 *	- Set the appropriate bits in the FPCR
2951da177e4SLinus Torvalds 	 *	- If the specified exception is enabled in the FPCR,
2961da177e4SLinus Torvalds 	 *	  return.  The caller (entArith) will dispatch
2971da177e4SLinus Torvalds 	 *	  the appropriate signal to the translated program.
2981da177e4SLinus Torvalds 	 *
2991da177e4SLinus Torvalds 	 * In addition, properly track the exception state in software
3001da177e4SLinus Torvalds 	 * as described in the Alpha Architecture Handbook section 4.7.7.3.
3011da177e4SLinus Torvalds 	 */
3021da177e4SLinus Torvalds done:
3031da177e4SLinus Torvalds 	if (_fex) {
3041da177e4SLinus Torvalds 		/* Record exceptions in software control word.  */
3051da177e4SLinus Torvalds 		swcr |= (_fex << IEEE_STATUS_TO_EXCSUM_SHIFT);
3061da177e4SLinus Torvalds 		current_thread_info()->ieee_state
3071da177e4SLinus Torvalds 		  |= (_fex << IEEE_STATUS_TO_EXCSUM_SHIFT);
3081da177e4SLinus Torvalds 
3091da177e4SLinus Torvalds 		/* Update hardware control register.  */
3101da177e4SLinus Torvalds 		fpcr &= (~FPCR_MASK | FPCR_DYN_MASK);
3111da177e4SLinus Torvalds 		fpcr |= ieee_swcr_to_fpcr(swcr);
3121da177e4SLinus Torvalds 		wrfpcr(fpcr);
3131da177e4SLinus Torvalds 
3141da177e4SLinus Torvalds 		/* Do we generate a signal?  */
3151da177e4SLinus Torvalds 		_fex = _fex & swcr & IEEE_TRAP_ENABLE_MASK;
3161da177e4SLinus Torvalds 		si_code = 0;
3171da177e4SLinus Torvalds 		if (_fex) {
3181da177e4SLinus Torvalds 			if (_fex & IEEE_TRAP_ENABLE_DNO) si_code = FPE_FLTUND;
3191da177e4SLinus Torvalds 			if (_fex & IEEE_TRAP_ENABLE_INE) si_code = FPE_FLTRES;
3201da177e4SLinus Torvalds 			if (_fex & IEEE_TRAP_ENABLE_UNF) si_code = FPE_FLTUND;
3211da177e4SLinus Torvalds 			if (_fex & IEEE_TRAP_ENABLE_OVF) si_code = FPE_FLTOVF;
3221da177e4SLinus Torvalds 			if (_fex & IEEE_TRAP_ENABLE_DZE) si_code = FPE_FLTDIV;
3231da177e4SLinus Torvalds 			if (_fex & IEEE_TRAP_ENABLE_INV) si_code = FPE_FLTINV;
3241da177e4SLinus Torvalds 		}
3251da177e4SLinus Torvalds 
3261da177e4SLinus Torvalds 		return si_code;
3271da177e4SLinus Torvalds 	}
3281da177e4SLinus Torvalds 
3291da177e4SLinus Torvalds 	/* We used to write the destination register here, but DEC FORTRAN
3301da177e4SLinus Torvalds 	   requires that the result *always* be written... so we do the write
3311da177e4SLinus Torvalds 	   immediately after the operations above.  */
3321da177e4SLinus Torvalds 
3331da177e4SLinus Torvalds 	return 0;
3341da177e4SLinus Torvalds 
3351da177e4SLinus Torvalds bad_insn:
3361da177e4SLinus Torvalds 	printk(KERN_ERR "alpha_fp_emul: Invalid FP insn %#x at %#lx\n",
3371da177e4SLinus Torvalds 	       insn, pc);
3381da177e4SLinus Torvalds 	return -1;
3391da177e4SLinus Torvalds }
3401da177e4SLinus Torvalds 
3411da177e4SLinus Torvalds long
alpha_fp_emul_imprecise(struct pt_regs * regs,unsigned long write_mask)3421da177e4SLinus Torvalds alpha_fp_emul_imprecise (struct pt_regs *regs, unsigned long write_mask)
3431da177e4SLinus Torvalds {
3441da177e4SLinus Torvalds 	unsigned long trigger_pc = regs->pc - 4;
3451da177e4SLinus Torvalds 	unsigned long insn, opcode, rc, si_code = 0;
3461da177e4SLinus Torvalds 
3471da177e4SLinus Torvalds 	/*
3481da177e4SLinus Torvalds 	 * Turn off the bits corresponding to registers that are the
3491da177e4SLinus Torvalds 	 * target of instructions that set bits in the exception
3501da177e4SLinus Torvalds 	 * summary register.  We have some slack doing this because a
3511da177e4SLinus Torvalds 	 * register that is the target of a trapping instruction can
3521da177e4SLinus Torvalds 	 * be written at most once in the trap shadow.
3531da177e4SLinus Torvalds 	 *
3541da177e4SLinus Torvalds 	 * Branches, jumps, TRAPBs, EXCBs and calls to PALcode all
3551da177e4SLinus Torvalds 	 * bound the trap shadow, so we need not look any further than
3561da177e4SLinus Torvalds 	 * up to the first occurrence of such an instruction.
3571da177e4SLinus Torvalds 	 */
3581da177e4SLinus Torvalds 	while (write_mask) {
3591da177e4SLinus Torvalds 		get_user(insn, (__u32 __user *)(trigger_pc));
3601da177e4SLinus Torvalds 		opcode = insn >> 26;
3611da177e4SLinus Torvalds 		rc = insn & 0x1f;
3621da177e4SLinus Torvalds 
3631da177e4SLinus Torvalds 		switch (opcode) {
3641da177e4SLinus Torvalds 		      case OPC_PAL:
3651da177e4SLinus Torvalds 		      case OPC_JSR:
3661da177e4SLinus Torvalds 		      case 0x30 ... 0x3f:	/* branches */
3671da177e4SLinus Torvalds 			goto egress;
3681da177e4SLinus Torvalds 
3691da177e4SLinus Torvalds 		      case OPC_MISC:
3701da177e4SLinus Torvalds 			switch (insn & 0xffff) {
3711da177e4SLinus Torvalds 			      case MISC_TRAPB:
3721da177e4SLinus Torvalds 			      case MISC_EXCB:
3731da177e4SLinus Torvalds 				goto egress;
3741da177e4SLinus Torvalds 
3751da177e4SLinus Torvalds 			      default:
3761da177e4SLinus Torvalds 				break;
3771da177e4SLinus Torvalds 			}
3781da177e4SLinus Torvalds 			break;
3791da177e4SLinus Torvalds 
3801da177e4SLinus Torvalds 		      case OPC_INTA:
3811da177e4SLinus Torvalds 		      case OPC_INTL:
3821da177e4SLinus Torvalds 		      case OPC_INTS:
3831da177e4SLinus Torvalds 		      case OPC_INTM:
3841da177e4SLinus Torvalds 			write_mask &= ~(1UL << rc);
3851da177e4SLinus Torvalds 			break;
3861da177e4SLinus Torvalds 
3871da177e4SLinus Torvalds 		      case OPC_FLTC:
3881da177e4SLinus Torvalds 		      case OPC_FLTV:
3891da177e4SLinus Torvalds 		      case OPC_FLTI:
3901da177e4SLinus Torvalds 		      case OPC_FLTL:
3911da177e4SLinus Torvalds 			write_mask &= ~(1UL << (rc + 32));
3921da177e4SLinus Torvalds 			break;
3931da177e4SLinus Torvalds 		}
3941da177e4SLinus Torvalds 		if (!write_mask) {
3951da177e4SLinus Torvalds 			/* Re-execute insns in the trap-shadow.  */
3961da177e4SLinus Torvalds 			regs->pc = trigger_pc + 4;
3971da177e4SLinus Torvalds 			si_code = alpha_fp_emul(trigger_pc);
3981da177e4SLinus Torvalds 			goto egress;
3991da177e4SLinus Torvalds 		}
4001da177e4SLinus Torvalds 		trigger_pc -= 4;
4011da177e4SLinus Torvalds 	}
4021da177e4SLinus Torvalds 
4031da177e4SLinus Torvalds egress:
4041da177e4SLinus Torvalds 	return si_code;
4051da177e4SLinus Torvalds }
406