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