xref: /qemu/target/alpha/helper.c (revision 342e313d6c1a8e6da758bd642777b85af1a0fc37)
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