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