18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only
28c2ecf20Sopenharmony_ci#include <linux/module.h>
38c2ecf20Sopenharmony_ci#include <linux/types.h>
48c2ecf20Sopenharmony_ci#include <linux/kernel.h>
58c2ecf20Sopenharmony_ci#include <linux/sched.h>
68c2ecf20Sopenharmony_ci#include <asm/ptrace.h>
78c2ecf20Sopenharmony_ci
88c2ecf20Sopenharmony_ci#include <linux/uaccess.h>
98c2ecf20Sopenharmony_ci
108c2ecf20Sopenharmony_ci#include "sfp-util.h"
118c2ecf20Sopenharmony_ci#include <math-emu/soft-fp.h>
128c2ecf20Sopenharmony_ci#include <math-emu/single.h>
138c2ecf20Sopenharmony_ci#include <math-emu/double.h>
148c2ecf20Sopenharmony_ci
158c2ecf20Sopenharmony_ci#define	OPC_PAL		0x00
168c2ecf20Sopenharmony_ci#define OPC_INTA	0x10
178c2ecf20Sopenharmony_ci#define OPC_INTL	0x11
188c2ecf20Sopenharmony_ci#define OPC_INTS	0x12
198c2ecf20Sopenharmony_ci#define OPC_INTM	0x13
208c2ecf20Sopenharmony_ci#define OPC_FLTC	0x14
218c2ecf20Sopenharmony_ci#define OPC_FLTV	0x15
228c2ecf20Sopenharmony_ci#define OPC_FLTI	0x16
238c2ecf20Sopenharmony_ci#define OPC_FLTL	0x17
248c2ecf20Sopenharmony_ci#define OPC_MISC	0x18
258c2ecf20Sopenharmony_ci#define	OPC_JSR		0x1a
268c2ecf20Sopenharmony_ci
278c2ecf20Sopenharmony_ci#define FOP_SRC_S	0
288c2ecf20Sopenharmony_ci#define FOP_SRC_T	2
298c2ecf20Sopenharmony_ci#define FOP_SRC_Q	3
308c2ecf20Sopenharmony_ci
318c2ecf20Sopenharmony_ci#define FOP_FNC_ADDx	0
328c2ecf20Sopenharmony_ci#define FOP_FNC_CVTQL	0
338c2ecf20Sopenharmony_ci#define FOP_FNC_SUBx	1
348c2ecf20Sopenharmony_ci#define FOP_FNC_MULx	2
358c2ecf20Sopenharmony_ci#define FOP_FNC_DIVx	3
368c2ecf20Sopenharmony_ci#define FOP_FNC_CMPxUN	4
378c2ecf20Sopenharmony_ci#define FOP_FNC_CMPxEQ	5
388c2ecf20Sopenharmony_ci#define FOP_FNC_CMPxLT	6
398c2ecf20Sopenharmony_ci#define FOP_FNC_CMPxLE	7
408c2ecf20Sopenharmony_ci#define FOP_FNC_SQRTx	11
418c2ecf20Sopenharmony_ci#define FOP_FNC_CVTxS	12
428c2ecf20Sopenharmony_ci#define FOP_FNC_CVTxT	14
438c2ecf20Sopenharmony_ci#define FOP_FNC_CVTxQ	15
448c2ecf20Sopenharmony_ci
458c2ecf20Sopenharmony_ci#define MISC_TRAPB	0x0000
468c2ecf20Sopenharmony_ci#define MISC_EXCB	0x0400
478c2ecf20Sopenharmony_ci
488c2ecf20Sopenharmony_ciextern unsigned long alpha_read_fp_reg (unsigned long reg);
498c2ecf20Sopenharmony_ciextern void alpha_write_fp_reg (unsigned long reg, unsigned long val);
508c2ecf20Sopenharmony_ciextern unsigned long alpha_read_fp_reg_s (unsigned long reg);
518c2ecf20Sopenharmony_ciextern void alpha_write_fp_reg_s (unsigned long reg, unsigned long val);
528c2ecf20Sopenharmony_ci
538c2ecf20Sopenharmony_ci
548c2ecf20Sopenharmony_ci#ifdef MODULE
558c2ecf20Sopenharmony_ci
568c2ecf20Sopenharmony_ciMODULE_DESCRIPTION("FP Software completion module");
578c2ecf20Sopenharmony_ciMODULE_LICENSE("GPL v2");
588c2ecf20Sopenharmony_ci
598c2ecf20Sopenharmony_ciextern long (*alpha_fp_emul_imprecise)(struct pt_regs *, unsigned long);
608c2ecf20Sopenharmony_ciextern long (*alpha_fp_emul) (unsigned long pc);
618c2ecf20Sopenharmony_ci
628c2ecf20Sopenharmony_cistatic long (*save_emul_imprecise)(struct pt_regs *, unsigned long);
638c2ecf20Sopenharmony_cistatic long (*save_emul) (unsigned long pc);
648c2ecf20Sopenharmony_ci
658c2ecf20Sopenharmony_cilong do_alpha_fp_emul_imprecise(struct pt_regs *, unsigned long);
668c2ecf20Sopenharmony_cilong do_alpha_fp_emul(unsigned long);
678c2ecf20Sopenharmony_ci
688c2ecf20Sopenharmony_ciint init_module(void)
698c2ecf20Sopenharmony_ci{
708c2ecf20Sopenharmony_ci	save_emul_imprecise = alpha_fp_emul_imprecise;
718c2ecf20Sopenharmony_ci	save_emul = alpha_fp_emul;
728c2ecf20Sopenharmony_ci	alpha_fp_emul_imprecise = do_alpha_fp_emul_imprecise;
738c2ecf20Sopenharmony_ci	alpha_fp_emul = do_alpha_fp_emul;
748c2ecf20Sopenharmony_ci	return 0;
758c2ecf20Sopenharmony_ci}
768c2ecf20Sopenharmony_ci
778c2ecf20Sopenharmony_civoid cleanup_module(void)
788c2ecf20Sopenharmony_ci{
798c2ecf20Sopenharmony_ci	alpha_fp_emul_imprecise = save_emul_imprecise;
808c2ecf20Sopenharmony_ci	alpha_fp_emul = save_emul;
818c2ecf20Sopenharmony_ci}
828c2ecf20Sopenharmony_ci
838c2ecf20Sopenharmony_ci#undef  alpha_fp_emul_imprecise
848c2ecf20Sopenharmony_ci#define alpha_fp_emul_imprecise		do_alpha_fp_emul_imprecise
858c2ecf20Sopenharmony_ci#undef  alpha_fp_emul
868c2ecf20Sopenharmony_ci#define alpha_fp_emul			do_alpha_fp_emul
878c2ecf20Sopenharmony_ci
888c2ecf20Sopenharmony_ci#endif /* MODULE */
898c2ecf20Sopenharmony_ci
908c2ecf20Sopenharmony_ci
918c2ecf20Sopenharmony_ci/*
928c2ecf20Sopenharmony_ci * Emulate the floating point instruction at address PC.  Returns -1 if the
938c2ecf20Sopenharmony_ci * instruction to be emulated is illegal (such as with the opDEC trap), else
948c2ecf20Sopenharmony_ci * the SI_CODE for a SIGFPE signal, else 0 if everything's ok.
958c2ecf20Sopenharmony_ci *
968c2ecf20Sopenharmony_ci * Notice that the kernel does not and cannot use FP regs.  This is good
978c2ecf20Sopenharmony_ci * because it means that instead of saving/restoring all fp regs, we simply
988c2ecf20Sopenharmony_ci * stick the result of the operation into the appropriate register.
998c2ecf20Sopenharmony_ci */
1008c2ecf20Sopenharmony_cilong
1018c2ecf20Sopenharmony_cialpha_fp_emul (unsigned long pc)
1028c2ecf20Sopenharmony_ci{
1038c2ecf20Sopenharmony_ci	FP_DECL_EX;
1048c2ecf20Sopenharmony_ci	FP_DECL_S(SA); FP_DECL_S(SB); FP_DECL_S(SR);
1058c2ecf20Sopenharmony_ci	FP_DECL_D(DA); FP_DECL_D(DB); FP_DECL_D(DR);
1068c2ecf20Sopenharmony_ci
1078c2ecf20Sopenharmony_ci	unsigned long fa, fb, fc, func, mode, src;
1088c2ecf20Sopenharmony_ci	unsigned long res, va, vb, vc, swcr, fpcr;
1098c2ecf20Sopenharmony_ci	__u32 insn;
1108c2ecf20Sopenharmony_ci	long si_code;
1118c2ecf20Sopenharmony_ci
1128c2ecf20Sopenharmony_ci	get_user(insn, (__u32 __user *)pc);
1138c2ecf20Sopenharmony_ci	fc     = (insn >>  0) & 0x1f;	/* destination register */
1148c2ecf20Sopenharmony_ci	fb     = (insn >> 16) & 0x1f;
1158c2ecf20Sopenharmony_ci	fa     = (insn >> 21) & 0x1f;
1168c2ecf20Sopenharmony_ci	func   = (insn >>  5) & 0xf;
1178c2ecf20Sopenharmony_ci	src    = (insn >>  9) & 0x3;
1188c2ecf20Sopenharmony_ci	mode   = (insn >> 11) & 0x3;
1198c2ecf20Sopenharmony_ci
1208c2ecf20Sopenharmony_ci	fpcr = rdfpcr();
1218c2ecf20Sopenharmony_ci	swcr = swcr_update_status(current_thread_info()->ieee_state, fpcr);
1228c2ecf20Sopenharmony_ci
1238c2ecf20Sopenharmony_ci	if (mode == 3) {
1248c2ecf20Sopenharmony_ci		/* Dynamic -- get rounding mode from fpcr.  */
1258c2ecf20Sopenharmony_ci		mode = (fpcr >> FPCR_DYN_SHIFT) & 3;
1268c2ecf20Sopenharmony_ci	}
1278c2ecf20Sopenharmony_ci
1288c2ecf20Sopenharmony_ci	switch (src) {
1298c2ecf20Sopenharmony_ci	case FOP_SRC_S:
1308c2ecf20Sopenharmony_ci		va = alpha_read_fp_reg_s(fa);
1318c2ecf20Sopenharmony_ci		vb = alpha_read_fp_reg_s(fb);
1328c2ecf20Sopenharmony_ci
1338c2ecf20Sopenharmony_ci		FP_UNPACK_SP(SA, &va);
1348c2ecf20Sopenharmony_ci		FP_UNPACK_SP(SB, &vb);
1358c2ecf20Sopenharmony_ci
1368c2ecf20Sopenharmony_ci		switch (func) {
1378c2ecf20Sopenharmony_ci		case FOP_FNC_SUBx:
1388c2ecf20Sopenharmony_ci			FP_SUB_S(SR, SA, SB);
1398c2ecf20Sopenharmony_ci			goto pack_s;
1408c2ecf20Sopenharmony_ci
1418c2ecf20Sopenharmony_ci		case FOP_FNC_ADDx:
1428c2ecf20Sopenharmony_ci			FP_ADD_S(SR, SA, SB);
1438c2ecf20Sopenharmony_ci			goto pack_s;
1448c2ecf20Sopenharmony_ci
1458c2ecf20Sopenharmony_ci		case FOP_FNC_MULx:
1468c2ecf20Sopenharmony_ci			FP_MUL_S(SR, SA, SB);
1478c2ecf20Sopenharmony_ci			goto pack_s;
1488c2ecf20Sopenharmony_ci
1498c2ecf20Sopenharmony_ci		case FOP_FNC_DIVx:
1508c2ecf20Sopenharmony_ci			FP_DIV_S(SR, SA, SB);
1518c2ecf20Sopenharmony_ci			goto pack_s;
1528c2ecf20Sopenharmony_ci
1538c2ecf20Sopenharmony_ci		case FOP_FNC_SQRTx:
1548c2ecf20Sopenharmony_ci			FP_SQRT_S(SR, SB);
1558c2ecf20Sopenharmony_ci			goto pack_s;
1568c2ecf20Sopenharmony_ci		}
1578c2ecf20Sopenharmony_ci		goto bad_insn;
1588c2ecf20Sopenharmony_ci
1598c2ecf20Sopenharmony_ci	case FOP_SRC_T:
1608c2ecf20Sopenharmony_ci		va = alpha_read_fp_reg(fa);
1618c2ecf20Sopenharmony_ci		vb = alpha_read_fp_reg(fb);
1628c2ecf20Sopenharmony_ci
1638c2ecf20Sopenharmony_ci		if ((func & ~3) == FOP_FNC_CMPxUN) {
1648c2ecf20Sopenharmony_ci			FP_UNPACK_RAW_DP(DA, &va);
1658c2ecf20Sopenharmony_ci			FP_UNPACK_RAW_DP(DB, &vb);
1668c2ecf20Sopenharmony_ci			if (!DA_e && !_FP_FRAC_ZEROP_1(DA)) {
1678c2ecf20Sopenharmony_ci				FP_SET_EXCEPTION(FP_EX_DENORM);
1688c2ecf20Sopenharmony_ci				if (FP_DENORM_ZERO)
1698c2ecf20Sopenharmony_ci					_FP_FRAC_SET_1(DA, _FP_ZEROFRAC_1);
1708c2ecf20Sopenharmony_ci			}
1718c2ecf20Sopenharmony_ci			if (!DB_e && !_FP_FRAC_ZEROP_1(DB)) {
1728c2ecf20Sopenharmony_ci				FP_SET_EXCEPTION(FP_EX_DENORM);
1738c2ecf20Sopenharmony_ci				if (FP_DENORM_ZERO)
1748c2ecf20Sopenharmony_ci					_FP_FRAC_SET_1(DB, _FP_ZEROFRAC_1);
1758c2ecf20Sopenharmony_ci			}
1768c2ecf20Sopenharmony_ci			FP_CMP_D(res, DA, DB, 3);
1778c2ecf20Sopenharmony_ci			vc = 0x4000000000000000UL;
1788c2ecf20Sopenharmony_ci			/* CMPTEQ, CMPTUN don't trap on QNaN,
1798c2ecf20Sopenharmony_ci			   while CMPTLT and CMPTLE do */
1808c2ecf20Sopenharmony_ci			if (res == 3
1818c2ecf20Sopenharmony_ci			    && ((func & 3) >= 2
1828c2ecf20Sopenharmony_ci				|| FP_ISSIGNAN_D(DA)
1838c2ecf20Sopenharmony_ci				|| FP_ISSIGNAN_D(DB))) {
1848c2ecf20Sopenharmony_ci				FP_SET_EXCEPTION(FP_EX_INVALID);
1858c2ecf20Sopenharmony_ci			}
1868c2ecf20Sopenharmony_ci			switch (func) {
1878c2ecf20Sopenharmony_ci			case FOP_FNC_CMPxUN: if (res != 3) vc = 0; break;
1888c2ecf20Sopenharmony_ci			case FOP_FNC_CMPxEQ: if (res) vc = 0; break;
1898c2ecf20Sopenharmony_ci			case FOP_FNC_CMPxLT: if (res != -1) vc = 0; break;
1908c2ecf20Sopenharmony_ci			case FOP_FNC_CMPxLE: if ((long)res > 0) vc = 0; break;
1918c2ecf20Sopenharmony_ci			}
1928c2ecf20Sopenharmony_ci			goto done_d;
1938c2ecf20Sopenharmony_ci		}
1948c2ecf20Sopenharmony_ci
1958c2ecf20Sopenharmony_ci		FP_UNPACK_DP(DA, &va);
1968c2ecf20Sopenharmony_ci		FP_UNPACK_DP(DB, &vb);
1978c2ecf20Sopenharmony_ci
1988c2ecf20Sopenharmony_ci		switch (func) {
1998c2ecf20Sopenharmony_ci		case FOP_FNC_SUBx:
2008c2ecf20Sopenharmony_ci			FP_SUB_D(DR, DA, DB);
2018c2ecf20Sopenharmony_ci			goto pack_d;
2028c2ecf20Sopenharmony_ci
2038c2ecf20Sopenharmony_ci		case FOP_FNC_ADDx:
2048c2ecf20Sopenharmony_ci			FP_ADD_D(DR, DA, DB);
2058c2ecf20Sopenharmony_ci			goto pack_d;
2068c2ecf20Sopenharmony_ci
2078c2ecf20Sopenharmony_ci		case FOP_FNC_MULx:
2088c2ecf20Sopenharmony_ci			FP_MUL_D(DR, DA, DB);
2098c2ecf20Sopenharmony_ci			goto pack_d;
2108c2ecf20Sopenharmony_ci
2118c2ecf20Sopenharmony_ci		case FOP_FNC_DIVx:
2128c2ecf20Sopenharmony_ci			FP_DIV_D(DR, DA, DB);
2138c2ecf20Sopenharmony_ci			goto pack_d;
2148c2ecf20Sopenharmony_ci
2158c2ecf20Sopenharmony_ci		case FOP_FNC_SQRTx:
2168c2ecf20Sopenharmony_ci			FP_SQRT_D(DR, DB);
2178c2ecf20Sopenharmony_ci			goto pack_d;
2188c2ecf20Sopenharmony_ci
2198c2ecf20Sopenharmony_ci		case FOP_FNC_CVTxS:
2208c2ecf20Sopenharmony_ci			/* It is irritating that DEC encoded CVTST with
2218c2ecf20Sopenharmony_ci			   SRC == T_floating.  It is also interesting that
2228c2ecf20Sopenharmony_ci			   the bit used to tell the two apart is /U... */
2238c2ecf20Sopenharmony_ci			if (insn & 0x2000) {
2248c2ecf20Sopenharmony_ci				FP_CONV(S,D,1,1,SR,DB);
2258c2ecf20Sopenharmony_ci				goto pack_s;
2268c2ecf20Sopenharmony_ci			} else {
2278c2ecf20Sopenharmony_ci				vb = alpha_read_fp_reg_s(fb);
2288c2ecf20Sopenharmony_ci				FP_UNPACK_SP(SB, &vb);
2298c2ecf20Sopenharmony_ci				DR_c = DB_c;
2308c2ecf20Sopenharmony_ci				DR_s = DB_s;
2318c2ecf20Sopenharmony_ci				DR_e = DB_e + (1024 - 128);
2328c2ecf20Sopenharmony_ci				DR_f = SB_f << (52 - 23);
2338c2ecf20Sopenharmony_ci				goto pack_d;
2348c2ecf20Sopenharmony_ci			}
2358c2ecf20Sopenharmony_ci
2368c2ecf20Sopenharmony_ci		case FOP_FNC_CVTxQ:
2378c2ecf20Sopenharmony_ci			if (DB_c == FP_CLS_NAN
2388c2ecf20Sopenharmony_ci			    && (_FP_FRAC_HIGH_RAW_D(DB) & _FP_QNANBIT_D)) {
2398c2ecf20Sopenharmony_ci			  /* AAHB Table B-2 says QNaN should not trigger INV */
2408c2ecf20Sopenharmony_ci				vc = 0;
2418c2ecf20Sopenharmony_ci			} else
2428c2ecf20Sopenharmony_ci				FP_TO_INT_ROUND_D(vc, DB, 64, 2);
2438c2ecf20Sopenharmony_ci			goto done_d;
2448c2ecf20Sopenharmony_ci		}
2458c2ecf20Sopenharmony_ci		goto bad_insn;
2468c2ecf20Sopenharmony_ci
2478c2ecf20Sopenharmony_ci	case FOP_SRC_Q:
2488c2ecf20Sopenharmony_ci		vb = alpha_read_fp_reg(fb);
2498c2ecf20Sopenharmony_ci
2508c2ecf20Sopenharmony_ci		switch (func) {
2518c2ecf20Sopenharmony_ci		case FOP_FNC_CVTQL:
2528c2ecf20Sopenharmony_ci			/* Notice: We can get here only due to an integer
2538c2ecf20Sopenharmony_ci			   overflow.  Such overflows are reported as invalid
2548c2ecf20Sopenharmony_ci			   ops.  We return the result the hw would have
2558c2ecf20Sopenharmony_ci			   computed.  */
2568c2ecf20Sopenharmony_ci			vc = ((vb & 0xc0000000) << 32 |	/* sign and msb */
2578c2ecf20Sopenharmony_ci			      (vb & 0x3fffffff) << 29);	/* rest of the int */
2588c2ecf20Sopenharmony_ci			FP_SET_EXCEPTION (FP_EX_INVALID);
2598c2ecf20Sopenharmony_ci			goto done_d;
2608c2ecf20Sopenharmony_ci
2618c2ecf20Sopenharmony_ci		case FOP_FNC_CVTxS:
2628c2ecf20Sopenharmony_ci			FP_FROM_INT_S(SR, ((long)vb), 64, long);
2638c2ecf20Sopenharmony_ci			goto pack_s;
2648c2ecf20Sopenharmony_ci
2658c2ecf20Sopenharmony_ci		case FOP_FNC_CVTxT:
2668c2ecf20Sopenharmony_ci			FP_FROM_INT_D(DR, ((long)vb), 64, long);
2678c2ecf20Sopenharmony_ci			goto pack_d;
2688c2ecf20Sopenharmony_ci		}
2698c2ecf20Sopenharmony_ci		goto bad_insn;
2708c2ecf20Sopenharmony_ci	}
2718c2ecf20Sopenharmony_ci	goto bad_insn;
2728c2ecf20Sopenharmony_ci
2738c2ecf20Sopenharmony_cipack_s:
2748c2ecf20Sopenharmony_ci	FP_PACK_SP(&vc, SR);
2758c2ecf20Sopenharmony_ci	if ((_fex & FP_EX_UNDERFLOW) && (swcr & IEEE_MAP_UMZ))
2768c2ecf20Sopenharmony_ci		vc = 0;
2778c2ecf20Sopenharmony_ci	alpha_write_fp_reg_s(fc, vc);
2788c2ecf20Sopenharmony_ci	goto done;
2798c2ecf20Sopenharmony_ci
2808c2ecf20Sopenharmony_cipack_d:
2818c2ecf20Sopenharmony_ci	FP_PACK_DP(&vc, DR);
2828c2ecf20Sopenharmony_ci	if ((_fex & FP_EX_UNDERFLOW) && (swcr & IEEE_MAP_UMZ))
2838c2ecf20Sopenharmony_ci		vc = 0;
2848c2ecf20Sopenharmony_cidone_d:
2858c2ecf20Sopenharmony_ci	alpha_write_fp_reg(fc, vc);
2868c2ecf20Sopenharmony_ci	goto done;
2878c2ecf20Sopenharmony_ci
2888c2ecf20Sopenharmony_ci	/*
2898c2ecf20Sopenharmony_ci	 * Take the appropriate action for each possible
2908c2ecf20Sopenharmony_ci	 * floating-point result:
2918c2ecf20Sopenharmony_ci	 *
2928c2ecf20Sopenharmony_ci	 *	- Set the appropriate bits in the FPCR
2938c2ecf20Sopenharmony_ci	 *	- If the specified exception is enabled in the FPCR,
2948c2ecf20Sopenharmony_ci	 *	  return.  The caller (entArith) will dispatch
2958c2ecf20Sopenharmony_ci	 *	  the appropriate signal to the translated program.
2968c2ecf20Sopenharmony_ci	 *
2978c2ecf20Sopenharmony_ci	 * In addition, properly track the exception state in software
2988c2ecf20Sopenharmony_ci	 * as described in the Alpha Architecture Handbook section 4.7.7.3.
2998c2ecf20Sopenharmony_ci	 */
3008c2ecf20Sopenharmony_cidone:
3018c2ecf20Sopenharmony_ci	if (_fex) {
3028c2ecf20Sopenharmony_ci		/* Record exceptions in software control word.  */
3038c2ecf20Sopenharmony_ci		swcr |= (_fex << IEEE_STATUS_TO_EXCSUM_SHIFT);
3048c2ecf20Sopenharmony_ci		current_thread_info()->ieee_state
3058c2ecf20Sopenharmony_ci		  |= (_fex << IEEE_STATUS_TO_EXCSUM_SHIFT);
3068c2ecf20Sopenharmony_ci
3078c2ecf20Sopenharmony_ci		/* Update hardware control register.  */
3088c2ecf20Sopenharmony_ci		fpcr &= (~FPCR_MASK | FPCR_DYN_MASK);
3098c2ecf20Sopenharmony_ci		fpcr |= ieee_swcr_to_fpcr(swcr);
3108c2ecf20Sopenharmony_ci		wrfpcr(fpcr);
3118c2ecf20Sopenharmony_ci
3128c2ecf20Sopenharmony_ci		/* Do we generate a signal?  */
3138c2ecf20Sopenharmony_ci		_fex = _fex & swcr & IEEE_TRAP_ENABLE_MASK;
3148c2ecf20Sopenharmony_ci		si_code = 0;
3158c2ecf20Sopenharmony_ci		if (_fex) {
3168c2ecf20Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_DNO) si_code = FPE_FLTUND;
3178c2ecf20Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_INE) si_code = FPE_FLTRES;
3188c2ecf20Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_UNF) si_code = FPE_FLTUND;
3198c2ecf20Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_OVF) si_code = FPE_FLTOVF;
3208c2ecf20Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_DZE) si_code = FPE_FLTDIV;
3218c2ecf20Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_INV) si_code = FPE_FLTINV;
3228c2ecf20Sopenharmony_ci		}
3238c2ecf20Sopenharmony_ci
3248c2ecf20Sopenharmony_ci		return si_code;
3258c2ecf20Sopenharmony_ci	}
3268c2ecf20Sopenharmony_ci
3278c2ecf20Sopenharmony_ci	/* We used to write the destination register here, but DEC FORTRAN
3288c2ecf20Sopenharmony_ci	   requires that the result *always* be written... so we do the write
3298c2ecf20Sopenharmony_ci	   immediately after the operations above.  */
3308c2ecf20Sopenharmony_ci
3318c2ecf20Sopenharmony_ci	return 0;
3328c2ecf20Sopenharmony_ci
3338c2ecf20Sopenharmony_cibad_insn:
3348c2ecf20Sopenharmony_ci	printk(KERN_ERR "alpha_fp_emul: Invalid FP insn %#x at %#lx\n",
3358c2ecf20Sopenharmony_ci	       insn, pc);
3368c2ecf20Sopenharmony_ci	return -1;
3378c2ecf20Sopenharmony_ci}
3388c2ecf20Sopenharmony_ci
3398c2ecf20Sopenharmony_cilong
3408c2ecf20Sopenharmony_cialpha_fp_emul_imprecise (struct pt_regs *regs, unsigned long write_mask)
3418c2ecf20Sopenharmony_ci{
3428c2ecf20Sopenharmony_ci	unsigned long trigger_pc = regs->pc - 4;
3438c2ecf20Sopenharmony_ci	unsigned long insn, opcode, rc, si_code = 0;
3448c2ecf20Sopenharmony_ci
3458c2ecf20Sopenharmony_ci	/*
3468c2ecf20Sopenharmony_ci	 * Turn off the bits corresponding to registers that are the
3478c2ecf20Sopenharmony_ci	 * target of instructions that set bits in the exception
3488c2ecf20Sopenharmony_ci	 * summary register.  We have some slack doing this because a
3498c2ecf20Sopenharmony_ci	 * register that is the target of a trapping instruction can
3508c2ecf20Sopenharmony_ci	 * be written at most once in the trap shadow.
3518c2ecf20Sopenharmony_ci	 *
3528c2ecf20Sopenharmony_ci	 * Branches, jumps, TRAPBs, EXCBs and calls to PALcode all
3538c2ecf20Sopenharmony_ci	 * bound the trap shadow, so we need not look any further than
3548c2ecf20Sopenharmony_ci	 * up to the first occurrence of such an instruction.
3558c2ecf20Sopenharmony_ci	 */
3568c2ecf20Sopenharmony_ci	while (write_mask) {
3578c2ecf20Sopenharmony_ci		get_user(insn, (__u32 __user *)(trigger_pc));
3588c2ecf20Sopenharmony_ci		opcode = insn >> 26;
3598c2ecf20Sopenharmony_ci		rc = insn & 0x1f;
3608c2ecf20Sopenharmony_ci
3618c2ecf20Sopenharmony_ci		switch (opcode) {
3628c2ecf20Sopenharmony_ci		      case OPC_PAL:
3638c2ecf20Sopenharmony_ci		      case OPC_JSR:
3648c2ecf20Sopenharmony_ci		      case 0x30 ... 0x3f:	/* branches */
3658c2ecf20Sopenharmony_ci			goto egress;
3668c2ecf20Sopenharmony_ci
3678c2ecf20Sopenharmony_ci		      case OPC_MISC:
3688c2ecf20Sopenharmony_ci			switch (insn & 0xffff) {
3698c2ecf20Sopenharmony_ci			      case MISC_TRAPB:
3708c2ecf20Sopenharmony_ci			      case MISC_EXCB:
3718c2ecf20Sopenharmony_ci				goto egress;
3728c2ecf20Sopenharmony_ci
3738c2ecf20Sopenharmony_ci			      default:
3748c2ecf20Sopenharmony_ci				break;
3758c2ecf20Sopenharmony_ci			}
3768c2ecf20Sopenharmony_ci			break;
3778c2ecf20Sopenharmony_ci
3788c2ecf20Sopenharmony_ci		      case OPC_INTA:
3798c2ecf20Sopenharmony_ci		      case OPC_INTL:
3808c2ecf20Sopenharmony_ci		      case OPC_INTS:
3818c2ecf20Sopenharmony_ci		      case OPC_INTM:
3828c2ecf20Sopenharmony_ci			write_mask &= ~(1UL << rc);
3838c2ecf20Sopenharmony_ci			break;
3848c2ecf20Sopenharmony_ci
3858c2ecf20Sopenharmony_ci		      case OPC_FLTC:
3868c2ecf20Sopenharmony_ci		      case OPC_FLTV:
3878c2ecf20Sopenharmony_ci		      case OPC_FLTI:
3888c2ecf20Sopenharmony_ci		      case OPC_FLTL:
3898c2ecf20Sopenharmony_ci			write_mask &= ~(1UL << (rc + 32));
3908c2ecf20Sopenharmony_ci			break;
3918c2ecf20Sopenharmony_ci		}
3928c2ecf20Sopenharmony_ci		if (!write_mask) {
3938c2ecf20Sopenharmony_ci			/* Re-execute insns in the trap-shadow.  */
3948c2ecf20Sopenharmony_ci			regs->pc = trigger_pc + 4;
3958c2ecf20Sopenharmony_ci			si_code = alpha_fp_emul(trigger_pc);
3968c2ecf20Sopenharmony_ci			goto egress;
3978c2ecf20Sopenharmony_ci		}
3988c2ecf20Sopenharmony_ci		trigger_pc -= 4;
3998c2ecf20Sopenharmony_ci	}
4008c2ecf20Sopenharmony_ci
4018c2ecf20Sopenharmony_ciegress:
4028c2ecf20Sopenharmony_ci	return si_code;
4038c2ecf20Sopenharmony_ci}
404