14c9649a9Sj_mayer /* 24c9649a9Sj_mayer * Alpha emulation cpu helpers for qemu. 34c9649a9Sj_mayer * 44c9649a9Sj_mayer * Copyright (c) 2007 Jocelyn Mayer 54c9649a9Sj_mayer * 64c9649a9Sj_mayer * This library is free software; you can redistribute it and/or 74c9649a9Sj_mayer * modify it under the terms of the GNU Lesser General Public 84c9649a9Sj_mayer * License as published by the Free Software Foundation; either 94c9649a9Sj_mayer * version 2 of the License, or (at your option) any later version. 104c9649a9Sj_mayer * 114c9649a9Sj_mayer * This library is distributed in the hope that it will be useful, 124c9649a9Sj_mayer * but WITHOUT ANY WARRANTY; without even the implied warranty of 134c9649a9Sj_mayer * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 144c9649a9Sj_mayer * Lesser General Public License for more details. 154c9649a9Sj_mayer * 164c9649a9Sj_mayer * You should have received a copy of the GNU Lesser General Public 178167ee88SBlue Swirl * License along with this library; if not, see <http://www.gnu.org/licenses/>. 184c9649a9Sj_mayer */ 194c9649a9Sj_mayer 20e2e5e114SPeter Maydell #include "qemu/osdep.h" 214c9649a9Sj_mayer 224c9649a9Sj_mayer #include "cpu.h" 2363c91552SPaolo Bonzini #include "exec/exec-all.h" 246b4c305cSPaolo Bonzini #include "fpu/softfloat.h" 252ef6175aSRichard Henderson #include "exec/helper-proto.h" 26ba0e276dSRichard Henderson 27f3d3aad4SRichard Henderson 28f3d3aad4SRichard Henderson #define CONVERT_BIT(X, SRC, DST) \ 29f3d3aad4SRichard Henderson (SRC > DST ? (X) / (SRC / DST) & (DST) : ((X) & SRC) * (DST / SRC)) 30f3d3aad4SRichard Henderson 314d5712f1SAndreas Färber uint64_t cpu_alpha_load_fpcr (CPUAlphaState *env) 32ba0e276dSRichard Henderson { 33f3d3aad4SRichard Henderson return (uint64_t)env->fpcr << 32; 34ba0e276dSRichard Henderson } 35ba0e276dSRichard Henderson 364d5712f1SAndreas Färber void cpu_alpha_store_fpcr (CPUAlphaState *env, uint64_t val) 37ba0e276dSRichard Henderson { 38f3d3aad4SRichard Henderson uint32_t fpcr = val >> 32; 39f3d3aad4SRichard Henderson uint32_t t = 0; 40ba0e276dSRichard Henderson 41f3d3aad4SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_INED, FPCR_INE); 42f3d3aad4SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_UNFD, FPCR_UNF); 43f3d3aad4SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_OVFD, FPCR_OVF); 44f3d3aad4SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_DZED, FPCR_DZE); 45f3d3aad4SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_INVD, FPCR_INV); 46ba0e276dSRichard Henderson 47f3d3aad4SRichard Henderson env->fpcr = fpcr; 48f3d3aad4SRichard Henderson env->fpcr_exc_enable = ~t & FPCR_STATUS_MASK; 49ba0e276dSRichard Henderson 50f3d3aad4SRichard Henderson switch (fpcr & FPCR_DYN_MASK) { 51f3d3aad4SRichard Henderson case FPCR_DYN_NORMAL: 52f3d3aad4SRichard Henderson default: 53f3d3aad4SRichard Henderson t = float_round_nearest_even; 54f3d3aad4SRichard Henderson break; 558443effbSRichard Henderson case FPCR_DYN_CHOPPED: 568443effbSRichard Henderson t = float_round_to_zero; 57ba0e276dSRichard Henderson break; 588443effbSRichard Henderson case FPCR_DYN_MINUS: 598443effbSRichard Henderson t = float_round_down; 60ba0e276dSRichard Henderson break; 618443effbSRichard Henderson case FPCR_DYN_PLUS: 628443effbSRichard Henderson t = float_round_up; 63ba0e276dSRichard Henderson break; 64ba0e276dSRichard Henderson } 658443effbSRichard Henderson env->fpcr_dyn_round = t; 668443effbSRichard Henderson 67f3d3aad4SRichard Henderson env->fpcr_flush_to_zero = (fpcr & FPCR_UNFD) && (fpcr & FPCR_UNDZ); 68f3d3aad4SRichard Henderson env->fp_status.flush_inputs_to_zero = (fpcr & FPCR_DNZ) != 0; 69ba0e276dSRichard Henderson } 704c9649a9Sj_mayer 71a44a2777SRichard Henderson uint64_t helper_load_fpcr(CPUAlphaState *env) 72a44a2777SRichard Henderson { 73a44a2777SRichard Henderson return cpu_alpha_load_fpcr(env); 74a44a2777SRichard Henderson } 75a44a2777SRichard Henderson 76a44a2777SRichard Henderson void helper_store_fpcr(CPUAlphaState *env, uint64_t val) 77a44a2777SRichard Henderson { 78a44a2777SRichard Henderson cpu_alpha_store_fpcr(env, val); 79a44a2777SRichard Henderson } 80a44a2777SRichard Henderson 8159124384SRichard Henderson static uint64_t *cpu_alpha_addr_gr(CPUAlphaState *env, unsigned reg) 8259124384SRichard Henderson { 8359124384SRichard Henderson #ifndef CONFIG_USER_ONLY 84*bcd2625dSRichard Henderson if (env->flags & ENV_FLAG_PAL_MODE) { 8559124384SRichard Henderson if (reg >= 8 && reg <= 14) { 8659124384SRichard Henderson return &env->shadow[reg - 8]; 8759124384SRichard Henderson } else if (reg == 25) { 8859124384SRichard Henderson return &env->shadow[7]; 8959124384SRichard Henderson } 9059124384SRichard Henderson } 9159124384SRichard Henderson #endif 9259124384SRichard Henderson return &env->ir[reg]; 9359124384SRichard Henderson } 9459124384SRichard Henderson 9559124384SRichard Henderson uint64_t cpu_alpha_load_gr(CPUAlphaState *env, unsigned reg) 9659124384SRichard Henderson { 9759124384SRichard Henderson return *cpu_alpha_addr_gr(env, reg); 9859124384SRichard Henderson } 9959124384SRichard Henderson 10059124384SRichard Henderson void cpu_alpha_store_gr(CPUAlphaState *env, unsigned reg, uint64_t val) 10159124384SRichard Henderson { 10259124384SRichard Henderson *cpu_alpha_addr_gr(env, reg) = val; 10359124384SRichard Henderson } 10459124384SRichard Henderson 1054c9649a9Sj_mayer #if defined(CONFIG_USER_ONLY) 1067510454eSAndreas Färber int alpha_cpu_handle_mmu_fault(CPUState *cs, vaddr address, 107a44a2777SRichard Henderson int rw, int mmu_idx) 1084c9649a9Sj_mayer { 1097510454eSAndreas Färber AlphaCPU *cpu = ALPHA_CPU(cs); 1107510454eSAndreas Färber 11127103424SAndreas Färber cs->exception_index = EXCP_MMFAULT; 1127510454eSAndreas Färber cpu->env.trap_arg0 = address; 1134c9649a9Sj_mayer return 1; 1144c9649a9Sj_mayer } 1154c9649a9Sj_mayer #else 116a3b9af16SRichard Henderson /* Returns the OSF/1 entMM failure indication, or -1 on success. */ 1174d5712f1SAndreas Färber static int get_physical_address(CPUAlphaState *env, target_ulong addr, 118a3b9af16SRichard Henderson int prot_need, int mmu_idx, 119a3b9af16SRichard Henderson target_ulong *pphys, int *pprot) 1204c9649a9Sj_mayer { 121d2810ffdSAndreas Färber CPUState *cs = CPU(alpha_env_get_cpu(env)); 122a3b9af16SRichard Henderson target_long saddr = addr; 123a3b9af16SRichard Henderson target_ulong phys = 0; 124a3b9af16SRichard Henderson target_ulong L1pte, L2pte, L3pte; 125a3b9af16SRichard Henderson target_ulong pt, index; 126a3b9af16SRichard Henderson int prot = 0; 127a3b9af16SRichard Henderson int ret = MM_K_ACV; 128a3b9af16SRichard Henderson 1296a73ecf5SRichard Henderson /* Handle physical accesses. */ 1306a73ecf5SRichard Henderson if (mmu_idx == MMU_PHYS_IDX) { 1316a73ecf5SRichard Henderson phys = addr; 1326a73ecf5SRichard Henderson prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 1336a73ecf5SRichard Henderson ret = -1; 1346a73ecf5SRichard Henderson goto exit; 1356a73ecf5SRichard Henderson } 1366a73ecf5SRichard Henderson 137a3b9af16SRichard Henderson /* Ensure that the virtual address is properly sign-extended from 138a3b9af16SRichard Henderson the last implemented virtual address bit. */ 139a3b9af16SRichard Henderson if (saddr >> TARGET_VIRT_ADDR_SPACE_BITS != saddr >> 63) { 140a3b9af16SRichard Henderson goto exit; 1414c9649a9Sj_mayer } 1424c9649a9Sj_mayer 143a3b9af16SRichard Henderson /* Translate the superpage. */ 144a3b9af16SRichard Henderson /* ??? When we do more than emulate Unix PALcode, we'll need to 145fa6e0a63SRichard Henderson determine which KSEG is actually active. */ 146fa6e0a63SRichard Henderson if (saddr < 0 && ((saddr >> 41) & 3) == 2) { 147fa6e0a63SRichard Henderson /* User-space cannot access KSEG addresses. */ 148a3b9af16SRichard Henderson if (mmu_idx != MMU_KERNEL_IDX) { 149a3b9af16SRichard Henderson goto exit; 150a3b9af16SRichard Henderson } 151a3b9af16SRichard Henderson 152fa6e0a63SRichard Henderson /* For the benefit of the Typhoon chipset, move bit 40 to bit 43. 153fa6e0a63SRichard Henderson We would not do this if the 48-bit KSEG is enabled. */ 154a3b9af16SRichard Henderson phys = saddr & ((1ull << 40) - 1); 155fa6e0a63SRichard Henderson phys |= (saddr & (1ull << 40)) << 3; 156fa6e0a63SRichard Henderson 157a3b9af16SRichard Henderson prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 158a3b9af16SRichard Henderson ret = -1; 159a3b9af16SRichard Henderson goto exit; 160a3b9af16SRichard Henderson } 161a3b9af16SRichard Henderson 162a3b9af16SRichard Henderson /* Interpret the page table exactly like PALcode does. */ 163a3b9af16SRichard Henderson 164a3b9af16SRichard Henderson pt = env->ptbr; 165a3b9af16SRichard Henderson 166a3b9af16SRichard Henderson /* L1 page table read. */ 167a3b9af16SRichard Henderson index = (addr >> (TARGET_PAGE_BITS + 20)) & 0x3ff; 1682c17449bSEdgar E. Iglesias L1pte = ldq_phys(cs->as, pt + index*8); 169a3b9af16SRichard Henderson 170a3b9af16SRichard Henderson if (unlikely((L1pte & PTE_VALID) == 0)) { 171a3b9af16SRichard Henderson ret = MM_K_TNV; 172a3b9af16SRichard Henderson goto exit; 173a3b9af16SRichard Henderson } 174a3b9af16SRichard Henderson if (unlikely((L1pte & PTE_KRE) == 0)) { 175a3b9af16SRichard Henderson goto exit; 176a3b9af16SRichard Henderson } 177a3b9af16SRichard Henderson pt = L1pte >> 32 << TARGET_PAGE_BITS; 178a3b9af16SRichard Henderson 179a3b9af16SRichard Henderson /* L2 page table read. */ 180a3b9af16SRichard Henderson index = (addr >> (TARGET_PAGE_BITS + 10)) & 0x3ff; 1812c17449bSEdgar E. Iglesias L2pte = ldq_phys(cs->as, pt + index*8); 182a3b9af16SRichard Henderson 183a3b9af16SRichard Henderson if (unlikely((L2pte & PTE_VALID) == 0)) { 184a3b9af16SRichard Henderson ret = MM_K_TNV; 185a3b9af16SRichard Henderson goto exit; 186a3b9af16SRichard Henderson } 187a3b9af16SRichard Henderson if (unlikely((L2pte & PTE_KRE) == 0)) { 188a3b9af16SRichard Henderson goto exit; 189a3b9af16SRichard Henderson } 190a3b9af16SRichard Henderson pt = L2pte >> 32 << TARGET_PAGE_BITS; 191a3b9af16SRichard Henderson 192a3b9af16SRichard Henderson /* L3 page table read. */ 193a3b9af16SRichard Henderson index = (addr >> TARGET_PAGE_BITS) & 0x3ff; 1942c17449bSEdgar E. Iglesias L3pte = ldq_phys(cs->as, pt + index*8); 195a3b9af16SRichard Henderson 196a3b9af16SRichard Henderson phys = L3pte >> 32 << TARGET_PAGE_BITS; 197a3b9af16SRichard Henderson if (unlikely((L3pte & PTE_VALID) == 0)) { 198a3b9af16SRichard Henderson ret = MM_K_TNV; 199a3b9af16SRichard Henderson goto exit; 200a3b9af16SRichard Henderson } 201a3b9af16SRichard Henderson 202a3b9af16SRichard Henderson #if PAGE_READ != 1 || PAGE_WRITE != 2 || PAGE_EXEC != 4 203a3b9af16SRichard Henderson # error page bits out of date 204a3b9af16SRichard Henderson #endif 205a3b9af16SRichard Henderson 206a3b9af16SRichard Henderson /* Check access violations. */ 207a3b9af16SRichard Henderson if (L3pte & (PTE_KRE << mmu_idx)) { 208a3b9af16SRichard Henderson prot |= PAGE_READ | PAGE_EXEC; 209a3b9af16SRichard Henderson } 210a3b9af16SRichard Henderson if (L3pte & (PTE_KWE << mmu_idx)) { 211a3b9af16SRichard Henderson prot |= PAGE_WRITE; 212a3b9af16SRichard Henderson } 213a3b9af16SRichard Henderson if (unlikely((prot & prot_need) == 0 && prot_need)) { 214a3b9af16SRichard Henderson goto exit; 215a3b9af16SRichard Henderson } 216a3b9af16SRichard Henderson 217a3b9af16SRichard Henderson /* Check fault-on-operation violations. */ 218a3b9af16SRichard Henderson prot &= ~(L3pte >> 1); 219a3b9af16SRichard Henderson ret = -1; 220a3b9af16SRichard Henderson if (unlikely((prot & prot_need) == 0)) { 221a3b9af16SRichard Henderson ret = (prot_need & PAGE_EXEC ? MM_K_FOE : 222a3b9af16SRichard Henderson prot_need & PAGE_WRITE ? MM_K_FOW : 223a3b9af16SRichard Henderson prot_need & PAGE_READ ? MM_K_FOR : -1); 224a3b9af16SRichard Henderson } 225a3b9af16SRichard Henderson 226a3b9af16SRichard Henderson exit: 227a3b9af16SRichard Henderson *pphys = phys; 228a3b9af16SRichard Henderson *pprot = prot; 229a3b9af16SRichard Henderson return ret; 230a3b9af16SRichard Henderson } 231a3b9af16SRichard Henderson 23200b941e5SAndreas Färber hwaddr alpha_cpu_get_phys_page_debug(CPUState *cs, vaddr addr) 233a3b9af16SRichard Henderson { 23400b941e5SAndreas Färber AlphaCPU *cpu = ALPHA_CPU(cs); 235a3b9af16SRichard Henderson target_ulong phys; 236a3b9af16SRichard Henderson int prot, fail; 237a3b9af16SRichard Henderson 23800b941e5SAndreas Färber fail = get_physical_address(&cpu->env, addr, 0, 0, &phys, &prot); 239a3b9af16SRichard Henderson return (fail >= 0 ? -1 : phys); 240a3b9af16SRichard Henderson } 241a3b9af16SRichard Henderson 2427510454eSAndreas Färber int alpha_cpu_handle_mmu_fault(CPUState *cs, vaddr addr, int rw, 24397b348e7SBlue Swirl int mmu_idx) 2444c9649a9Sj_mayer { 2457510454eSAndreas Färber AlphaCPU *cpu = ALPHA_CPU(cs); 2467510454eSAndreas Färber CPUAlphaState *env = &cpu->env; 247a3b9af16SRichard Henderson target_ulong phys; 248a3b9af16SRichard Henderson int prot, fail; 249a3b9af16SRichard Henderson 250a3b9af16SRichard Henderson fail = get_physical_address(env, addr, 1 << rw, mmu_idx, &phys, &prot); 251a3b9af16SRichard Henderson if (unlikely(fail >= 0)) { 25227103424SAndreas Färber cs->exception_index = EXCP_MMFAULT; 253a3b9af16SRichard Henderson env->trap_arg0 = addr; 254a3b9af16SRichard Henderson env->trap_arg1 = fail; 255a3b9af16SRichard Henderson env->trap_arg2 = (rw == 2 ? -1 : rw); 256a3b9af16SRichard Henderson return 1; 257a3b9af16SRichard Henderson } 258a3b9af16SRichard Henderson 2590c591eb0SAndreas Färber tlb_set_page(cs, addr & TARGET_PAGE_MASK, phys & TARGET_PAGE_MASK, 260a3b9af16SRichard Henderson prot, mmu_idx, TARGET_PAGE_SIZE); 261129d8aa5SRichard Henderson return 0; 2624c9649a9Sj_mayer } 2633a6fa678SRichard Henderson #endif /* USER_ONLY */ 2644c9649a9Sj_mayer 26597a8ea5aSAndreas Färber void alpha_cpu_do_interrupt(CPUState *cs) 2664c9649a9Sj_mayer { 26797a8ea5aSAndreas Färber AlphaCPU *cpu = ALPHA_CPU(cs); 26897a8ea5aSAndreas Färber CPUAlphaState *env = &cpu->env; 26927103424SAndreas Färber int i = cs->exception_index; 2703a6fa678SRichard Henderson 2713a6fa678SRichard Henderson if (qemu_loglevel_mask(CPU_LOG_INT)) { 2723a6fa678SRichard Henderson static int count; 2733a6fa678SRichard Henderson const char *name = "<unknown>"; 2743a6fa678SRichard Henderson 2753a6fa678SRichard Henderson switch (i) { 2763a6fa678SRichard Henderson case EXCP_RESET: 2773a6fa678SRichard Henderson name = "reset"; 2783a6fa678SRichard Henderson break; 2793a6fa678SRichard Henderson case EXCP_MCHK: 2803a6fa678SRichard Henderson name = "mchk"; 2813a6fa678SRichard Henderson break; 2823a6fa678SRichard Henderson case EXCP_SMP_INTERRUPT: 2833a6fa678SRichard Henderson name = "smp_interrupt"; 2843a6fa678SRichard Henderson break; 2853a6fa678SRichard Henderson case EXCP_CLK_INTERRUPT: 2863a6fa678SRichard Henderson name = "clk_interrupt"; 2873a6fa678SRichard Henderson break; 2883a6fa678SRichard Henderson case EXCP_DEV_INTERRUPT: 2893a6fa678SRichard Henderson name = "dev_interrupt"; 2903a6fa678SRichard Henderson break; 2913a6fa678SRichard Henderson case EXCP_MMFAULT: 2923a6fa678SRichard Henderson name = "mmfault"; 2933a6fa678SRichard Henderson break; 2943a6fa678SRichard Henderson case EXCP_UNALIGN: 2953a6fa678SRichard Henderson name = "unalign"; 2963a6fa678SRichard Henderson break; 2973a6fa678SRichard Henderson case EXCP_OPCDEC: 2983a6fa678SRichard Henderson name = "opcdec"; 2993a6fa678SRichard Henderson break; 3003a6fa678SRichard Henderson case EXCP_ARITH: 3013a6fa678SRichard Henderson name = "arith"; 3023a6fa678SRichard Henderson break; 3033a6fa678SRichard Henderson case EXCP_FEN: 3043a6fa678SRichard Henderson name = "fen"; 3053a6fa678SRichard Henderson break; 3063a6fa678SRichard Henderson case EXCP_CALL_PAL: 3073a6fa678SRichard Henderson name = "call_pal"; 3083a6fa678SRichard Henderson break; 3094c9649a9Sj_mayer } 310022f52e0SRichard Henderson qemu_log("INT %6d: %s(%#x) cpu=%d pc=%016" 311022f52e0SRichard Henderson PRIx64 " sp=%016" PRIx64 "\n", 312022f52e0SRichard Henderson ++count, name, env->error_code, cs->cpu_index, 313022f52e0SRichard Henderson env->pc, env->ir[IR_SP]); 3143a6fa678SRichard Henderson } 3153a6fa678SRichard Henderson 31627103424SAndreas Färber cs->exception_index = -1; 3173a6fa678SRichard Henderson 3183a6fa678SRichard Henderson #if !defined(CONFIG_USER_ONLY) 3193a6fa678SRichard Henderson switch (i) { 3203a6fa678SRichard Henderson case EXCP_RESET: 3213a6fa678SRichard Henderson i = 0x0000; 3223a6fa678SRichard Henderson break; 3233a6fa678SRichard Henderson case EXCP_MCHK: 3243a6fa678SRichard Henderson i = 0x0080; 3253a6fa678SRichard Henderson break; 3263a6fa678SRichard Henderson case EXCP_SMP_INTERRUPT: 3273a6fa678SRichard Henderson i = 0x0100; 3283a6fa678SRichard Henderson break; 3293a6fa678SRichard Henderson case EXCP_CLK_INTERRUPT: 3303a6fa678SRichard Henderson i = 0x0180; 3313a6fa678SRichard Henderson break; 3323a6fa678SRichard Henderson case EXCP_DEV_INTERRUPT: 3333a6fa678SRichard Henderson i = 0x0200; 3343a6fa678SRichard Henderson break; 3353a6fa678SRichard Henderson case EXCP_MMFAULT: 3363a6fa678SRichard Henderson i = 0x0280; 3373a6fa678SRichard Henderson break; 3383a6fa678SRichard Henderson case EXCP_UNALIGN: 3393a6fa678SRichard Henderson i = 0x0300; 3403a6fa678SRichard Henderson break; 3413a6fa678SRichard Henderson case EXCP_OPCDEC: 3423a6fa678SRichard Henderson i = 0x0380; 3433a6fa678SRichard Henderson break; 3443a6fa678SRichard Henderson case EXCP_ARITH: 3453a6fa678SRichard Henderson i = 0x0400; 3463a6fa678SRichard Henderson break; 3473a6fa678SRichard Henderson case EXCP_FEN: 3483a6fa678SRichard Henderson i = 0x0480; 3493a6fa678SRichard Henderson break; 3503a6fa678SRichard Henderson case EXCP_CALL_PAL: 3513a6fa678SRichard Henderson i = env->error_code; 3523a6fa678SRichard Henderson /* There are 64 entry points for both privileged and unprivileged, 3533a6fa678SRichard Henderson with bit 0x80 indicating unprivileged. Each entry point gets 3543a6fa678SRichard Henderson 64 bytes to do its job. */ 3553a6fa678SRichard Henderson if (i & 0x80) { 3563a6fa678SRichard Henderson i = 0x2000 + (i - 0x80) * 64; 3573a6fa678SRichard Henderson } else { 3583a6fa678SRichard Henderson i = 0x1000 + i * 64; 3593a6fa678SRichard Henderson } 3603a6fa678SRichard Henderson break; 3613a6fa678SRichard Henderson default: 362a47dddd7SAndreas Färber cpu_abort(cs, "Unhandled CPU exception"); 3633a6fa678SRichard Henderson } 3643a6fa678SRichard Henderson 3653a6fa678SRichard Henderson /* Remember where the exception happened. Emulate real hardware in 3663a6fa678SRichard Henderson that the low bit of the PC indicates PALmode. */ 367*bcd2625dSRichard Henderson env->exc_addr = env->pc | (env->flags & ENV_FLAG_PAL_MODE); 3683a6fa678SRichard Henderson 3693a6fa678SRichard Henderson /* Continue execution at the PALcode entry point. */ 3703a6fa678SRichard Henderson env->pc = env->palbr + i; 3713a6fa678SRichard Henderson 3723a6fa678SRichard Henderson /* Switch to PALmode. */ 373*bcd2625dSRichard Henderson env->flags |= ENV_FLAG_PAL_MODE; 3743a6fa678SRichard Henderson #endif /* !USER_ONLY */ 3753a6fa678SRichard Henderson } 3764c9649a9Sj_mayer 377dde7c241SRichard Henderson bool alpha_cpu_exec_interrupt(CPUState *cs, int interrupt_request) 378dde7c241SRichard Henderson { 379dde7c241SRichard Henderson AlphaCPU *cpu = ALPHA_CPU(cs); 380dde7c241SRichard Henderson CPUAlphaState *env = &cpu->env; 381dde7c241SRichard Henderson int idx = -1; 382dde7c241SRichard Henderson 383dde7c241SRichard Henderson /* We never take interrupts while in PALmode. */ 384*bcd2625dSRichard Henderson if (env->flags & ENV_FLAG_PAL_MODE) { 385dde7c241SRichard Henderson return false; 386dde7c241SRichard Henderson } 387dde7c241SRichard Henderson 388dde7c241SRichard Henderson /* Fall through the switch, collecting the highest priority 389dde7c241SRichard Henderson interrupt that isn't masked by the processor status IPL. */ 390dde7c241SRichard Henderson /* ??? This hard-codes the OSF/1 interrupt levels. */ 391*bcd2625dSRichard Henderson switch ((env->flags >> ENV_FLAG_PS_SHIFT) & PS_INT_MASK) { 392dde7c241SRichard Henderson case 0 ... 3: 393dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_HARD) { 394dde7c241SRichard Henderson idx = EXCP_DEV_INTERRUPT; 395dde7c241SRichard Henderson } 396dde7c241SRichard Henderson /* FALLTHRU */ 397dde7c241SRichard Henderson case 4: 398dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_TIMER) { 399dde7c241SRichard Henderson idx = EXCP_CLK_INTERRUPT; 400dde7c241SRichard Henderson } 401dde7c241SRichard Henderson /* FALLTHRU */ 402dde7c241SRichard Henderson case 5: 403dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_SMP) { 404dde7c241SRichard Henderson idx = EXCP_SMP_INTERRUPT; 405dde7c241SRichard Henderson } 406dde7c241SRichard Henderson /* FALLTHRU */ 407dde7c241SRichard Henderson case 6: 408dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_MCHK) { 409dde7c241SRichard Henderson idx = EXCP_MCHK; 410dde7c241SRichard Henderson } 411dde7c241SRichard Henderson } 412dde7c241SRichard Henderson if (idx >= 0) { 413dde7c241SRichard Henderson cs->exception_index = idx; 414dde7c241SRichard Henderson env->error_code = 0; 415dde7c241SRichard Henderson alpha_cpu_do_interrupt(cs); 416dde7c241SRichard Henderson return true; 417dde7c241SRichard Henderson } 418dde7c241SRichard Henderson return false; 419dde7c241SRichard Henderson } 420dde7c241SRichard Henderson 421878096eeSAndreas Färber void alpha_cpu_dump_state(CPUState *cs, FILE *f, fprintf_function cpu_fprintf, 4224c9649a9Sj_mayer int flags) 4234c9649a9Sj_mayer { 424b55266b5Sblueswir1 static const char *linux_reg_names[] = { 4254c9649a9Sj_mayer "v0 ", "t0 ", "t1 ", "t2 ", "t3 ", "t4 ", "t5 ", "t6 ", 4264c9649a9Sj_mayer "t7 ", "s0 ", "s1 ", "s2 ", "s3 ", "s4 ", "s5 ", "fp ", 4274c9649a9Sj_mayer "a0 ", "a1 ", "a2 ", "a3 ", "a4 ", "a5 ", "t8 ", "t9 ", 4284c9649a9Sj_mayer "t10", "t11", "ra ", "t12", "at ", "gp ", "sp ", "zero", 4294c9649a9Sj_mayer }; 430878096eeSAndreas Färber AlphaCPU *cpu = ALPHA_CPU(cs); 431878096eeSAndreas Färber CPUAlphaState *env = &cpu->env; 4324c9649a9Sj_mayer int i; 4334c9649a9Sj_mayer 434129d8aa5SRichard Henderson cpu_fprintf(f, " PC " TARGET_FMT_lx " PS %02x\n", 435*bcd2625dSRichard Henderson env->pc, extract32(env->flags, ENV_FLAG_PS_SHIFT, 8)); 4364c9649a9Sj_mayer for (i = 0; i < 31; i++) { 4374c9649a9Sj_mayer cpu_fprintf(f, "IR%02d %s " TARGET_FMT_lx " ", i, 43859124384SRichard Henderson linux_reg_names[i], cpu_alpha_load_gr(env, i)); 4394c9649a9Sj_mayer if ((i % 3) == 2) 4404c9649a9Sj_mayer cpu_fprintf(f, "\n"); 4414c9649a9Sj_mayer } 4426910b8f6SRichard Henderson 4436910b8f6SRichard Henderson cpu_fprintf(f, "lock_a " TARGET_FMT_lx " lock_v " TARGET_FMT_lx "\n", 4446910b8f6SRichard Henderson env->lock_addr, env->lock_value); 4456910b8f6SRichard Henderson 4464c9649a9Sj_mayer for (i = 0; i < 31; i++) { 4474c9649a9Sj_mayer cpu_fprintf(f, "FIR%02d " TARGET_FMT_lx " ", i, 4484c9649a9Sj_mayer *((uint64_t *)(&env->fir[i]))); 4494c9649a9Sj_mayer if ((i % 3) == 2) 4504c9649a9Sj_mayer cpu_fprintf(f, "\n"); 4514c9649a9Sj_mayer } 4526910b8f6SRichard Henderson cpu_fprintf(f, "\n"); 4534c9649a9Sj_mayer } 454b9f0923eSRichard Henderson 455b9f0923eSRichard Henderson /* This should only be called from translate, via gen_excp. 456b9f0923eSRichard Henderson We expect that ENV->PC has already been updated. */ 457b9f0923eSRichard Henderson void QEMU_NORETURN helper_excp(CPUAlphaState *env, int excp, int error) 458b9f0923eSRichard Henderson { 45927103424SAndreas Färber AlphaCPU *cpu = alpha_env_get_cpu(env); 46027103424SAndreas Färber CPUState *cs = CPU(cpu); 46127103424SAndreas Färber 46227103424SAndreas Färber cs->exception_index = excp; 463b9f0923eSRichard Henderson env->error_code = error; 4645638d180SAndreas Färber cpu_loop_exit(cs); 465b9f0923eSRichard Henderson } 466b9f0923eSRichard Henderson 467b9f0923eSRichard Henderson /* This may be called from any of the helpers to set up EXCEPTION_INDEX. */ 46820503968SBlue Swirl void QEMU_NORETURN dynamic_excp(CPUAlphaState *env, uintptr_t retaddr, 469b9f0923eSRichard Henderson int excp, int error) 470b9f0923eSRichard Henderson { 47127103424SAndreas Färber AlphaCPU *cpu = alpha_env_get_cpu(env); 47227103424SAndreas Färber CPUState *cs = CPU(cpu); 47327103424SAndreas Färber 47427103424SAndreas Färber cs->exception_index = excp; 475b9f0923eSRichard Henderson env->error_code = error; 476a8a826a3SBlue Swirl if (retaddr) { 4773f38f309SAndreas Färber cpu_restore_state(cs, retaddr); 478ba9c5de5SRichard Henderson /* Floating-point exceptions (our only users) point to the next PC. */ 479ba9c5de5SRichard Henderson env->pc += 4; 480a8a826a3SBlue Swirl } 4815638d180SAndreas Färber cpu_loop_exit(cs); 482b9f0923eSRichard Henderson } 483b9f0923eSRichard Henderson 48420503968SBlue Swirl void QEMU_NORETURN arith_excp(CPUAlphaState *env, uintptr_t retaddr, 485b9f0923eSRichard Henderson int exc, uint64_t mask) 486b9f0923eSRichard Henderson { 487b9f0923eSRichard Henderson env->trap_arg0 = exc; 488b9f0923eSRichard Henderson env->trap_arg1 = mask; 489b9f0923eSRichard Henderson dynamic_excp(env, retaddr, EXCP_ARITH, 0); 490b9f0923eSRichard Henderson } 491