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 9d6ea4236SChetan Pant * version 2.1 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" 21cd617484SPhilippe Mathieu-Daudé #include "qemu/log.h" 224c9649a9Sj_mayer #include "cpu.h" 23eb9b25c6SPhilippe Mathieu-Daudé #include "exec/cputlb.h" 2474781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h" 255f8ab000SAlex Bennée #include "fpu/softfloat-types.h" 262ef6175aSRichard Henderson #include "exec/helper-proto.h" 2790c84c56SMarkus Armbruster #include "qemu/qemu-print.h" 28*342e313dSPierrick Bouvier #include "system/memory.h" 29ba0e276dSRichard Henderson 30f3d3aad4SRichard Henderson 31f3d3aad4SRichard Henderson #define CONVERT_BIT(X, SRC, DST) \ 32f3d3aad4SRichard Henderson (SRC > DST ? (X) / (SRC / DST) & (DST) : ((X) & SRC) * (DST / SRC)) 33f3d3aad4SRichard Henderson 344d5712f1SAndreas Färber uint64_t cpu_alpha_load_fpcr(CPUAlphaState *env) 35ba0e276dSRichard Henderson { 36f3d3aad4SRichard Henderson return (uint64_t)env->fpcr << 32; 37ba0e276dSRichard Henderson } 38ba0e276dSRichard Henderson 394d5712f1SAndreas Färber void cpu_alpha_store_fpcr(CPUAlphaState *env, uint64_t val) 40ba0e276dSRichard Henderson { 41ea937dedSRichard Henderson static const uint8_t rm_map[] = { 42ea937dedSRichard Henderson [FPCR_DYN_NORMAL >> FPCR_DYN_SHIFT] = float_round_nearest_even, 43ea937dedSRichard Henderson [FPCR_DYN_CHOPPED >> FPCR_DYN_SHIFT] = float_round_to_zero, 44ea937dedSRichard Henderson [FPCR_DYN_MINUS >> FPCR_DYN_SHIFT] = float_round_down, 45ea937dedSRichard Henderson [FPCR_DYN_PLUS >> FPCR_DYN_SHIFT] = float_round_up, 46ea937dedSRichard Henderson }; 47ea937dedSRichard Henderson 48f3d3aad4SRichard Henderson uint32_t fpcr = val >> 32; 49f3d3aad4SRichard Henderson uint32_t t = 0; 50ba0e276dSRichard Henderson 51106e1319SRichard Henderson /* Record the raw value before adjusting for linux-user. */ 52f3d3aad4SRichard Henderson env->fpcr = fpcr; 5321ba8564SRichard Henderson 5421ba8564SRichard Henderson #ifdef CONFIG_USER_ONLY 5521ba8564SRichard Henderson /* 5621ba8564SRichard Henderson * Override some of these bits with the contents of ENV->SWCR. 5721ba8564SRichard Henderson * In system mode, some of these would trap to the kernel, at 5821ba8564SRichard Henderson * which point the kernel's handler would emulate and apply 5921ba8564SRichard Henderson * the software exception mask. 6021ba8564SRichard Henderson */ 61106e1319SRichard Henderson uint32_t soft_fpcr = alpha_ieee_swcr_to_fpcr(env->swcr) >> 32; 628cd99905SRichard Henderson fpcr |= soft_fpcr & (FPCR_STATUS_MASK | FPCR_DNZ); 6380093070SRichard Henderson 6480093070SRichard Henderson /* 6580093070SRichard Henderson * The IOV exception is disabled by the kernel with SWCR_TRAP_ENABLE_INV, 6680093070SRichard Henderson * which got mapped by alpha_ieee_swcr_to_fpcr to FPCR_INVD. 6780093070SRichard Henderson * Add FPCR_IOV to fpcr_exc_enable so that it is handled identically. 6880093070SRichard Henderson */ 6980093070SRichard Henderson t |= CONVERT_BIT(soft_fpcr, FPCR_INVD, FPCR_IOV); 70106e1319SRichard Henderson #endif 71106e1319SRichard Henderson 72106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_INED, FPCR_INE); 73106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_UNFD, FPCR_UNF); 74106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_OVFD, FPCR_OVF); 75106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_DZED, FPCR_DZE); 76106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_INVD, FPCR_INV); 77106e1319SRichard Henderson 78106e1319SRichard Henderson env->fpcr_exc_enable = ~t & FPCR_STATUS_MASK; 79106e1319SRichard Henderson 80106e1319SRichard Henderson env->fpcr_dyn_round = rm_map[(fpcr & FPCR_DYN_MASK) >> FPCR_DYN_SHIFT]; 81106e1319SRichard Henderson env->fp_status.flush_inputs_to_zero = (fpcr & FPCR_DNZ) != 0; 82a8938e5fSRichard Henderson 83a8938e5fSRichard Henderson t = (fpcr & FPCR_UNFD) && (fpcr & FPCR_UNDZ); 84106e1319SRichard Henderson #ifdef CONFIG_USER_ONLY 85a8938e5fSRichard Henderson t |= (env->swcr & SWCR_MAP_UMZ) != 0; 8621ba8564SRichard Henderson #endif 87a8938e5fSRichard Henderson env->fpcr_flush_to_zero = t; 88ba0e276dSRichard Henderson } 894c9649a9Sj_mayer 90a44a2777SRichard Henderson uint64_t helper_load_fpcr(CPUAlphaState *env) 91a44a2777SRichard Henderson { 92a44a2777SRichard Henderson return cpu_alpha_load_fpcr(env); 93a44a2777SRichard Henderson } 94a44a2777SRichard Henderson 95a44a2777SRichard Henderson void helper_store_fpcr(CPUAlphaState *env, uint64_t val) 96a44a2777SRichard Henderson { 97a44a2777SRichard Henderson cpu_alpha_store_fpcr(env, val); 98a44a2777SRichard Henderson } 99a44a2777SRichard Henderson 10059124384SRichard Henderson static uint64_t *cpu_alpha_addr_gr(CPUAlphaState *env, unsigned reg) 10159124384SRichard Henderson { 10259124384SRichard Henderson #ifndef CONFIG_USER_ONLY 103bcd2625dSRichard Henderson if (env->flags & ENV_FLAG_PAL_MODE) { 10459124384SRichard Henderson if (reg >= 8 && reg <= 14) { 10559124384SRichard Henderson return &env->shadow[reg - 8]; 10659124384SRichard Henderson } else if (reg == 25) { 10759124384SRichard Henderson return &env->shadow[7]; 10859124384SRichard Henderson } 10959124384SRichard Henderson } 11059124384SRichard Henderson #endif 11159124384SRichard Henderson return &env->ir[reg]; 11259124384SRichard Henderson } 11359124384SRichard Henderson 11459124384SRichard Henderson uint64_t cpu_alpha_load_gr(CPUAlphaState *env, unsigned reg) 11559124384SRichard Henderson { 11659124384SRichard Henderson return *cpu_alpha_addr_gr(env, reg); 11759124384SRichard Henderson } 11859124384SRichard Henderson 11959124384SRichard Henderson void cpu_alpha_store_gr(CPUAlphaState *env, unsigned reg, uint64_t val) 12059124384SRichard Henderson { 12159124384SRichard Henderson *cpu_alpha_addr_gr(env, reg) = val; 12259124384SRichard Henderson } 12359124384SRichard Henderson 1244c9649a9Sj_mayer #if defined(CONFIG_USER_ONLY) 12590113883SRichard Henderson void alpha_cpu_record_sigsegv(CPUState *cs, vaddr address, 12690113883SRichard Henderson MMUAccessType access_type, 12790113883SRichard Henderson bool maperr, uintptr_t retaddr) 1284c9649a9Sj_mayer { 129ab709f13SRichard Henderson CPUAlphaState *env = cpu_env(cs); 13090113883SRichard Henderson target_ulong mmcsr, cause; 1317510454eSAndreas Färber 13290113883SRichard Henderson /* Assuming !maperr, infer the missing protection. */ 13390113883SRichard Henderson switch (access_type) { 13490113883SRichard Henderson case MMU_DATA_LOAD: 13590113883SRichard Henderson mmcsr = MM_K_FOR; 13690113883SRichard Henderson cause = 0; 13790113883SRichard Henderson break; 13890113883SRichard Henderson case MMU_DATA_STORE: 13990113883SRichard Henderson mmcsr = MM_K_FOW; 14090113883SRichard Henderson cause = 1; 14190113883SRichard Henderson break; 14290113883SRichard Henderson case MMU_INST_FETCH: 14390113883SRichard Henderson mmcsr = MM_K_FOE; 14490113883SRichard Henderson cause = -1; 14590113883SRichard Henderson break; 14690113883SRichard Henderson default: 14790113883SRichard Henderson g_assert_not_reached(); 14890113883SRichard Henderson } 14990113883SRichard Henderson if (maperr) { 15090113883SRichard Henderson if (address < BIT_ULL(TARGET_VIRT_ADDR_SPACE_BITS - 1)) { 15190113883SRichard Henderson /* Userspace address, therefore page not mapped. */ 15290113883SRichard Henderson mmcsr = MM_K_TNV; 15390113883SRichard Henderson } else { 15490113883SRichard Henderson /* Kernel or invalid address. */ 15590113883SRichard Henderson mmcsr = MM_K_ACV; 15690113883SRichard Henderson } 15790113883SRichard Henderson } 15890113883SRichard Henderson 15990113883SRichard Henderson /* Record the arguments that PALcode would give to the kernel. */ 160ab709f13SRichard Henderson env->trap_arg0 = address; 161ab709f13SRichard Henderson env->trap_arg1 = mmcsr; 162ab709f13SRichard Henderson env->trap_arg2 = cause; 1634c9649a9Sj_mayer } 1644c9649a9Sj_mayer #else 165a3b9af16SRichard Henderson /* Returns the OSF/1 entMM failure indication, or -1 on success. */ 1664d5712f1SAndreas Färber static int get_physical_address(CPUAlphaState *env, target_ulong addr, 167a3b9af16SRichard Henderson int prot_need, int mmu_idx, 168a3b9af16SRichard Henderson target_ulong *pphys, int *pprot) 1694c9649a9Sj_mayer { 1701c7ad260SRichard Henderson CPUState *cs = env_cpu(env); 171a3b9af16SRichard Henderson target_long saddr = addr; 172a3b9af16SRichard Henderson target_ulong phys = 0; 173a3b9af16SRichard Henderson target_ulong L1pte, L2pte, L3pte; 174a3b9af16SRichard Henderson target_ulong pt, index; 175a3b9af16SRichard Henderson int prot = 0; 176a3b9af16SRichard Henderson int ret = MM_K_ACV; 177a3b9af16SRichard Henderson 1786a73ecf5SRichard Henderson /* Handle physical accesses. */ 1796a73ecf5SRichard Henderson if (mmu_idx == MMU_PHYS_IDX) { 1806a73ecf5SRichard Henderson phys = addr; 1816a73ecf5SRichard Henderson prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 1826a73ecf5SRichard Henderson ret = -1; 1836a73ecf5SRichard Henderson goto exit; 1846a73ecf5SRichard Henderson } 1856a73ecf5SRichard Henderson 186a3b9af16SRichard Henderson /* Ensure that the virtual address is properly sign-extended from 187a3b9af16SRichard Henderson the last implemented virtual address bit. */ 188a3b9af16SRichard Henderson if (saddr >> TARGET_VIRT_ADDR_SPACE_BITS != saddr >> 63) { 189a3b9af16SRichard Henderson goto exit; 1904c9649a9Sj_mayer } 1914c9649a9Sj_mayer 192a3b9af16SRichard Henderson /* Translate the superpage. */ 193a3b9af16SRichard Henderson /* ??? When we do more than emulate Unix PALcode, we'll need to 194fa6e0a63SRichard Henderson determine which KSEG is actually active. */ 195fa6e0a63SRichard Henderson if (saddr < 0 && ((saddr >> 41) & 3) == 2) { 196fa6e0a63SRichard Henderson /* User-space cannot access KSEG addresses. */ 197a3b9af16SRichard Henderson if (mmu_idx != MMU_KERNEL_IDX) { 198a3b9af16SRichard Henderson goto exit; 199a3b9af16SRichard Henderson } 200a3b9af16SRichard Henderson 201fa6e0a63SRichard Henderson /* For the benefit of the Typhoon chipset, move bit 40 to bit 43. 202fa6e0a63SRichard Henderson We would not do this if the 48-bit KSEG is enabled. */ 203a3b9af16SRichard Henderson phys = saddr & ((1ull << 40) - 1); 204fa6e0a63SRichard Henderson phys |= (saddr & (1ull << 40)) << 3; 205fa6e0a63SRichard Henderson 206a3b9af16SRichard Henderson prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 207a3b9af16SRichard Henderson ret = -1; 208a3b9af16SRichard Henderson goto exit; 209a3b9af16SRichard Henderson } 210a3b9af16SRichard Henderson 211a3b9af16SRichard Henderson /* Interpret the page table exactly like PALcode does. */ 212a3b9af16SRichard Henderson 213a3b9af16SRichard Henderson pt = env->ptbr; 214a3b9af16SRichard Henderson 2156ad4d7eeSPeter Maydell /* TODO: rather than using ldq_phys() to read the page table we should 2166ad4d7eeSPeter Maydell * use address_space_ldq() so that we can handle the case when 2176ad4d7eeSPeter Maydell * the page table read gives a bus fault, rather than ignoring it. 2186ad4d7eeSPeter Maydell * For the existing code the zero data that ldq_phys will return for 2196ad4d7eeSPeter Maydell * an access to invalid memory will result in our treating the page 2206ad4d7eeSPeter Maydell * table as invalid, which may even be the right behaviour. 2216ad4d7eeSPeter Maydell */ 2226ad4d7eeSPeter Maydell 223a3b9af16SRichard Henderson /* L1 page table read. */ 224a3b9af16SRichard Henderson index = (addr >> (TARGET_PAGE_BITS + 20)) & 0x3ff; 2252c17449bSEdgar E. Iglesias L1pte = ldq_phys(cs->as, pt + index*8); 226a3b9af16SRichard Henderson 227a3b9af16SRichard Henderson if (unlikely((L1pte & PTE_VALID) == 0)) { 228a3b9af16SRichard Henderson ret = MM_K_TNV; 229a3b9af16SRichard Henderson goto exit; 230a3b9af16SRichard Henderson } 231a3b9af16SRichard Henderson if (unlikely((L1pte & PTE_KRE) == 0)) { 232a3b9af16SRichard Henderson goto exit; 233a3b9af16SRichard Henderson } 234a3b9af16SRichard Henderson pt = L1pte >> 32 << TARGET_PAGE_BITS; 235a3b9af16SRichard Henderson 236a3b9af16SRichard Henderson /* L2 page table read. */ 237a3b9af16SRichard Henderson index = (addr >> (TARGET_PAGE_BITS + 10)) & 0x3ff; 2382c17449bSEdgar E. Iglesias L2pte = ldq_phys(cs->as, pt + index*8); 239a3b9af16SRichard Henderson 240a3b9af16SRichard Henderson if (unlikely((L2pte & PTE_VALID) == 0)) { 241a3b9af16SRichard Henderson ret = MM_K_TNV; 242a3b9af16SRichard Henderson goto exit; 243a3b9af16SRichard Henderson } 244a3b9af16SRichard Henderson if (unlikely((L2pte & PTE_KRE) == 0)) { 245a3b9af16SRichard Henderson goto exit; 246a3b9af16SRichard Henderson } 247a3b9af16SRichard Henderson pt = L2pte >> 32 << TARGET_PAGE_BITS; 248a3b9af16SRichard Henderson 249a3b9af16SRichard Henderson /* L3 page table read. */ 250a3b9af16SRichard Henderson index = (addr >> TARGET_PAGE_BITS) & 0x3ff; 2512c17449bSEdgar E. Iglesias L3pte = ldq_phys(cs->as, pt + index*8); 252a3b9af16SRichard Henderson 253a3b9af16SRichard Henderson phys = L3pte >> 32 << TARGET_PAGE_BITS; 254a3b9af16SRichard Henderson if (unlikely((L3pte & PTE_VALID) == 0)) { 255a3b9af16SRichard Henderson ret = MM_K_TNV; 256a3b9af16SRichard Henderson goto exit; 257a3b9af16SRichard Henderson } 258a3b9af16SRichard Henderson 259a3b9af16SRichard Henderson #if PAGE_READ != 1 || PAGE_WRITE != 2 || PAGE_EXEC != 4 260a3b9af16SRichard Henderson # error page bits out of date 261a3b9af16SRichard Henderson #endif 262a3b9af16SRichard Henderson 263a3b9af16SRichard Henderson /* Check access violations. */ 264a3b9af16SRichard Henderson if (L3pte & (PTE_KRE << mmu_idx)) { 265a3b9af16SRichard Henderson prot |= PAGE_READ | PAGE_EXEC; 266a3b9af16SRichard Henderson } 267a3b9af16SRichard Henderson if (L3pte & (PTE_KWE << mmu_idx)) { 268a3b9af16SRichard Henderson prot |= PAGE_WRITE; 269a3b9af16SRichard Henderson } 270a3b9af16SRichard Henderson if (unlikely((prot & prot_need) == 0 && prot_need)) { 271a3b9af16SRichard Henderson goto exit; 272a3b9af16SRichard Henderson } 273a3b9af16SRichard Henderson 274a3b9af16SRichard Henderson /* Check fault-on-operation violations. */ 275a3b9af16SRichard Henderson prot &= ~(L3pte >> 1); 276a3b9af16SRichard Henderson ret = -1; 277a3b9af16SRichard Henderson if (unlikely((prot & prot_need) == 0)) { 278a3b9af16SRichard Henderson ret = (prot_need & PAGE_EXEC ? MM_K_FOE : 279a3b9af16SRichard Henderson prot_need & PAGE_WRITE ? MM_K_FOW : 280a3b9af16SRichard Henderson prot_need & PAGE_READ ? MM_K_FOR : -1); 281a3b9af16SRichard Henderson } 282a3b9af16SRichard Henderson 283a3b9af16SRichard Henderson exit: 284a3b9af16SRichard Henderson *pphys = phys; 285a3b9af16SRichard Henderson *pprot = prot; 286a3b9af16SRichard Henderson return ret; 287a3b9af16SRichard Henderson } 288a3b9af16SRichard Henderson 28900b941e5SAndreas Färber hwaddr alpha_cpu_get_phys_page_debug(CPUState *cs, vaddr addr) 290a3b9af16SRichard Henderson { 291a3b9af16SRichard Henderson target_ulong phys; 292a3b9af16SRichard Henderson int prot, fail; 293a3b9af16SRichard Henderson 29450cb36ceSPhilippe Mathieu-Daudé fail = get_physical_address(cpu_env(cs), addr, 0, 0, &phys, &prot); 295a3b9af16SRichard Henderson return (fail >= 0 ? -1 : phys); 296a3b9af16SRichard Henderson } 297a3b9af16SRichard Henderson 298e41c9452SRichard Henderson bool alpha_cpu_tlb_fill(CPUState *cs, vaddr addr, int size, 299e41c9452SRichard Henderson MMUAccessType access_type, int mmu_idx, 300e41c9452SRichard Henderson bool probe, uintptr_t retaddr) 3014c9649a9Sj_mayer { 30250cb36ceSPhilippe Mathieu-Daudé CPUAlphaState *env = cpu_env(cs); 303a3b9af16SRichard Henderson target_ulong phys; 304a3b9af16SRichard Henderson int prot, fail; 305a3b9af16SRichard Henderson 306e41c9452SRichard Henderson fail = get_physical_address(env, addr, 1 << access_type, 307e41c9452SRichard Henderson mmu_idx, &phys, &prot); 308a3b9af16SRichard Henderson if (unlikely(fail >= 0)) { 309e41c9452SRichard Henderson if (probe) { 310e41c9452SRichard Henderson return false; 311e41c9452SRichard Henderson } 31227103424SAndreas Färber cs->exception_index = EXCP_MMFAULT; 313a3b9af16SRichard Henderson env->trap_arg0 = addr; 314a3b9af16SRichard Henderson env->trap_arg1 = fail; 315cb1de55aSAurelien Jarno env->trap_arg2 = (access_type == MMU_DATA_LOAD ? 0ull : 316cb1de55aSAurelien Jarno access_type == MMU_DATA_STORE ? 1ull : 317cb1de55aSAurelien Jarno /* access_type == MMU_INST_FETCH */ -1ull); 318e41c9452SRichard Henderson cpu_loop_exit_restore(cs, retaddr); 319a3b9af16SRichard Henderson } 320a3b9af16SRichard Henderson 3210c591eb0SAndreas Färber tlb_set_page(cs, addr & TARGET_PAGE_MASK, phys & TARGET_PAGE_MASK, 322a3b9af16SRichard Henderson prot, mmu_idx, TARGET_PAGE_SIZE); 323e41c9452SRichard Henderson return true; 324e41c9452SRichard Henderson } 3254c9649a9Sj_mayer 32697a8ea5aSAndreas Färber void alpha_cpu_do_interrupt(CPUState *cs) 3274c9649a9Sj_mayer { 32850cb36ceSPhilippe Mathieu-Daudé CPUAlphaState *env = cpu_env(cs); 32927103424SAndreas Färber int i = cs->exception_index; 3303a6fa678SRichard Henderson 3313a6fa678SRichard Henderson if (qemu_loglevel_mask(CPU_LOG_INT)) { 3323a6fa678SRichard Henderson static int count; 3333a6fa678SRichard Henderson const char *name = "<unknown>"; 3343a6fa678SRichard Henderson 3353a6fa678SRichard Henderson switch (i) { 3363a6fa678SRichard Henderson case EXCP_RESET: 3373a6fa678SRichard Henderson name = "reset"; 3383a6fa678SRichard Henderson break; 3393a6fa678SRichard Henderson case EXCP_MCHK: 3403a6fa678SRichard Henderson name = "mchk"; 3413a6fa678SRichard Henderson break; 3423a6fa678SRichard Henderson case EXCP_SMP_INTERRUPT: 3433a6fa678SRichard Henderson name = "smp_interrupt"; 3443a6fa678SRichard Henderson break; 3453a6fa678SRichard Henderson case EXCP_CLK_INTERRUPT: 3463a6fa678SRichard Henderson name = "clk_interrupt"; 3473a6fa678SRichard Henderson break; 3483a6fa678SRichard Henderson case EXCP_DEV_INTERRUPT: 3493a6fa678SRichard Henderson name = "dev_interrupt"; 3503a6fa678SRichard Henderson break; 3513a6fa678SRichard Henderson case EXCP_MMFAULT: 3523a6fa678SRichard Henderson name = "mmfault"; 3533a6fa678SRichard Henderson break; 3543a6fa678SRichard Henderson case EXCP_UNALIGN: 3553a6fa678SRichard Henderson name = "unalign"; 3563a6fa678SRichard Henderson break; 3573a6fa678SRichard Henderson case EXCP_OPCDEC: 3583a6fa678SRichard Henderson name = "opcdec"; 3593a6fa678SRichard Henderson break; 3603a6fa678SRichard Henderson case EXCP_ARITH: 3613a6fa678SRichard Henderson name = "arith"; 3623a6fa678SRichard Henderson break; 3633a6fa678SRichard Henderson case EXCP_FEN: 3643a6fa678SRichard Henderson name = "fen"; 3653a6fa678SRichard Henderson break; 3663a6fa678SRichard Henderson case EXCP_CALL_PAL: 3673a6fa678SRichard Henderson name = "call_pal"; 3683a6fa678SRichard Henderson break; 3694c9649a9Sj_mayer } 370022f52e0SRichard Henderson qemu_log("INT %6d: %s(%#x) cpu=%d pc=%016" 371022f52e0SRichard Henderson PRIx64 " sp=%016" PRIx64 "\n", 372022f52e0SRichard Henderson ++count, name, env->error_code, cs->cpu_index, 373022f52e0SRichard Henderson env->pc, env->ir[IR_SP]); 3743a6fa678SRichard Henderson } 3753a6fa678SRichard Henderson 37627103424SAndreas Färber cs->exception_index = -1; 3773a6fa678SRichard Henderson 3783a6fa678SRichard Henderson switch (i) { 3793a6fa678SRichard Henderson case EXCP_RESET: 3803a6fa678SRichard Henderson i = 0x0000; 3813a6fa678SRichard Henderson break; 3823a6fa678SRichard Henderson case EXCP_MCHK: 3833a6fa678SRichard Henderson i = 0x0080; 3843a6fa678SRichard Henderson break; 3853a6fa678SRichard Henderson case EXCP_SMP_INTERRUPT: 3863a6fa678SRichard Henderson i = 0x0100; 3873a6fa678SRichard Henderson break; 3883a6fa678SRichard Henderson case EXCP_CLK_INTERRUPT: 3893a6fa678SRichard Henderson i = 0x0180; 3903a6fa678SRichard Henderson break; 3913a6fa678SRichard Henderson case EXCP_DEV_INTERRUPT: 3923a6fa678SRichard Henderson i = 0x0200; 3933a6fa678SRichard Henderson break; 3943a6fa678SRichard Henderson case EXCP_MMFAULT: 3953a6fa678SRichard Henderson i = 0x0280; 3963a6fa678SRichard Henderson break; 3973a6fa678SRichard Henderson case EXCP_UNALIGN: 3983a6fa678SRichard Henderson i = 0x0300; 3993a6fa678SRichard Henderson break; 4003a6fa678SRichard Henderson case EXCP_OPCDEC: 4013a6fa678SRichard Henderson i = 0x0380; 4023a6fa678SRichard Henderson break; 4033a6fa678SRichard Henderson case EXCP_ARITH: 4043a6fa678SRichard Henderson i = 0x0400; 4053a6fa678SRichard Henderson break; 4063a6fa678SRichard Henderson case EXCP_FEN: 4073a6fa678SRichard Henderson i = 0x0480; 4083a6fa678SRichard Henderson break; 4093a6fa678SRichard Henderson case EXCP_CALL_PAL: 4103a6fa678SRichard Henderson i = env->error_code; 4113a6fa678SRichard Henderson /* There are 64 entry points for both privileged and unprivileged, 4123a6fa678SRichard Henderson with bit 0x80 indicating unprivileged. Each entry point gets 4133a6fa678SRichard Henderson 64 bytes to do its job. */ 4143a6fa678SRichard Henderson if (i & 0x80) { 4153a6fa678SRichard Henderson i = 0x2000 + (i - 0x80) * 64; 4163a6fa678SRichard Henderson } else { 4173a6fa678SRichard Henderson i = 0x1000 + i * 64; 4183a6fa678SRichard Henderson } 4193a6fa678SRichard Henderson break; 4203a6fa678SRichard Henderson default: 421a47dddd7SAndreas Färber cpu_abort(cs, "Unhandled CPU exception"); 4223a6fa678SRichard Henderson } 4233a6fa678SRichard Henderson 4243a6fa678SRichard Henderson /* Remember where the exception happened. Emulate real hardware in 4253a6fa678SRichard Henderson that the low bit of the PC indicates PALmode. */ 426bcd2625dSRichard Henderson env->exc_addr = env->pc | (env->flags & ENV_FLAG_PAL_MODE); 4273a6fa678SRichard Henderson 4283a6fa678SRichard Henderson /* Continue execution at the PALcode entry point. */ 4293a6fa678SRichard Henderson env->pc = env->palbr + i; 4303a6fa678SRichard Henderson 4313a6fa678SRichard Henderson /* Switch to PALmode. */ 432bcd2625dSRichard Henderson env->flags |= ENV_FLAG_PAL_MODE; 4333a6fa678SRichard Henderson } 4344c9649a9Sj_mayer 435dde7c241SRichard Henderson bool alpha_cpu_exec_interrupt(CPUState *cs, int interrupt_request) 436dde7c241SRichard Henderson { 43750cb36ceSPhilippe Mathieu-Daudé CPUAlphaState *env = cpu_env(cs); 438dde7c241SRichard Henderson int idx = -1; 439dde7c241SRichard Henderson 440dde7c241SRichard Henderson /* We never take interrupts while in PALmode. */ 441bcd2625dSRichard Henderson if (env->flags & ENV_FLAG_PAL_MODE) { 442dde7c241SRichard Henderson return false; 443dde7c241SRichard Henderson } 444dde7c241SRichard Henderson 445dde7c241SRichard Henderson /* Fall through the switch, collecting the highest priority 446dde7c241SRichard Henderson interrupt that isn't masked by the processor status IPL. */ 447dde7c241SRichard Henderson /* ??? This hard-codes the OSF/1 interrupt levels. */ 448bcd2625dSRichard Henderson switch ((env->flags >> ENV_FLAG_PS_SHIFT) & PS_INT_MASK) { 449dde7c241SRichard Henderson case 0 ... 3: 450dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_HARD) { 451dde7c241SRichard Henderson idx = EXCP_DEV_INTERRUPT; 452dde7c241SRichard Henderson } 453dde7c241SRichard Henderson /* FALLTHRU */ 454dde7c241SRichard Henderson case 4: 455dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_TIMER) { 456dde7c241SRichard Henderson idx = EXCP_CLK_INTERRUPT; 457dde7c241SRichard Henderson } 458dde7c241SRichard Henderson /* FALLTHRU */ 459dde7c241SRichard Henderson case 5: 460dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_SMP) { 461dde7c241SRichard Henderson idx = EXCP_SMP_INTERRUPT; 462dde7c241SRichard Henderson } 463dde7c241SRichard Henderson /* FALLTHRU */ 464dde7c241SRichard Henderson case 6: 465dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_MCHK) { 466dde7c241SRichard Henderson idx = EXCP_MCHK; 467dde7c241SRichard Henderson } 468dde7c241SRichard Henderson } 469dde7c241SRichard Henderson if (idx >= 0) { 470dde7c241SRichard Henderson cs->exception_index = idx; 471dde7c241SRichard Henderson env->error_code = 0; 472dde7c241SRichard Henderson alpha_cpu_do_interrupt(cs); 473dde7c241SRichard Henderson return true; 474dde7c241SRichard Henderson } 475dde7c241SRichard Henderson return false; 476dde7c241SRichard Henderson } 477dde7c241SRichard Henderson 4789354e694SPhilippe Mathieu-Daudé #endif /* !CONFIG_USER_ONLY */ 4799354e694SPhilippe Mathieu-Daudé 48090c84c56SMarkus Armbruster void alpha_cpu_dump_state(CPUState *cs, FILE *f, int flags) 4814c9649a9Sj_mayer { 4824a247932SRichard Henderson static const char linux_reg_names[31][4] = { 4834c9649a9Sj_mayer "v0", "t0", "t1", "t2", "t3", "t4", "t5", "t6", 4844c9649a9Sj_mayer "t7", "s0", "s1", "s2", "s3", "s4", "s5", "fp", 4854c9649a9Sj_mayer "a0", "a1", "a2", "a3", "a4", "a5", "t8", "t9", 4864a247932SRichard Henderson "t10", "t11", "ra", "t12", "at", "gp", "sp" 4874c9649a9Sj_mayer }; 48850cb36ceSPhilippe Mathieu-Daudé CPUAlphaState *env = cpu_env(cs); 4894c9649a9Sj_mayer int i; 4904c9649a9Sj_mayer 49190c84c56SMarkus Armbruster qemu_fprintf(f, "PC " TARGET_FMT_lx " PS %02x\n", 492bcd2625dSRichard Henderson env->pc, extract32(env->flags, ENV_FLAG_PS_SHIFT, 8)); 4934c9649a9Sj_mayer for (i = 0; i < 31; i++) { 4944a247932SRichard Henderson qemu_fprintf(f, "%-8s" TARGET_FMT_lx "%c", 495a68d82b8SRichard Henderson linux_reg_names[i], cpu_alpha_load_gr(env, i), 496a68d82b8SRichard Henderson (i % 3) == 2 ? '\n' : ' '); 4974c9649a9Sj_mayer } 4986910b8f6SRichard Henderson 49990c84c56SMarkus Armbruster qemu_fprintf(f, "lock_a " TARGET_FMT_lx " lock_v " TARGET_FMT_lx "\n", 5006910b8f6SRichard Henderson env->lock_addr, env->lock_value); 5016910b8f6SRichard Henderson 502a68d82b8SRichard Henderson if (flags & CPU_DUMP_FPU) { 5034c9649a9Sj_mayer for (i = 0; i < 31; i++) { 5044a247932SRichard Henderson qemu_fprintf(f, "f%-7d%016" PRIx64 "%c", i, env->fir[i], 505a68d82b8SRichard Henderson (i % 3) == 2 ? '\n' : ' '); 506a68d82b8SRichard Henderson } 5074a247932SRichard Henderson qemu_fprintf(f, "fpcr %016" PRIx64 "\n", cpu_alpha_load_fpcr(env)); 5084c9649a9Sj_mayer } 50990c84c56SMarkus Armbruster qemu_fprintf(f, "\n"); 5104c9649a9Sj_mayer } 511b9f0923eSRichard Henderson 512b9f0923eSRichard Henderson /* This should only be called from translate, via gen_excp. 513b9f0923eSRichard Henderson We expect that ENV->PC has already been updated. */ 5148905770bSMarc-André Lureau G_NORETURN void helper_excp(CPUAlphaState *env, int excp, int error) 515b9f0923eSRichard Henderson { 5161c7ad260SRichard Henderson CPUState *cs = env_cpu(env); 51727103424SAndreas Färber 51827103424SAndreas Färber cs->exception_index = excp; 519b9f0923eSRichard Henderson env->error_code = error; 5205638d180SAndreas Färber cpu_loop_exit(cs); 521b9f0923eSRichard Henderson } 522b9f0923eSRichard Henderson 523b9f0923eSRichard Henderson /* This may be called from any of the helpers to set up EXCEPTION_INDEX. */ 5248905770bSMarc-André Lureau G_NORETURN void dynamic_excp(CPUAlphaState *env, uintptr_t retaddr, 525b9f0923eSRichard Henderson int excp, int error) 526b9f0923eSRichard Henderson { 5271c7ad260SRichard Henderson CPUState *cs = env_cpu(env); 52827103424SAndreas Färber 52927103424SAndreas Färber cs->exception_index = excp; 530b9f0923eSRichard Henderson env->error_code = error; 531a8a826a3SBlue Swirl if (retaddr) { 5323d419a4dSRichard Henderson cpu_restore_state(cs, retaddr); 533ba9c5de5SRichard Henderson /* Floating-point exceptions (our only users) point to the next PC. */ 534ba9c5de5SRichard Henderson env->pc += 4; 535a8a826a3SBlue Swirl } 5365638d180SAndreas Färber cpu_loop_exit(cs); 537b9f0923eSRichard Henderson } 538b9f0923eSRichard Henderson 5398905770bSMarc-André Lureau G_NORETURN void arith_excp(CPUAlphaState *env, uintptr_t retaddr, 540b9f0923eSRichard Henderson int exc, uint64_t mask) 541b9f0923eSRichard Henderson { 542b9f0923eSRichard Henderson env->trap_arg0 = exc; 543b9f0923eSRichard Henderson env->trap_arg1 = mask; 544b9f0923eSRichard Henderson dynamic_excp(env, retaddr, EXCP_ARITH, 0); 545b9f0923eSRichard Henderson } 546