162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only
262306a36Sopenharmony_ci#include <linux/module.h>
362306a36Sopenharmony_ci#include <linux/types.h>
462306a36Sopenharmony_ci#include <linux/kernel.h>
562306a36Sopenharmony_ci#include <linux/sched.h>
662306a36Sopenharmony_ci#include <asm/ptrace.h>
762306a36Sopenharmony_ci
862306a36Sopenharmony_ci#include <linux/uaccess.h>
962306a36Sopenharmony_ci
1062306a36Sopenharmony_ci#include "sfp-util.h"
1162306a36Sopenharmony_ci#include <math-emu/soft-fp.h>
1262306a36Sopenharmony_ci#include <math-emu/single.h>
1362306a36Sopenharmony_ci#include <math-emu/double.h>
1462306a36Sopenharmony_ci
1562306a36Sopenharmony_ci#define	OPC_PAL		0x00
1662306a36Sopenharmony_ci#define OPC_INTA	0x10
1762306a36Sopenharmony_ci#define OPC_INTL	0x11
1862306a36Sopenharmony_ci#define OPC_INTS	0x12
1962306a36Sopenharmony_ci#define OPC_INTM	0x13
2062306a36Sopenharmony_ci#define OPC_FLTC	0x14
2162306a36Sopenharmony_ci#define OPC_FLTV	0x15
2262306a36Sopenharmony_ci#define OPC_FLTI	0x16
2362306a36Sopenharmony_ci#define OPC_FLTL	0x17
2462306a36Sopenharmony_ci#define OPC_MISC	0x18
2562306a36Sopenharmony_ci#define	OPC_JSR		0x1a
2662306a36Sopenharmony_ci
2762306a36Sopenharmony_ci#define FOP_SRC_S	0
2862306a36Sopenharmony_ci#define FOP_SRC_T	2
2962306a36Sopenharmony_ci#define FOP_SRC_Q	3
3062306a36Sopenharmony_ci
3162306a36Sopenharmony_ci#define FOP_FNC_ADDx	0
3262306a36Sopenharmony_ci#define FOP_FNC_CVTQL	0
3362306a36Sopenharmony_ci#define FOP_FNC_SUBx	1
3462306a36Sopenharmony_ci#define FOP_FNC_MULx	2
3562306a36Sopenharmony_ci#define FOP_FNC_DIVx	3
3662306a36Sopenharmony_ci#define FOP_FNC_CMPxUN	4
3762306a36Sopenharmony_ci#define FOP_FNC_CMPxEQ	5
3862306a36Sopenharmony_ci#define FOP_FNC_CMPxLT	6
3962306a36Sopenharmony_ci#define FOP_FNC_CMPxLE	7
4062306a36Sopenharmony_ci#define FOP_FNC_SQRTx	11
4162306a36Sopenharmony_ci#define FOP_FNC_CVTxS	12
4262306a36Sopenharmony_ci#define FOP_FNC_CVTxT	14
4362306a36Sopenharmony_ci#define FOP_FNC_CVTxQ	15
4462306a36Sopenharmony_ci
4562306a36Sopenharmony_ci#define MISC_TRAPB	0x0000
4662306a36Sopenharmony_ci#define MISC_EXCB	0x0400
4762306a36Sopenharmony_ci
4862306a36Sopenharmony_ciextern unsigned long alpha_read_fp_reg (unsigned long reg);
4962306a36Sopenharmony_ciextern void alpha_write_fp_reg (unsigned long reg, unsigned long val);
5062306a36Sopenharmony_ciextern unsigned long alpha_read_fp_reg_s (unsigned long reg);
5162306a36Sopenharmony_ciextern void alpha_write_fp_reg_s (unsigned long reg, unsigned long val);
5262306a36Sopenharmony_ci
5362306a36Sopenharmony_ci
5462306a36Sopenharmony_ci#ifdef MODULE
5562306a36Sopenharmony_ci
5662306a36Sopenharmony_ciMODULE_DESCRIPTION("FP Software completion module");
5762306a36Sopenharmony_ciMODULE_LICENSE("GPL v2");
5862306a36Sopenharmony_ci
5962306a36Sopenharmony_ciextern long (*alpha_fp_emul_imprecise)(struct pt_regs *, unsigned long);
6062306a36Sopenharmony_ciextern long (*alpha_fp_emul) (unsigned long pc);
6162306a36Sopenharmony_ci
6262306a36Sopenharmony_cistatic long (*save_emul_imprecise)(struct pt_regs *, unsigned long);
6362306a36Sopenharmony_cistatic long (*save_emul) (unsigned long pc);
6462306a36Sopenharmony_ci
6562306a36Sopenharmony_cilong do_alpha_fp_emul_imprecise(struct pt_regs *, unsigned long);
6662306a36Sopenharmony_cilong do_alpha_fp_emul(unsigned long);
6762306a36Sopenharmony_ci
6862306a36Sopenharmony_cistatic int alpha_fp_emul_init_module(void)
6962306a36Sopenharmony_ci{
7062306a36Sopenharmony_ci	save_emul_imprecise = alpha_fp_emul_imprecise;
7162306a36Sopenharmony_ci	save_emul = alpha_fp_emul;
7262306a36Sopenharmony_ci	alpha_fp_emul_imprecise = do_alpha_fp_emul_imprecise;
7362306a36Sopenharmony_ci	alpha_fp_emul = do_alpha_fp_emul;
7462306a36Sopenharmony_ci	return 0;
7562306a36Sopenharmony_ci}
7662306a36Sopenharmony_cimodule_init(alpha_fp_emul_init_module);
7762306a36Sopenharmony_ci
7862306a36Sopenharmony_cistatic void alpha_fp_emul_cleanup_module(void)
7962306a36Sopenharmony_ci{
8062306a36Sopenharmony_ci	alpha_fp_emul_imprecise = save_emul_imprecise;
8162306a36Sopenharmony_ci	alpha_fp_emul = save_emul;
8262306a36Sopenharmony_ci}
8362306a36Sopenharmony_cimodule_exit(alpha_fp_emul_cleanup_module);
8462306a36Sopenharmony_ci
8562306a36Sopenharmony_ci#undef  alpha_fp_emul_imprecise
8662306a36Sopenharmony_ci#define alpha_fp_emul_imprecise		do_alpha_fp_emul_imprecise
8762306a36Sopenharmony_ci#undef  alpha_fp_emul
8862306a36Sopenharmony_ci#define alpha_fp_emul			do_alpha_fp_emul
8962306a36Sopenharmony_ci
9062306a36Sopenharmony_ci#endif /* MODULE */
9162306a36Sopenharmony_ci
9262306a36Sopenharmony_ci
9362306a36Sopenharmony_ci/*
9462306a36Sopenharmony_ci * Emulate the floating point instruction at address PC.  Returns -1 if the
9562306a36Sopenharmony_ci * instruction to be emulated is illegal (such as with the opDEC trap), else
9662306a36Sopenharmony_ci * the SI_CODE for a SIGFPE signal, else 0 if everything's ok.
9762306a36Sopenharmony_ci *
9862306a36Sopenharmony_ci * Notice that the kernel does not and cannot use FP regs.  This is good
9962306a36Sopenharmony_ci * because it means that instead of saving/restoring all fp regs, we simply
10062306a36Sopenharmony_ci * stick the result of the operation into the appropriate register.
10162306a36Sopenharmony_ci */
10262306a36Sopenharmony_cilong
10362306a36Sopenharmony_cialpha_fp_emul (unsigned long pc)
10462306a36Sopenharmony_ci{
10562306a36Sopenharmony_ci	FP_DECL_EX;
10662306a36Sopenharmony_ci	FP_DECL_S(SA); FP_DECL_S(SB); FP_DECL_S(SR);
10762306a36Sopenharmony_ci	FP_DECL_D(DA); FP_DECL_D(DB); FP_DECL_D(DR);
10862306a36Sopenharmony_ci
10962306a36Sopenharmony_ci	unsigned long fa, fb, fc, func, mode, src;
11062306a36Sopenharmony_ci	unsigned long res, va, vb, vc, swcr, fpcr;
11162306a36Sopenharmony_ci	__u32 insn;
11262306a36Sopenharmony_ci	long si_code;
11362306a36Sopenharmony_ci
11462306a36Sopenharmony_ci	get_user(insn, (__u32 __user *)pc);
11562306a36Sopenharmony_ci	fc     = (insn >>  0) & 0x1f;	/* destination register */
11662306a36Sopenharmony_ci	fb     = (insn >> 16) & 0x1f;
11762306a36Sopenharmony_ci	fa     = (insn >> 21) & 0x1f;
11862306a36Sopenharmony_ci	func   = (insn >>  5) & 0xf;
11962306a36Sopenharmony_ci	src    = (insn >>  9) & 0x3;
12062306a36Sopenharmony_ci	mode   = (insn >> 11) & 0x3;
12162306a36Sopenharmony_ci
12262306a36Sopenharmony_ci	fpcr = rdfpcr();
12362306a36Sopenharmony_ci	swcr = swcr_update_status(current_thread_info()->ieee_state, fpcr);
12462306a36Sopenharmony_ci
12562306a36Sopenharmony_ci	if (mode == 3) {
12662306a36Sopenharmony_ci		/* Dynamic -- get rounding mode from fpcr.  */
12762306a36Sopenharmony_ci		mode = (fpcr >> FPCR_DYN_SHIFT) & 3;
12862306a36Sopenharmony_ci	}
12962306a36Sopenharmony_ci
13062306a36Sopenharmony_ci	switch (src) {
13162306a36Sopenharmony_ci	case FOP_SRC_S:
13262306a36Sopenharmony_ci		va = alpha_read_fp_reg_s(fa);
13362306a36Sopenharmony_ci		vb = alpha_read_fp_reg_s(fb);
13462306a36Sopenharmony_ci
13562306a36Sopenharmony_ci		FP_UNPACK_SP(SA, &va);
13662306a36Sopenharmony_ci		FP_UNPACK_SP(SB, &vb);
13762306a36Sopenharmony_ci
13862306a36Sopenharmony_ci		switch (func) {
13962306a36Sopenharmony_ci		case FOP_FNC_SUBx:
14062306a36Sopenharmony_ci			FP_SUB_S(SR, SA, SB);
14162306a36Sopenharmony_ci			goto pack_s;
14262306a36Sopenharmony_ci
14362306a36Sopenharmony_ci		case FOP_FNC_ADDx:
14462306a36Sopenharmony_ci			FP_ADD_S(SR, SA, SB);
14562306a36Sopenharmony_ci			goto pack_s;
14662306a36Sopenharmony_ci
14762306a36Sopenharmony_ci		case FOP_FNC_MULx:
14862306a36Sopenharmony_ci			FP_MUL_S(SR, SA, SB);
14962306a36Sopenharmony_ci			goto pack_s;
15062306a36Sopenharmony_ci
15162306a36Sopenharmony_ci		case FOP_FNC_DIVx:
15262306a36Sopenharmony_ci			FP_DIV_S(SR, SA, SB);
15362306a36Sopenharmony_ci			goto pack_s;
15462306a36Sopenharmony_ci
15562306a36Sopenharmony_ci		case FOP_FNC_SQRTx:
15662306a36Sopenharmony_ci			FP_SQRT_S(SR, SB);
15762306a36Sopenharmony_ci			goto pack_s;
15862306a36Sopenharmony_ci		}
15962306a36Sopenharmony_ci		goto bad_insn;
16062306a36Sopenharmony_ci
16162306a36Sopenharmony_ci	case FOP_SRC_T:
16262306a36Sopenharmony_ci		va = alpha_read_fp_reg(fa);
16362306a36Sopenharmony_ci		vb = alpha_read_fp_reg(fb);
16462306a36Sopenharmony_ci
16562306a36Sopenharmony_ci		if ((func & ~3) == FOP_FNC_CMPxUN) {
16662306a36Sopenharmony_ci			FP_UNPACK_RAW_DP(DA, &va);
16762306a36Sopenharmony_ci			FP_UNPACK_RAW_DP(DB, &vb);
16862306a36Sopenharmony_ci			if (!DA_e && !_FP_FRAC_ZEROP_1(DA)) {
16962306a36Sopenharmony_ci				FP_SET_EXCEPTION(FP_EX_DENORM);
17062306a36Sopenharmony_ci				if (FP_DENORM_ZERO)
17162306a36Sopenharmony_ci					_FP_FRAC_SET_1(DA, _FP_ZEROFRAC_1);
17262306a36Sopenharmony_ci			}
17362306a36Sopenharmony_ci			if (!DB_e && !_FP_FRAC_ZEROP_1(DB)) {
17462306a36Sopenharmony_ci				FP_SET_EXCEPTION(FP_EX_DENORM);
17562306a36Sopenharmony_ci				if (FP_DENORM_ZERO)
17662306a36Sopenharmony_ci					_FP_FRAC_SET_1(DB, _FP_ZEROFRAC_1);
17762306a36Sopenharmony_ci			}
17862306a36Sopenharmony_ci			FP_CMP_D(res, DA, DB, 3);
17962306a36Sopenharmony_ci			vc = 0x4000000000000000UL;
18062306a36Sopenharmony_ci			/* CMPTEQ, CMPTUN don't trap on QNaN,
18162306a36Sopenharmony_ci			   while CMPTLT and CMPTLE do */
18262306a36Sopenharmony_ci			if (res == 3
18362306a36Sopenharmony_ci			    && ((func & 3) >= 2
18462306a36Sopenharmony_ci				|| FP_ISSIGNAN_D(DA)
18562306a36Sopenharmony_ci				|| FP_ISSIGNAN_D(DB))) {
18662306a36Sopenharmony_ci				FP_SET_EXCEPTION(FP_EX_INVALID);
18762306a36Sopenharmony_ci			}
18862306a36Sopenharmony_ci			switch (func) {
18962306a36Sopenharmony_ci			case FOP_FNC_CMPxUN: if (res != 3) vc = 0; break;
19062306a36Sopenharmony_ci			case FOP_FNC_CMPxEQ: if (res) vc = 0; break;
19162306a36Sopenharmony_ci			case FOP_FNC_CMPxLT: if (res != -1) vc = 0; break;
19262306a36Sopenharmony_ci			case FOP_FNC_CMPxLE: if ((long)res > 0) vc = 0; break;
19362306a36Sopenharmony_ci			}
19462306a36Sopenharmony_ci			goto done_d;
19562306a36Sopenharmony_ci		}
19662306a36Sopenharmony_ci
19762306a36Sopenharmony_ci		FP_UNPACK_DP(DA, &va);
19862306a36Sopenharmony_ci		FP_UNPACK_DP(DB, &vb);
19962306a36Sopenharmony_ci
20062306a36Sopenharmony_ci		switch (func) {
20162306a36Sopenharmony_ci		case FOP_FNC_SUBx:
20262306a36Sopenharmony_ci			FP_SUB_D(DR, DA, DB);
20362306a36Sopenharmony_ci			goto pack_d;
20462306a36Sopenharmony_ci
20562306a36Sopenharmony_ci		case FOP_FNC_ADDx:
20662306a36Sopenharmony_ci			FP_ADD_D(DR, DA, DB);
20762306a36Sopenharmony_ci			goto pack_d;
20862306a36Sopenharmony_ci
20962306a36Sopenharmony_ci		case FOP_FNC_MULx:
21062306a36Sopenharmony_ci			FP_MUL_D(DR, DA, DB);
21162306a36Sopenharmony_ci			goto pack_d;
21262306a36Sopenharmony_ci
21362306a36Sopenharmony_ci		case FOP_FNC_DIVx:
21462306a36Sopenharmony_ci			FP_DIV_D(DR, DA, DB);
21562306a36Sopenharmony_ci			goto pack_d;
21662306a36Sopenharmony_ci
21762306a36Sopenharmony_ci		case FOP_FNC_SQRTx:
21862306a36Sopenharmony_ci			FP_SQRT_D(DR, DB);
21962306a36Sopenharmony_ci			goto pack_d;
22062306a36Sopenharmony_ci
22162306a36Sopenharmony_ci		case FOP_FNC_CVTxS:
22262306a36Sopenharmony_ci			/* It is irritating that DEC encoded CVTST with
22362306a36Sopenharmony_ci			   SRC == T_floating.  It is also interesting that
22462306a36Sopenharmony_ci			   the bit used to tell the two apart is /U... */
22562306a36Sopenharmony_ci			if (insn & 0x2000) {
22662306a36Sopenharmony_ci				FP_CONV(S,D,1,1,SR,DB);
22762306a36Sopenharmony_ci				goto pack_s;
22862306a36Sopenharmony_ci			} else {
22962306a36Sopenharmony_ci				vb = alpha_read_fp_reg_s(fb);
23062306a36Sopenharmony_ci				FP_UNPACK_SP(SB, &vb);
23162306a36Sopenharmony_ci				DR_c = DB_c;
23262306a36Sopenharmony_ci				DR_s = DB_s;
23362306a36Sopenharmony_ci				DR_e = DB_e + (1024 - 128);
23462306a36Sopenharmony_ci				DR_f = SB_f << (52 - 23);
23562306a36Sopenharmony_ci				goto pack_d;
23662306a36Sopenharmony_ci			}
23762306a36Sopenharmony_ci
23862306a36Sopenharmony_ci		case FOP_FNC_CVTxQ:
23962306a36Sopenharmony_ci			if (DB_c == FP_CLS_NAN
24062306a36Sopenharmony_ci			    && (_FP_FRAC_HIGH_RAW_D(DB) & _FP_QNANBIT_D)) {
24162306a36Sopenharmony_ci			  /* AAHB Table B-2 says QNaN should not trigger INV */
24262306a36Sopenharmony_ci				vc = 0;
24362306a36Sopenharmony_ci			} else
24462306a36Sopenharmony_ci				FP_TO_INT_ROUND_D(vc, DB, 64, 2);
24562306a36Sopenharmony_ci			goto done_d;
24662306a36Sopenharmony_ci		}
24762306a36Sopenharmony_ci		goto bad_insn;
24862306a36Sopenharmony_ci
24962306a36Sopenharmony_ci	case FOP_SRC_Q:
25062306a36Sopenharmony_ci		vb = alpha_read_fp_reg(fb);
25162306a36Sopenharmony_ci
25262306a36Sopenharmony_ci		switch (func) {
25362306a36Sopenharmony_ci		case FOP_FNC_CVTQL:
25462306a36Sopenharmony_ci			/* Notice: We can get here only due to an integer
25562306a36Sopenharmony_ci			   overflow.  Such overflows are reported as invalid
25662306a36Sopenharmony_ci			   ops.  We return the result the hw would have
25762306a36Sopenharmony_ci			   computed.  */
25862306a36Sopenharmony_ci			vc = ((vb & 0xc0000000) << 32 |	/* sign and msb */
25962306a36Sopenharmony_ci			      (vb & 0x3fffffff) << 29);	/* rest of the int */
26062306a36Sopenharmony_ci			FP_SET_EXCEPTION (FP_EX_INVALID);
26162306a36Sopenharmony_ci			goto done_d;
26262306a36Sopenharmony_ci
26362306a36Sopenharmony_ci		case FOP_FNC_CVTxS:
26462306a36Sopenharmony_ci			FP_FROM_INT_S(SR, ((long)vb), 64, long);
26562306a36Sopenharmony_ci			goto pack_s;
26662306a36Sopenharmony_ci
26762306a36Sopenharmony_ci		case FOP_FNC_CVTxT:
26862306a36Sopenharmony_ci			FP_FROM_INT_D(DR, ((long)vb), 64, long);
26962306a36Sopenharmony_ci			goto pack_d;
27062306a36Sopenharmony_ci		}
27162306a36Sopenharmony_ci		goto bad_insn;
27262306a36Sopenharmony_ci	}
27362306a36Sopenharmony_ci	goto bad_insn;
27462306a36Sopenharmony_ci
27562306a36Sopenharmony_cipack_s:
27662306a36Sopenharmony_ci	FP_PACK_SP(&vc, SR);
27762306a36Sopenharmony_ci	if ((_fex & FP_EX_UNDERFLOW) && (swcr & IEEE_MAP_UMZ))
27862306a36Sopenharmony_ci		vc = 0;
27962306a36Sopenharmony_ci	alpha_write_fp_reg_s(fc, vc);
28062306a36Sopenharmony_ci	goto done;
28162306a36Sopenharmony_ci
28262306a36Sopenharmony_cipack_d:
28362306a36Sopenharmony_ci	FP_PACK_DP(&vc, DR);
28462306a36Sopenharmony_ci	if ((_fex & FP_EX_UNDERFLOW) && (swcr & IEEE_MAP_UMZ))
28562306a36Sopenharmony_ci		vc = 0;
28662306a36Sopenharmony_cidone_d:
28762306a36Sopenharmony_ci	alpha_write_fp_reg(fc, vc);
28862306a36Sopenharmony_ci	goto done;
28962306a36Sopenharmony_ci
29062306a36Sopenharmony_ci	/*
29162306a36Sopenharmony_ci	 * Take the appropriate action for each possible
29262306a36Sopenharmony_ci	 * floating-point result:
29362306a36Sopenharmony_ci	 *
29462306a36Sopenharmony_ci	 *	- Set the appropriate bits in the FPCR
29562306a36Sopenharmony_ci	 *	- If the specified exception is enabled in the FPCR,
29662306a36Sopenharmony_ci	 *	  return.  The caller (entArith) will dispatch
29762306a36Sopenharmony_ci	 *	  the appropriate signal to the translated program.
29862306a36Sopenharmony_ci	 *
29962306a36Sopenharmony_ci	 * In addition, properly track the exception state in software
30062306a36Sopenharmony_ci	 * as described in the Alpha Architecture Handbook section 4.7.7.3.
30162306a36Sopenharmony_ci	 */
30262306a36Sopenharmony_cidone:
30362306a36Sopenharmony_ci	if (_fex) {
30462306a36Sopenharmony_ci		/* Record exceptions in software control word.  */
30562306a36Sopenharmony_ci		swcr |= (_fex << IEEE_STATUS_TO_EXCSUM_SHIFT);
30662306a36Sopenharmony_ci		current_thread_info()->ieee_state
30762306a36Sopenharmony_ci		  |= (_fex << IEEE_STATUS_TO_EXCSUM_SHIFT);
30862306a36Sopenharmony_ci
30962306a36Sopenharmony_ci		/* Update hardware control register.  */
31062306a36Sopenharmony_ci		fpcr &= (~FPCR_MASK | FPCR_DYN_MASK);
31162306a36Sopenharmony_ci		fpcr |= ieee_swcr_to_fpcr(swcr);
31262306a36Sopenharmony_ci		wrfpcr(fpcr);
31362306a36Sopenharmony_ci
31462306a36Sopenharmony_ci		/* Do we generate a signal?  */
31562306a36Sopenharmony_ci		_fex = _fex & swcr & IEEE_TRAP_ENABLE_MASK;
31662306a36Sopenharmony_ci		si_code = 0;
31762306a36Sopenharmony_ci		if (_fex) {
31862306a36Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_DNO) si_code = FPE_FLTUND;
31962306a36Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_INE) si_code = FPE_FLTRES;
32062306a36Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_UNF) si_code = FPE_FLTUND;
32162306a36Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_OVF) si_code = FPE_FLTOVF;
32262306a36Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_DZE) si_code = FPE_FLTDIV;
32362306a36Sopenharmony_ci			if (_fex & IEEE_TRAP_ENABLE_INV) si_code = FPE_FLTINV;
32462306a36Sopenharmony_ci		}
32562306a36Sopenharmony_ci
32662306a36Sopenharmony_ci		return si_code;
32762306a36Sopenharmony_ci	}
32862306a36Sopenharmony_ci
32962306a36Sopenharmony_ci	/* We used to write the destination register here, but DEC FORTRAN
33062306a36Sopenharmony_ci	   requires that the result *always* be written... so we do the write
33162306a36Sopenharmony_ci	   immediately after the operations above.  */
33262306a36Sopenharmony_ci
33362306a36Sopenharmony_ci	return 0;
33462306a36Sopenharmony_ci
33562306a36Sopenharmony_cibad_insn:
33662306a36Sopenharmony_ci	printk(KERN_ERR "alpha_fp_emul: Invalid FP insn %#x at %#lx\n",
33762306a36Sopenharmony_ci	       insn, pc);
33862306a36Sopenharmony_ci	return -1;
33962306a36Sopenharmony_ci}
34062306a36Sopenharmony_ci
34162306a36Sopenharmony_cilong
34262306a36Sopenharmony_cialpha_fp_emul_imprecise (struct pt_regs *regs, unsigned long write_mask)
34362306a36Sopenharmony_ci{
34462306a36Sopenharmony_ci	unsigned long trigger_pc = regs->pc - 4;
34562306a36Sopenharmony_ci	unsigned long insn, opcode, rc, si_code = 0;
34662306a36Sopenharmony_ci
34762306a36Sopenharmony_ci	/*
34862306a36Sopenharmony_ci	 * Turn off the bits corresponding to registers that are the
34962306a36Sopenharmony_ci	 * target of instructions that set bits in the exception
35062306a36Sopenharmony_ci	 * summary register.  We have some slack doing this because a
35162306a36Sopenharmony_ci	 * register that is the target of a trapping instruction can
35262306a36Sopenharmony_ci	 * be written at most once in the trap shadow.
35362306a36Sopenharmony_ci	 *
35462306a36Sopenharmony_ci	 * Branches, jumps, TRAPBs, EXCBs and calls to PALcode all
35562306a36Sopenharmony_ci	 * bound the trap shadow, so we need not look any further than
35662306a36Sopenharmony_ci	 * up to the first occurrence of such an instruction.
35762306a36Sopenharmony_ci	 */
35862306a36Sopenharmony_ci	while (write_mask) {
35962306a36Sopenharmony_ci		get_user(insn, (__u32 __user *)(trigger_pc));
36062306a36Sopenharmony_ci		opcode = insn >> 26;
36162306a36Sopenharmony_ci		rc = insn & 0x1f;
36262306a36Sopenharmony_ci
36362306a36Sopenharmony_ci		switch (opcode) {
36462306a36Sopenharmony_ci		      case OPC_PAL:
36562306a36Sopenharmony_ci		      case OPC_JSR:
36662306a36Sopenharmony_ci		      case 0x30 ... 0x3f:	/* branches */
36762306a36Sopenharmony_ci			goto egress;
36862306a36Sopenharmony_ci
36962306a36Sopenharmony_ci		      case OPC_MISC:
37062306a36Sopenharmony_ci			switch (insn & 0xffff) {
37162306a36Sopenharmony_ci			      case MISC_TRAPB:
37262306a36Sopenharmony_ci			      case MISC_EXCB:
37362306a36Sopenharmony_ci				goto egress;
37462306a36Sopenharmony_ci
37562306a36Sopenharmony_ci			      default:
37662306a36Sopenharmony_ci				break;
37762306a36Sopenharmony_ci			}
37862306a36Sopenharmony_ci			break;
37962306a36Sopenharmony_ci
38062306a36Sopenharmony_ci		      case OPC_INTA:
38162306a36Sopenharmony_ci		      case OPC_INTL:
38262306a36Sopenharmony_ci		      case OPC_INTS:
38362306a36Sopenharmony_ci		      case OPC_INTM:
38462306a36Sopenharmony_ci			write_mask &= ~(1UL << rc);
38562306a36Sopenharmony_ci			break;
38662306a36Sopenharmony_ci
38762306a36Sopenharmony_ci		      case OPC_FLTC:
38862306a36Sopenharmony_ci		      case OPC_FLTV:
38962306a36Sopenharmony_ci		      case OPC_FLTI:
39062306a36Sopenharmony_ci		      case OPC_FLTL:
39162306a36Sopenharmony_ci			write_mask &= ~(1UL << (rc + 32));
39262306a36Sopenharmony_ci			break;
39362306a36Sopenharmony_ci		}
39462306a36Sopenharmony_ci		if (!write_mask) {
39562306a36Sopenharmony_ci			/* Re-execute insns in the trap-shadow.  */
39662306a36Sopenharmony_ci			regs->pc = trigger_pc + 4;
39762306a36Sopenharmony_ci			si_code = alpha_fp_emul(trigger_pc);
39862306a36Sopenharmony_ci			goto egress;
39962306a36Sopenharmony_ci		}
40062306a36Sopenharmony_ci		trigger_pc -= 4;
40162306a36Sopenharmony_ci	}
40262306a36Sopenharmony_ci
40362306a36Sopenharmony_ciegress:
40462306a36Sopenharmony_ci	return si_code;
40562306a36Sopenharmony_ci}
406