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"
25*9c2ff9cdSPierrick Bouvier #include "exec/target_page.h"
265f8ab000SAlex Bennée #include "fpu/softfloat-types.h"
272ef6175aSRichard Henderson #include "exec/helper-proto.h"
2890c84c56SMarkus Armbruster #include "qemu/qemu-print.h"
29342e313dSPierrick Bouvier #include "system/memory.h"
30ba0e276dSRichard Henderson
31f3d3aad4SRichard Henderson
32f3d3aad4SRichard Henderson #define CONVERT_BIT(X, SRC, DST) \
33f3d3aad4SRichard Henderson (SRC > DST ? (X) / (SRC / DST) & (DST) : ((X) & SRC) * (DST / SRC))
34f3d3aad4SRichard Henderson
cpu_alpha_load_fpcr(CPUAlphaState * env)354d5712f1SAndreas Färber uint64_t cpu_alpha_load_fpcr(CPUAlphaState *env)
36ba0e276dSRichard Henderson {
37f3d3aad4SRichard Henderson return (uint64_t)env->fpcr << 32;
38ba0e276dSRichard Henderson }
39ba0e276dSRichard Henderson
cpu_alpha_store_fpcr(CPUAlphaState * env,uint64_t val)404d5712f1SAndreas Färber void cpu_alpha_store_fpcr(CPUAlphaState *env, uint64_t val)
41ba0e276dSRichard Henderson {
42ea937dedSRichard Henderson static const uint8_t rm_map[] = {
43ea937dedSRichard Henderson [FPCR_DYN_NORMAL >> FPCR_DYN_SHIFT] = float_round_nearest_even,
44ea937dedSRichard Henderson [FPCR_DYN_CHOPPED >> FPCR_DYN_SHIFT] = float_round_to_zero,
45ea937dedSRichard Henderson [FPCR_DYN_MINUS >> FPCR_DYN_SHIFT] = float_round_down,
46ea937dedSRichard Henderson [FPCR_DYN_PLUS >> FPCR_DYN_SHIFT] = float_round_up,
47ea937dedSRichard Henderson };
48ea937dedSRichard Henderson
49f3d3aad4SRichard Henderson uint32_t fpcr = val >> 32;
50f3d3aad4SRichard Henderson uint32_t t = 0;
51ba0e276dSRichard Henderson
52106e1319SRichard Henderson /* Record the raw value before adjusting for linux-user. */
53f3d3aad4SRichard Henderson env->fpcr = fpcr;
5421ba8564SRichard Henderson
5521ba8564SRichard Henderson #ifdef CONFIG_USER_ONLY
5621ba8564SRichard Henderson /*
5721ba8564SRichard Henderson * Override some of these bits with the contents of ENV->SWCR.
5821ba8564SRichard Henderson * In system mode, some of these would trap to the kernel, at
5921ba8564SRichard Henderson * which point the kernel's handler would emulate and apply
6021ba8564SRichard Henderson * the software exception mask.
6121ba8564SRichard Henderson */
62106e1319SRichard Henderson uint32_t soft_fpcr = alpha_ieee_swcr_to_fpcr(env->swcr) >> 32;
638cd99905SRichard Henderson fpcr |= soft_fpcr & (FPCR_STATUS_MASK | FPCR_DNZ);
6480093070SRichard Henderson
6580093070SRichard Henderson /*
6680093070SRichard Henderson * The IOV exception is disabled by the kernel with SWCR_TRAP_ENABLE_INV,
6780093070SRichard Henderson * which got mapped by alpha_ieee_swcr_to_fpcr to FPCR_INVD.
6880093070SRichard Henderson * Add FPCR_IOV to fpcr_exc_enable so that it is handled identically.
6980093070SRichard Henderson */
7080093070SRichard Henderson t |= CONVERT_BIT(soft_fpcr, FPCR_INVD, FPCR_IOV);
71106e1319SRichard Henderson #endif
72106e1319SRichard Henderson
73106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_INED, FPCR_INE);
74106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_UNFD, FPCR_UNF);
75106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_OVFD, FPCR_OVF);
76106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_DZED, FPCR_DZE);
77106e1319SRichard Henderson t |= CONVERT_BIT(fpcr, FPCR_INVD, FPCR_INV);
78106e1319SRichard Henderson
79106e1319SRichard Henderson env->fpcr_exc_enable = ~t & FPCR_STATUS_MASK;
80106e1319SRichard Henderson
81106e1319SRichard Henderson env->fpcr_dyn_round = rm_map[(fpcr & FPCR_DYN_MASK) >> FPCR_DYN_SHIFT];
82106e1319SRichard Henderson env->fp_status.flush_inputs_to_zero = (fpcr & FPCR_DNZ) != 0;
83a8938e5fSRichard Henderson
84a8938e5fSRichard Henderson t = (fpcr & FPCR_UNFD) && (fpcr & FPCR_UNDZ);
85106e1319SRichard Henderson #ifdef CONFIG_USER_ONLY
86a8938e5fSRichard Henderson t |= (env->swcr & SWCR_MAP_UMZ) != 0;
8721ba8564SRichard Henderson #endif
88a8938e5fSRichard Henderson env->fpcr_flush_to_zero = t;
89ba0e276dSRichard Henderson }
904c9649a9Sj_mayer
helper_load_fpcr(CPUAlphaState * env)91a44a2777SRichard Henderson uint64_t helper_load_fpcr(CPUAlphaState *env)
92a44a2777SRichard Henderson {
93a44a2777SRichard Henderson return cpu_alpha_load_fpcr(env);
94a44a2777SRichard Henderson }
95a44a2777SRichard Henderson
helper_store_fpcr(CPUAlphaState * env,uint64_t val)96a44a2777SRichard Henderson void helper_store_fpcr(CPUAlphaState *env, uint64_t val)
97a44a2777SRichard Henderson {
98a44a2777SRichard Henderson cpu_alpha_store_fpcr(env, val);
99a44a2777SRichard Henderson }
100a44a2777SRichard Henderson
cpu_alpha_addr_gr(CPUAlphaState * env,unsigned reg)10159124384SRichard Henderson static uint64_t *cpu_alpha_addr_gr(CPUAlphaState *env, unsigned reg)
10259124384SRichard Henderson {
10359124384SRichard Henderson #ifndef CONFIG_USER_ONLY
104bcd2625dSRichard Henderson if (env->flags & ENV_FLAG_PAL_MODE) {
10559124384SRichard Henderson if (reg >= 8 && reg <= 14) {
10659124384SRichard Henderson return &env->shadow[reg - 8];
10759124384SRichard Henderson } else if (reg == 25) {
10859124384SRichard Henderson return &env->shadow[7];
10959124384SRichard Henderson }
11059124384SRichard Henderson }
11159124384SRichard Henderson #endif
11259124384SRichard Henderson return &env->ir[reg];
11359124384SRichard Henderson }
11459124384SRichard Henderson
cpu_alpha_load_gr(CPUAlphaState * env,unsigned reg)11559124384SRichard Henderson uint64_t cpu_alpha_load_gr(CPUAlphaState *env, unsigned reg)
11659124384SRichard Henderson {
11759124384SRichard Henderson return *cpu_alpha_addr_gr(env, reg);
11859124384SRichard Henderson }
11959124384SRichard Henderson
cpu_alpha_store_gr(CPUAlphaState * env,unsigned reg,uint64_t val)12059124384SRichard Henderson void cpu_alpha_store_gr(CPUAlphaState *env, unsigned reg, uint64_t val)
12159124384SRichard Henderson {
12259124384SRichard Henderson *cpu_alpha_addr_gr(env, reg) = val;
12359124384SRichard Henderson }
12459124384SRichard Henderson
1254c9649a9Sj_mayer #if defined(CONFIG_USER_ONLY)
alpha_cpu_record_sigsegv(CPUState * cs,vaddr address,MMUAccessType access_type,bool maperr,uintptr_t retaddr)12690113883SRichard Henderson void alpha_cpu_record_sigsegv(CPUState *cs, vaddr address,
12790113883SRichard Henderson MMUAccessType access_type,
12890113883SRichard Henderson bool maperr, uintptr_t retaddr)
1294c9649a9Sj_mayer {
130ab709f13SRichard Henderson CPUAlphaState *env = cpu_env(cs);
13190113883SRichard Henderson target_ulong mmcsr, cause;
1327510454eSAndreas Färber
13390113883SRichard Henderson /* Assuming !maperr, infer the missing protection. */
13490113883SRichard Henderson switch (access_type) {
13590113883SRichard Henderson case MMU_DATA_LOAD:
13690113883SRichard Henderson mmcsr = MM_K_FOR;
13790113883SRichard Henderson cause = 0;
13890113883SRichard Henderson break;
13990113883SRichard Henderson case MMU_DATA_STORE:
14090113883SRichard Henderson mmcsr = MM_K_FOW;
14190113883SRichard Henderson cause = 1;
14290113883SRichard Henderson break;
14390113883SRichard Henderson case MMU_INST_FETCH:
14490113883SRichard Henderson mmcsr = MM_K_FOE;
14590113883SRichard Henderson cause = -1;
14690113883SRichard Henderson break;
14790113883SRichard Henderson default:
14890113883SRichard Henderson g_assert_not_reached();
14990113883SRichard Henderson }
15090113883SRichard Henderson if (maperr) {
15190113883SRichard Henderson if (address < BIT_ULL(TARGET_VIRT_ADDR_SPACE_BITS - 1)) {
15290113883SRichard Henderson /* Userspace address, therefore page not mapped. */
15390113883SRichard Henderson mmcsr = MM_K_TNV;
15490113883SRichard Henderson } else {
15590113883SRichard Henderson /* Kernel or invalid address. */
15690113883SRichard Henderson mmcsr = MM_K_ACV;
15790113883SRichard Henderson }
15890113883SRichard Henderson }
15990113883SRichard Henderson
16090113883SRichard Henderson /* Record the arguments that PALcode would give to the kernel. */
161ab709f13SRichard Henderson env->trap_arg0 = address;
162ab709f13SRichard Henderson env->trap_arg1 = mmcsr;
163ab709f13SRichard Henderson env->trap_arg2 = cause;
1644c9649a9Sj_mayer }
1654c9649a9Sj_mayer #else
166a3b9af16SRichard Henderson /* Returns the OSF/1 entMM failure indication, or -1 on success. */
get_physical_address(CPUAlphaState * env,target_ulong addr,int prot_need,int mmu_idx,target_ulong * pphys,int * pprot)1674d5712f1SAndreas Färber static int get_physical_address(CPUAlphaState *env, target_ulong addr,
168a3b9af16SRichard Henderson int prot_need, int mmu_idx,
169a3b9af16SRichard Henderson target_ulong *pphys, int *pprot)
1704c9649a9Sj_mayer {
1711c7ad260SRichard Henderson CPUState *cs = env_cpu(env);
172a3b9af16SRichard Henderson target_long saddr = addr;
173a3b9af16SRichard Henderson target_ulong phys = 0;
174a3b9af16SRichard Henderson target_ulong L1pte, L2pte, L3pte;
175a3b9af16SRichard Henderson target_ulong pt, index;
176a3b9af16SRichard Henderson int prot = 0;
177a3b9af16SRichard Henderson int ret = MM_K_ACV;
178a3b9af16SRichard Henderson
1796a73ecf5SRichard Henderson /* Handle physical accesses. */
1806a73ecf5SRichard Henderson if (mmu_idx == MMU_PHYS_IDX) {
1816a73ecf5SRichard Henderson phys = addr;
1826a73ecf5SRichard Henderson prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
1836a73ecf5SRichard Henderson ret = -1;
1846a73ecf5SRichard Henderson goto exit;
1856a73ecf5SRichard Henderson }
1866a73ecf5SRichard Henderson
187a3b9af16SRichard Henderson /* Ensure that the virtual address is properly sign-extended from
188a3b9af16SRichard Henderson the last implemented virtual address bit. */
189a3b9af16SRichard Henderson if (saddr >> TARGET_VIRT_ADDR_SPACE_BITS != saddr >> 63) {
190a3b9af16SRichard Henderson goto exit;
1914c9649a9Sj_mayer }
1924c9649a9Sj_mayer
193a3b9af16SRichard Henderson /* Translate the superpage. */
194a3b9af16SRichard Henderson /* ??? When we do more than emulate Unix PALcode, we'll need to
195fa6e0a63SRichard Henderson determine which KSEG is actually active. */
196fa6e0a63SRichard Henderson if (saddr < 0 && ((saddr >> 41) & 3) == 2) {
197fa6e0a63SRichard Henderson /* User-space cannot access KSEG addresses. */
198a3b9af16SRichard Henderson if (mmu_idx != MMU_KERNEL_IDX) {
199a3b9af16SRichard Henderson goto exit;
200a3b9af16SRichard Henderson }
201a3b9af16SRichard Henderson
202fa6e0a63SRichard Henderson /* For the benefit of the Typhoon chipset, move bit 40 to bit 43.
203fa6e0a63SRichard Henderson We would not do this if the 48-bit KSEG is enabled. */
204a3b9af16SRichard Henderson phys = saddr & ((1ull << 40) - 1);
205fa6e0a63SRichard Henderson phys |= (saddr & (1ull << 40)) << 3;
206fa6e0a63SRichard Henderson
207a3b9af16SRichard Henderson prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
208a3b9af16SRichard Henderson ret = -1;
209a3b9af16SRichard Henderson goto exit;
210a3b9af16SRichard Henderson }
211a3b9af16SRichard Henderson
212a3b9af16SRichard Henderson /* Interpret the page table exactly like PALcode does. */
213a3b9af16SRichard Henderson
214a3b9af16SRichard Henderson pt = env->ptbr;
215a3b9af16SRichard Henderson
2166ad4d7eeSPeter Maydell /* TODO: rather than using ldq_phys() to read the page table we should
2176ad4d7eeSPeter Maydell * use address_space_ldq() so that we can handle the case when
2186ad4d7eeSPeter Maydell * the page table read gives a bus fault, rather than ignoring it.
2196ad4d7eeSPeter Maydell * For the existing code the zero data that ldq_phys will return for
2206ad4d7eeSPeter Maydell * an access to invalid memory will result in our treating the page
2216ad4d7eeSPeter Maydell * table as invalid, which may even be the right behaviour.
2226ad4d7eeSPeter Maydell */
2236ad4d7eeSPeter Maydell
224a3b9af16SRichard Henderson /* L1 page table read. */
225a3b9af16SRichard Henderson index = (addr >> (TARGET_PAGE_BITS + 20)) & 0x3ff;
2262c17449bSEdgar E. Iglesias L1pte = ldq_phys(cs->as, pt + index*8);
227a3b9af16SRichard Henderson
228a3b9af16SRichard Henderson if (unlikely((L1pte & PTE_VALID) == 0)) {
229a3b9af16SRichard Henderson ret = MM_K_TNV;
230a3b9af16SRichard Henderson goto exit;
231a3b9af16SRichard Henderson }
232a3b9af16SRichard Henderson if (unlikely((L1pte & PTE_KRE) == 0)) {
233a3b9af16SRichard Henderson goto exit;
234a3b9af16SRichard Henderson }
235a3b9af16SRichard Henderson pt = L1pte >> 32 << TARGET_PAGE_BITS;
236a3b9af16SRichard Henderson
237a3b9af16SRichard Henderson /* L2 page table read. */
238a3b9af16SRichard Henderson index = (addr >> (TARGET_PAGE_BITS + 10)) & 0x3ff;
2392c17449bSEdgar E. Iglesias L2pte = ldq_phys(cs->as, pt + index*8);
240a3b9af16SRichard Henderson
241a3b9af16SRichard Henderson if (unlikely((L2pte & PTE_VALID) == 0)) {
242a3b9af16SRichard Henderson ret = MM_K_TNV;
243a3b9af16SRichard Henderson goto exit;
244a3b9af16SRichard Henderson }
245a3b9af16SRichard Henderson if (unlikely((L2pte & PTE_KRE) == 0)) {
246a3b9af16SRichard Henderson goto exit;
247a3b9af16SRichard Henderson }
248a3b9af16SRichard Henderson pt = L2pte >> 32 << TARGET_PAGE_BITS;
249a3b9af16SRichard Henderson
250a3b9af16SRichard Henderson /* L3 page table read. */
251a3b9af16SRichard Henderson index = (addr >> TARGET_PAGE_BITS) & 0x3ff;
2522c17449bSEdgar E. Iglesias L3pte = ldq_phys(cs->as, pt + index*8);
253a3b9af16SRichard Henderson
254a3b9af16SRichard Henderson phys = L3pte >> 32 << TARGET_PAGE_BITS;
255a3b9af16SRichard Henderson if (unlikely((L3pte & PTE_VALID) == 0)) {
256a3b9af16SRichard Henderson ret = MM_K_TNV;
257a3b9af16SRichard Henderson goto exit;
258a3b9af16SRichard Henderson }
259a3b9af16SRichard Henderson
260a3b9af16SRichard Henderson #if PAGE_READ != 1 || PAGE_WRITE != 2 || PAGE_EXEC != 4
261a3b9af16SRichard Henderson # error page bits out of date
262a3b9af16SRichard Henderson #endif
263a3b9af16SRichard Henderson
264a3b9af16SRichard Henderson /* Check access violations. */
265a3b9af16SRichard Henderson if (L3pte & (PTE_KRE << mmu_idx)) {
266a3b9af16SRichard Henderson prot |= PAGE_READ | PAGE_EXEC;
267a3b9af16SRichard Henderson }
268a3b9af16SRichard Henderson if (L3pte & (PTE_KWE << mmu_idx)) {
269a3b9af16SRichard Henderson prot |= PAGE_WRITE;
270a3b9af16SRichard Henderson }
271a3b9af16SRichard Henderson if (unlikely((prot & prot_need) == 0 && prot_need)) {
272a3b9af16SRichard Henderson goto exit;
273a3b9af16SRichard Henderson }
274a3b9af16SRichard Henderson
275a3b9af16SRichard Henderson /* Check fault-on-operation violations. */
276a3b9af16SRichard Henderson prot &= ~(L3pte >> 1);
277a3b9af16SRichard Henderson ret = -1;
278a3b9af16SRichard Henderson if (unlikely((prot & prot_need) == 0)) {
279a3b9af16SRichard Henderson ret = (prot_need & PAGE_EXEC ? MM_K_FOE :
280a3b9af16SRichard Henderson prot_need & PAGE_WRITE ? MM_K_FOW :
281a3b9af16SRichard Henderson prot_need & PAGE_READ ? MM_K_FOR : -1);
282a3b9af16SRichard Henderson }
283a3b9af16SRichard Henderson
284a3b9af16SRichard Henderson exit:
285a3b9af16SRichard Henderson *pphys = phys;
286a3b9af16SRichard Henderson *pprot = prot;
287a3b9af16SRichard Henderson return ret;
288a3b9af16SRichard Henderson }
289a3b9af16SRichard Henderson
alpha_cpu_get_phys_page_debug(CPUState * cs,vaddr addr)29000b941e5SAndreas Färber hwaddr alpha_cpu_get_phys_page_debug(CPUState *cs, vaddr addr)
291a3b9af16SRichard Henderson {
292a3b9af16SRichard Henderson target_ulong phys;
293a3b9af16SRichard Henderson int prot, fail;
294a3b9af16SRichard Henderson
29550cb36ceSPhilippe Mathieu-Daudé fail = get_physical_address(cpu_env(cs), addr, 0, 0, &phys, &prot);
296a3b9af16SRichard Henderson return (fail >= 0 ? -1 : phys);
297a3b9af16SRichard Henderson }
298a3b9af16SRichard Henderson
alpha_cpu_tlb_fill(CPUState * cs,vaddr addr,int size,MMUAccessType access_type,int mmu_idx,bool probe,uintptr_t retaddr)299e41c9452SRichard Henderson bool alpha_cpu_tlb_fill(CPUState *cs, vaddr addr, int size,
300e41c9452SRichard Henderson MMUAccessType access_type, int mmu_idx,
301e41c9452SRichard Henderson bool probe, uintptr_t retaddr)
3024c9649a9Sj_mayer {
30350cb36ceSPhilippe Mathieu-Daudé CPUAlphaState *env = cpu_env(cs);
304a3b9af16SRichard Henderson target_ulong phys;
305a3b9af16SRichard Henderson int prot, fail;
306a3b9af16SRichard Henderson
307e41c9452SRichard Henderson fail = get_physical_address(env, addr, 1 << access_type,
308e41c9452SRichard Henderson mmu_idx, &phys, &prot);
309a3b9af16SRichard Henderson if (unlikely(fail >= 0)) {
310e41c9452SRichard Henderson if (probe) {
311e41c9452SRichard Henderson return false;
312e41c9452SRichard Henderson }
31327103424SAndreas Färber cs->exception_index = EXCP_MMFAULT;
314a3b9af16SRichard Henderson env->trap_arg0 = addr;
315a3b9af16SRichard Henderson env->trap_arg1 = fail;
316cb1de55aSAurelien Jarno env->trap_arg2 = (access_type == MMU_DATA_LOAD ? 0ull :
317cb1de55aSAurelien Jarno access_type == MMU_DATA_STORE ? 1ull :
318cb1de55aSAurelien Jarno /* access_type == MMU_INST_FETCH */ -1ull);
319e41c9452SRichard Henderson cpu_loop_exit_restore(cs, retaddr);
320a3b9af16SRichard Henderson }
321a3b9af16SRichard Henderson
3220c591eb0SAndreas Färber tlb_set_page(cs, addr & TARGET_PAGE_MASK, phys & TARGET_PAGE_MASK,
323a3b9af16SRichard Henderson prot, mmu_idx, TARGET_PAGE_SIZE);
324e41c9452SRichard Henderson return true;
325e41c9452SRichard Henderson }
3264c9649a9Sj_mayer
alpha_cpu_do_interrupt(CPUState * cs)32797a8ea5aSAndreas Färber void alpha_cpu_do_interrupt(CPUState *cs)
3284c9649a9Sj_mayer {
32950cb36ceSPhilippe Mathieu-Daudé CPUAlphaState *env = cpu_env(cs);
33027103424SAndreas Färber int i = cs->exception_index;
3313a6fa678SRichard Henderson
3323a6fa678SRichard Henderson if (qemu_loglevel_mask(CPU_LOG_INT)) {
3333a6fa678SRichard Henderson static int count;
3343a6fa678SRichard Henderson const char *name = "<unknown>";
3353a6fa678SRichard Henderson
3363a6fa678SRichard Henderson switch (i) {
3373a6fa678SRichard Henderson case EXCP_RESET:
3383a6fa678SRichard Henderson name = "reset";
3393a6fa678SRichard Henderson break;
3403a6fa678SRichard Henderson case EXCP_MCHK:
3413a6fa678SRichard Henderson name = "mchk";
3423a6fa678SRichard Henderson break;
3433a6fa678SRichard Henderson case EXCP_SMP_INTERRUPT:
3443a6fa678SRichard Henderson name = "smp_interrupt";
3453a6fa678SRichard Henderson break;
3463a6fa678SRichard Henderson case EXCP_CLK_INTERRUPT:
3473a6fa678SRichard Henderson name = "clk_interrupt";
3483a6fa678SRichard Henderson break;
3493a6fa678SRichard Henderson case EXCP_DEV_INTERRUPT:
3503a6fa678SRichard Henderson name = "dev_interrupt";
3513a6fa678SRichard Henderson break;
3523a6fa678SRichard Henderson case EXCP_MMFAULT:
3533a6fa678SRichard Henderson name = "mmfault";
3543a6fa678SRichard Henderson break;
3553a6fa678SRichard Henderson case EXCP_UNALIGN:
3563a6fa678SRichard Henderson name = "unalign";
3573a6fa678SRichard Henderson break;
3583a6fa678SRichard Henderson case EXCP_OPCDEC:
3593a6fa678SRichard Henderson name = "opcdec";
3603a6fa678SRichard Henderson break;
3613a6fa678SRichard Henderson case EXCP_ARITH:
3623a6fa678SRichard Henderson name = "arith";
3633a6fa678SRichard Henderson break;
3643a6fa678SRichard Henderson case EXCP_FEN:
3653a6fa678SRichard Henderson name = "fen";
3663a6fa678SRichard Henderson break;
3673a6fa678SRichard Henderson case EXCP_CALL_PAL:
3683a6fa678SRichard Henderson name = "call_pal";
3693a6fa678SRichard Henderson break;
3704c9649a9Sj_mayer }
371022f52e0SRichard Henderson qemu_log("INT %6d: %s(%#x) cpu=%d pc=%016"
372022f52e0SRichard Henderson PRIx64 " sp=%016" PRIx64 "\n",
373022f52e0SRichard Henderson ++count, name, env->error_code, cs->cpu_index,
374022f52e0SRichard Henderson env->pc, env->ir[IR_SP]);
3753a6fa678SRichard Henderson }
3763a6fa678SRichard Henderson
37727103424SAndreas Färber cs->exception_index = -1;
3783a6fa678SRichard Henderson
3793a6fa678SRichard Henderson switch (i) {
3803a6fa678SRichard Henderson case EXCP_RESET:
3813a6fa678SRichard Henderson i = 0x0000;
3823a6fa678SRichard Henderson break;
3833a6fa678SRichard Henderson case EXCP_MCHK:
3843a6fa678SRichard Henderson i = 0x0080;
3853a6fa678SRichard Henderson break;
3863a6fa678SRichard Henderson case EXCP_SMP_INTERRUPT:
3873a6fa678SRichard Henderson i = 0x0100;
3883a6fa678SRichard Henderson break;
3893a6fa678SRichard Henderson case EXCP_CLK_INTERRUPT:
3903a6fa678SRichard Henderson i = 0x0180;
3913a6fa678SRichard Henderson break;
3923a6fa678SRichard Henderson case EXCP_DEV_INTERRUPT:
3933a6fa678SRichard Henderson i = 0x0200;
3943a6fa678SRichard Henderson break;
3953a6fa678SRichard Henderson case EXCP_MMFAULT:
3963a6fa678SRichard Henderson i = 0x0280;
3973a6fa678SRichard Henderson break;
3983a6fa678SRichard Henderson case EXCP_UNALIGN:
3993a6fa678SRichard Henderson i = 0x0300;
4003a6fa678SRichard Henderson break;
4013a6fa678SRichard Henderson case EXCP_OPCDEC:
4023a6fa678SRichard Henderson i = 0x0380;
4033a6fa678SRichard Henderson break;
4043a6fa678SRichard Henderson case EXCP_ARITH:
4053a6fa678SRichard Henderson i = 0x0400;
4063a6fa678SRichard Henderson break;
4073a6fa678SRichard Henderson case EXCP_FEN:
4083a6fa678SRichard Henderson i = 0x0480;
4093a6fa678SRichard Henderson break;
4103a6fa678SRichard Henderson case EXCP_CALL_PAL:
4113a6fa678SRichard Henderson i = env->error_code;
4123a6fa678SRichard Henderson /* There are 64 entry points for both privileged and unprivileged,
4133a6fa678SRichard Henderson with bit 0x80 indicating unprivileged. Each entry point gets
4143a6fa678SRichard Henderson 64 bytes to do its job. */
4153a6fa678SRichard Henderson if (i & 0x80) {
4163a6fa678SRichard Henderson i = 0x2000 + (i - 0x80) * 64;
4173a6fa678SRichard Henderson } else {
4183a6fa678SRichard Henderson i = 0x1000 + i * 64;
4193a6fa678SRichard Henderson }
4203a6fa678SRichard Henderson break;
4213a6fa678SRichard Henderson default:
422a47dddd7SAndreas Färber cpu_abort(cs, "Unhandled CPU exception");
4233a6fa678SRichard Henderson }
4243a6fa678SRichard Henderson
4253a6fa678SRichard Henderson /* Remember where the exception happened. Emulate real hardware in
4263a6fa678SRichard Henderson that the low bit of the PC indicates PALmode. */
427bcd2625dSRichard Henderson env->exc_addr = env->pc | (env->flags & ENV_FLAG_PAL_MODE);
4283a6fa678SRichard Henderson
4293a6fa678SRichard Henderson /* Continue execution at the PALcode entry point. */
4303a6fa678SRichard Henderson env->pc = env->palbr + i;
4313a6fa678SRichard Henderson
4323a6fa678SRichard Henderson /* Switch to PALmode. */
433bcd2625dSRichard Henderson env->flags |= ENV_FLAG_PAL_MODE;
4343a6fa678SRichard Henderson }
4354c9649a9Sj_mayer
alpha_cpu_exec_interrupt(CPUState * cs,int interrupt_request)436dde7c241SRichard Henderson bool alpha_cpu_exec_interrupt(CPUState *cs, int interrupt_request)
437dde7c241SRichard Henderson {
43850cb36ceSPhilippe Mathieu-Daudé CPUAlphaState *env = cpu_env(cs);
439dde7c241SRichard Henderson int idx = -1;
440dde7c241SRichard Henderson
441dde7c241SRichard Henderson /* We never take interrupts while in PALmode. */
442bcd2625dSRichard Henderson if (env->flags & ENV_FLAG_PAL_MODE) {
443dde7c241SRichard Henderson return false;
444dde7c241SRichard Henderson }
445dde7c241SRichard Henderson
446dde7c241SRichard Henderson /* Fall through the switch, collecting the highest priority
447dde7c241SRichard Henderson interrupt that isn't masked by the processor status IPL. */
448dde7c241SRichard Henderson /* ??? This hard-codes the OSF/1 interrupt levels. */
449bcd2625dSRichard Henderson switch ((env->flags >> ENV_FLAG_PS_SHIFT) & PS_INT_MASK) {
450dde7c241SRichard Henderson case 0 ... 3:
451dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_HARD) {
452dde7c241SRichard Henderson idx = EXCP_DEV_INTERRUPT;
453dde7c241SRichard Henderson }
454dde7c241SRichard Henderson /* FALLTHRU */
455dde7c241SRichard Henderson case 4:
456dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_TIMER) {
457dde7c241SRichard Henderson idx = EXCP_CLK_INTERRUPT;
458dde7c241SRichard Henderson }
459dde7c241SRichard Henderson /* FALLTHRU */
460dde7c241SRichard Henderson case 5:
461dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_SMP) {
462dde7c241SRichard Henderson idx = EXCP_SMP_INTERRUPT;
463dde7c241SRichard Henderson }
464dde7c241SRichard Henderson /* FALLTHRU */
465dde7c241SRichard Henderson case 6:
466dde7c241SRichard Henderson if (interrupt_request & CPU_INTERRUPT_MCHK) {
467dde7c241SRichard Henderson idx = EXCP_MCHK;
468dde7c241SRichard Henderson }
469dde7c241SRichard Henderson }
470dde7c241SRichard Henderson if (idx >= 0) {
471dde7c241SRichard Henderson cs->exception_index = idx;
472dde7c241SRichard Henderson env->error_code = 0;
473dde7c241SRichard Henderson alpha_cpu_do_interrupt(cs);
474dde7c241SRichard Henderson return true;
475dde7c241SRichard Henderson }
476dde7c241SRichard Henderson return false;
477dde7c241SRichard Henderson }
478dde7c241SRichard Henderson
4799354e694SPhilippe Mathieu-Daudé #endif /* !CONFIG_USER_ONLY */
4809354e694SPhilippe Mathieu-Daudé
alpha_cpu_dump_state(CPUState * cs,FILE * f,int flags)48190c84c56SMarkus Armbruster void alpha_cpu_dump_state(CPUState *cs, FILE *f, int flags)
4824c9649a9Sj_mayer {
4834a247932SRichard Henderson static const char linux_reg_names[31][4] = {
4844c9649a9Sj_mayer "v0", "t0", "t1", "t2", "t3", "t4", "t5", "t6",
4854c9649a9Sj_mayer "t7", "s0", "s1", "s2", "s3", "s4", "s5", "fp",
4864c9649a9Sj_mayer "a0", "a1", "a2", "a3", "a4", "a5", "t8", "t9",
4874a247932SRichard Henderson "t10", "t11", "ra", "t12", "at", "gp", "sp"
4884c9649a9Sj_mayer };
48950cb36ceSPhilippe Mathieu-Daudé CPUAlphaState *env = cpu_env(cs);
4904c9649a9Sj_mayer int i;
4914c9649a9Sj_mayer
49290c84c56SMarkus Armbruster qemu_fprintf(f, "PC " TARGET_FMT_lx " PS %02x\n",
493bcd2625dSRichard Henderson env->pc, extract32(env->flags, ENV_FLAG_PS_SHIFT, 8));
4944c9649a9Sj_mayer for (i = 0; i < 31; i++) {
4954a247932SRichard Henderson qemu_fprintf(f, "%-8s" TARGET_FMT_lx "%c",
496a68d82b8SRichard Henderson linux_reg_names[i], cpu_alpha_load_gr(env, i),
497a68d82b8SRichard Henderson (i % 3) == 2 ? '\n' : ' ');
4984c9649a9Sj_mayer }
4996910b8f6SRichard Henderson
50090c84c56SMarkus Armbruster qemu_fprintf(f, "lock_a " TARGET_FMT_lx " lock_v " TARGET_FMT_lx "\n",
5016910b8f6SRichard Henderson env->lock_addr, env->lock_value);
5026910b8f6SRichard Henderson
503a68d82b8SRichard Henderson if (flags & CPU_DUMP_FPU) {
5044c9649a9Sj_mayer for (i = 0; i < 31; i++) {
5054a247932SRichard Henderson qemu_fprintf(f, "f%-7d%016" PRIx64 "%c", i, env->fir[i],
506a68d82b8SRichard Henderson (i % 3) == 2 ? '\n' : ' ');
507a68d82b8SRichard Henderson }
5084a247932SRichard Henderson qemu_fprintf(f, "fpcr %016" PRIx64 "\n", cpu_alpha_load_fpcr(env));
5094c9649a9Sj_mayer }
51090c84c56SMarkus Armbruster qemu_fprintf(f, "\n");
5114c9649a9Sj_mayer }
512b9f0923eSRichard Henderson
513b9f0923eSRichard Henderson /* This should only be called from translate, via gen_excp.
514b9f0923eSRichard Henderson We expect that ENV->PC has already been updated. */
helper_excp(CPUAlphaState * env,int excp,int error)5158905770bSMarc-André Lureau G_NORETURN void helper_excp(CPUAlphaState *env, int excp, int error)
516b9f0923eSRichard Henderson {
5171c7ad260SRichard Henderson CPUState *cs = env_cpu(env);
51827103424SAndreas Färber
51927103424SAndreas Färber cs->exception_index = excp;
520b9f0923eSRichard Henderson env->error_code = error;
5215638d180SAndreas Färber cpu_loop_exit(cs);
522b9f0923eSRichard Henderson }
523b9f0923eSRichard Henderson
524b9f0923eSRichard Henderson /* This may be called from any of the helpers to set up EXCEPTION_INDEX. */
dynamic_excp(CPUAlphaState * env,uintptr_t retaddr,int excp,int error)5258905770bSMarc-André Lureau G_NORETURN void dynamic_excp(CPUAlphaState *env, uintptr_t retaddr,
526b9f0923eSRichard Henderson int excp, int error)
527b9f0923eSRichard Henderson {
5281c7ad260SRichard Henderson CPUState *cs = env_cpu(env);
52927103424SAndreas Färber
53027103424SAndreas Färber cs->exception_index = excp;
531b9f0923eSRichard Henderson env->error_code = error;
532a8a826a3SBlue Swirl if (retaddr) {
5333d419a4dSRichard Henderson cpu_restore_state(cs, retaddr);
534ba9c5de5SRichard Henderson /* Floating-point exceptions (our only users) point to the next PC. */
535ba9c5de5SRichard Henderson env->pc += 4;
536a8a826a3SBlue Swirl }
5375638d180SAndreas Färber cpu_loop_exit(cs);
538b9f0923eSRichard Henderson }
539b9f0923eSRichard Henderson
arith_excp(CPUAlphaState * env,uintptr_t retaddr,int exc,uint64_t mask)5408905770bSMarc-André Lureau G_NORETURN void arith_excp(CPUAlphaState *env, uintptr_t retaddr,
541b9f0923eSRichard Henderson int exc, uint64_t mask)
542b9f0923eSRichard Henderson {
543b9f0923eSRichard Henderson env->trap_arg0 = exc;
544b9f0923eSRichard Henderson env->trap_arg1 = mask;
545b9f0923eSRichard Henderson dynamic_excp(env, retaddr, EXCP_ARITH, 0);
546b9f0923eSRichard Henderson }
547