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