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