xref: /qemu/target/alpha/helper.c (revision b9f0923eb782b92a85657092b625d96b0af26e2e)
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 
204c9649a9Sj_mayer #include <stdint.h>
214c9649a9Sj_mayer #include <stdlib.h>
224c9649a9Sj_mayer #include <stdio.h>
234c9649a9Sj_mayer 
244c9649a9Sj_mayer #include "cpu.h"
25ba0e276dSRichard Henderson #include "softfloat.h"
26b9f0923eSRichard Henderson #include "helper.h"
27ba0e276dSRichard Henderson 
284d5712f1SAndreas Färber uint64_t cpu_alpha_load_fpcr (CPUAlphaState *env)
29ba0e276dSRichard Henderson {
308443effbSRichard Henderson     uint64_t r = 0;
318443effbSRichard Henderson     uint8_t t;
32ba0e276dSRichard Henderson 
338443effbSRichard Henderson     t = env->fpcr_exc_status;
348443effbSRichard Henderson     if (t) {
358443effbSRichard Henderson         r = FPCR_SUM;
368443effbSRichard Henderson         if (t & float_flag_invalid) {
378443effbSRichard Henderson             r |= FPCR_INV;
388443effbSRichard Henderson         }
398443effbSRichard Henderson         if (t & float_flag_divbyzero) {
408443effbSRichard Henderson             r |= FPCR_DZE;
418443effbSRichard Henderson         }
428443effbSRichard Henderson         if (t & float_flag_overflow) {
438443effbSRichard Henderson             r |= FPCR_OVF;
448443effbSRichard Henderson         }
458443effbSRichard Henderson         if (t & float_flag_underflow) {
468443effbSRichard Henderson             r |= FPCR_UNF;
478443effbSRichard Henderson         }
488443effbSRichard Henderson         if (t & float_flag_inexact) {
498443effbSRichard Henderson             r |= FPCR_INE;
508443effbSRichard Henderson         }
518443effbSRichard Henderson     }
52ba0e276dSRichard Henderson 
538443effbSRichard Henderson     t = env->fpcr_exc_mask;
548443effbSRichard Henderson     if (t & float_flag_invalid) {
558443effbSRichard Henderson         r |= FPCR_INVD;
568443effbSRichard Henderson     }
578443effbSRichard Henderson     if (t & float_flag_divbyzero) {
588443effbSRichard Henderson         r |= FPCR_DZED;
598443effbSRichard Henderson     }
608443effbSRichard Henderson     if (t & float_flag_overflow) {
618443effbSRichard Henderson         r |= FPCR_OVFD;
628443effbSRichard Henderson     }
638443effbSRichard Henderson     if (t & float_flag_underflow) {
648443effbSRichard Henderson         r |= FPCR_UNFD;
658443effbSRichard Henderson     }
668443effbSRichard Henderson     if (t & float_flag_inexact) {
678443effbSRichard Henderson         r |= FPCR_INED;
688443effbSRichard Henderson     }
69ba0e276dSRichard Henderson 
708443effbSRichard Henderson     switch (env->fpcr_dyn_round) {
71ba0e276dSRichard Henderson     case float_round_nearest_even:
728443effbSRichard Henderson         r |= FPCR_DYN_NORMAL;
73ba0e276dSRichard Henderson         break;
74ba0e276dSRichard Henderson     case float_round_down:
758443effbSRichard Henderson         r |= FPCR_DYN_MINUS;
76ba0e276dSRichard Henderson         break;
77ba0e276dSRichard Henderson     case float_round_up:
788443effbSRichard Henderson         r |= FPCR_DYN_PLUS;
79ba0e276dSRichard Henderson         break;
80ba0e276dSRichard Henderson     case float_round_to_zero:
818443effbSRichard Henderson         r |= FPCR_DYN_CHOPPED;
82ba0e276dSRichard Henderson         break;
83ba0e276dSRichard Henderson     }
848443effbSRichard Henderson 
858443effbSRichard Henderson     if (env->fpcr_dnz) {
868443effbSRichard Henderson         r |= FPCR_DNZ;
878443effbSRichard Henderson     }
888443effbSRichard Henderson     if (env->fpcr_dnod) {
898443effbSRichard Henderson         r |= FPCR_DNOD;
908443effbSRichard Henderson     }
918443effbSRichard Henderson     if (env->fpcr_undz) {
928443effbSRichard Henderson         r |= FPCR_UNDZ;
938443effbSRichard Henderson     }
948443effbSRichard Henderson 
958443effbSRichard Henderson     return r;
96ba0e276dSRichard Henderson }
97ba0e276dSRichard Henderson 
984d5712f1SAndreas Färber void cpu_alpha_store_fpcr (CPUAlphaState *env, uint64_t val)
99ba0e276dSRichard Henderson {
1008443effbSRichard Henderson     uint8_t t;
101ba0e276dSRichard Henderson 
1028443effbSRichard Henderson     t = 0;
1038443effbSRichard Henderson     if (val & FPCR_INV) {
1048443effbSRichard Henderson         t |= float_flag_invalid;
1058443effbSRichard Henderson     }
1068443effbSRichard Henderson     if (val & FPCR_DZE) {
1078443effbSRichard Henderson         t |= float_flag_divbyzero;
1088443effbSRichard Henderson     }
1098443effbSRichard Henderson     if (val & FPCR_OVF) {
1108443effbSRichard Henderson         t |= float_flag_overflow;
1118443effbSRichard Henderson     }
1128443effbSRichard Henderson     if (val & FPCR_UNF) {
1138443effbSRichard Henderson         t |= float_flag_underflow;
1148443effbSRichard Henderson     }
1158443effbSRichard Henderson     if (val & FPCR_INE) {
1168443effbSRichard Henderson         t |= float_flag_inexact;
1178443effbSRichard Henderson     }
1188443effbSRichard Henderson     env->fpcr_exc_status = t;
119ba0e276dSRichard Henderson 
1208443effbSRichard Henderson     t = 0;
1218443effbSRichard Henderson     if (val & FPCR_INVD) {
1228443effbSRichard Henderson         t |= float_flag_invalid;
1238443effbSRichard Henderson     }
1248443effbSRichard Henderson     if (val & FPCR_DZED) {
1258443effbSRichard Henderson         t |= float_flag_divbyzero;
1268443effbSRichard Henderson     }
1278443effbSRichard Henderson     if (val & FPCR_OVFD) {
1288443effbSRichard Henderson         t |= float_flag_overflow;
1298443effbSRichard Henderson     }
1308443effbSRichard Henderson     if (val & FPCR_UNFD) {
1318443effbSRichard Henderson         t |= float_flag_underflow;
1328443effbSRichard Henderson     }
1338443effbSRichard Henderson     if (val & FPCR_INED) {
1348443effbSRichard Henderson         t |= float_flag_inexact;
1358443effbSRichard Henderson     }
1368443effbSRichard Henderson     env->fpcr_exc_mask = t;
137ba0e276dSRichard Henderson 
1388443effbSRichard Henderson     switch (val & FPCR_DYN_MASK) {
1398443effbSRichard Henderson     case FPCR_DYN_CHOPPED:
1408443effbSRichard Henderson         t = float_round_to_zero;
141ba0e276dSRichard Henderson         break;
1428443effbSRichard Henderson     case FPCR_DYN_MINUS:
1438443effbSRichard Henderson         t = float_round_down;
144ba0e276dSRichard Henderson         break;
1458443effbSRichard Henderson     case FPCR_DYN_NORMAL:
1468443effbSRichard Henderson         t = float_round_nearest_even;
147ba0e276dSRichard Henderson         break;
1488443effbSRichard Henderson     case FPCR_DYN_PLUS:
1498443effbSRichard Henderson         t = float_round_up;
150ba0e276dSRichard Henderson         break;
151ba0e276dSRichard Henderson     }
1528443effbSRichard Henderson     env->fpcr_dyn_round = t;
1538443effbSRichard Henderson 
1548443effbSRichard Henderson     env->fpcr_flush_to_zero
1558443effbSRichard Henderson       = (val & (FPCR_UNDZ|FPCR_UNFD)) == (FPCR_UNDZ|FPCR_UNFD);
1568443effbSRichard Henderson 
1578443effbSRichard Henderson     env->fpcr_dnz = (val & FPCR_DNZ) != 0;
1588443effbSRichard Henderson     env->fpcr_dnod = (val & FPCR_DNOD) != 0;
1598443effbSRichard Henderson     env->fpcr_undz = (val & FPCR_UNDZ) != 0;
160ba0e276dSRichard Henderson }
1614c9649a9Sj_mayer 
1624c9649a9Sj_mayer #if defined(CONFIG_USER_ONLY)
1634d5712f1SAndreas Färber int cpu_alpha_handle_mmu_fault (CPUAlphaState *env, target_ulong address, int rw,
16497b348e7SBlue Swirl                                 int mmu_idx)
1654c9649a9Sj_mayer {
16607b6c13bSRichard Henderson     env->exception_index = EXCP_MMFAULT;
167129d8aa5SRichard Henderson     env->trap_arg0 = address;
1684c9649a9Sj_mayer     return 1;
1694c9649a9Sj_mayer }
1704c9649a9Sj_mayer #else
1714d5712f1SAndreas Färber void swap_shadow_regs(CPUAlphaState *env)
17221d2beaaSRichard Henderson {
17321d2beaaSRichard Henderson     uint64_t i0, i1, i2, i3, i4, i5, i6, i7;
17421d2beaaSRichard Henderson 
17521d2beaaSRichard Henderson     i0 = env->ir[8];
17621d2beaaSRichard Henderson     i1 = env->ir[9];
17721d2beaaSRichard Henderson     i2 = env->ir[10];
17821d2beaaSRichard Henderson     i3 = env->ir[11];
17921d2beaaSRichard Henderson     i4 = env->ir[12];
18021d2beaaSRichard Henderson     i5 = env->ir[13];
18121d2beaaSRichard Henderson     i6 = env->ir[14];
18221d2beaaSRichard Henderson     i7 = env->ir[25];
18321d2beaaSRichard Henderson 
18421d2beaaSRichard Henderson     env->ir[8]  = env->shadow[0];
18521d2beaaSRichard Henderson     env->ir[9]  = env->shadow[1];
18621d2beaaSRichard Henderson     env->ir[10] = env->shadow[2];
18721d2beaaSRichard Henderson     env->ir[11] = env->shadow[3];
18821d2beaaSRichard Henderson     env->ir[12] = env->shadow[4];
18921d2beaaSRichard Henderson     env->ir[13] = env->shadow[5];
19021d2beaaSRichard Henderson     env->ir[14] = env->shadow[6];
19121d2beaaSRichard Henderson     env->ir[25] = env->shadow[7];
19221d2beaaSRichard Henderson 
19321d2beaaSRichard Henderson     env->shadow[0] = i0;
19421d2beaaSRichard Henderson     env->shadow[1] = i1;
19521d2beaaSRichard Henderson     env->shadow[2] = i2;
19621d2beaaSRichard Henderson     env->shadow[3] = i3;
19721d2beaaSRichard Henderson     env->shadow[4] = i4;
19821d2beaaSRichard Henderson     env->shadow[5] = i5;
19921d2beaaSRichard Henderson     env->shadow[6] = i6;
20021d2beaaSRichard Henderson     env->shadow[7] = i7;
20121d2beaaSRichard Henderson }
20221d2beaaSRichard Henderson 
203a3b9af16SRichard Henderson /* Returns the OSF/1 entMM failure indication, or -1 on success.  */
2044d5712f1SAndreas Färber static int get_physical_address(CPUAlphaState *env, target_ulong addr,
205a3b9af16SRichard Henderson                                 int prot_need, int mmu_idx,
206a3b9af16SRichard Henderson                                 target_ulong *pphys, int *pprot)
2074c9649a9Sj_mayer {
208a3b9af16SRichard Henderson     target_long saddr = addr;
209a3b9af16SRichard Henderson     target_ulong phys = 0;
210a3b9af16SRichard Henderson     target_ulong L1pte, L2pte, L3pte;
211a3b9af16SRichard Henderson     target_ulong pt, index;
212a3b9af16SRichard Henderson     int prot = 0;
213a3b9af16SRichard Henderson     int ret = MM_K_ACV;
214a3b9af16SRichard Henderson 
215a3b9af16SRichard Henderson     /* Ensure that the virtual address is properly sign-extended from
216a3b9af16SRichard Henderson        the last implemented virtual address bit.  */
217a3b9af16SRichard Henderson     if (saddr >> TARGET_VIRT_ADDR_SPACE_BITS != saddr >> 63) {
218a3b9af16SRichard Henderson         goto exit;
2194c9649a9Sj_mayer     }
2204c9649a9Sj_mayer 
221a3b9af16SRichard Henderson     /* Translate the superpage.  */
222a3b9af16SRichard Henderson     /* ??? When we do more than emulate Unix PALcode, we'll need to
223fa6e0a63SRichard Henderson        determine which KSEG is actually active.  */
224fa6e0a63SRichard Henderson     if (saddr < 0 && ((saddr >> 41) & 3) == 2) {
225fa6e0a63SRichard Henderson         /* User-space cannot access KSEG addresses.  */
226a3b9af16SRichard Henderson         if (mmu_idx != MMU_KERNEL_IDX) {
227a3b9af16SRichard Henderson             goto exit;
228a3b9af16SRichard Henderson         }
229a3b9af16SRichard Henderson 
230fa6e0a63SRichard Henderson         /* For the benefit of the Typhoon chipset, move bit 40 to bit 43.
231fa6e0a63SRichard Henderson            We would not do this if the 48-bit KSEG is enabled.  */
232a3b9af16SRichard Henderson         phys = saddr & ((1ull << 40) - 1);
233fa6e0a63SRichard Henderson         phys |= (saddr & (1ull << 40)) << 3;
234fa6e0a63SRichard Henderson 
235a3b9af16SRichard Henderson         prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
236a3b9af16SRichard Henderson         ret = -1;
237a3b9af16SRichard Henderson         goto exit;
238a3b9af16SRichard Henderson     }
239a3b9af16SRichard Henderson 
240a3b9af16SRichard Henderson     /* Interpret the page table exactly like PALcode does.  */
241a3b9af16SRichard Henderson 
242a3b9af16SRichard Henderson     pt = env->ptbr;
243a3b9af16SRichard Henderson 
244a3b9af16SRichard Henderson     /* L1 page table read.  */
245a3b9af16SRichard Henderson     index = (addr >> (TARGET_PAGE_BITS + 20)) & 0x3ff;
246a3b9af16SRichard Henderson     L1pte = ldq_phys(pt + index*8);
247a3b9af16SRichard Henderson 
248a3b9af16SRichard Henderson     if (unlikely((L1pte & PTE_VALID) == 0)) {
249a3b9af16SRichard Henderson         ret = MM_K_TNV;
250a3b9af16SRichard Henderson         goto exit;
251a3b9af16SRichard Henderson     }
252a3b9af16SRichard Henderson     if (unlikely((L1pte & PTE_KRE) == 0)) {
253a3b9af16SRichard Henderson         goto exit;
254a3b9af16SRichard Henderson     }
255a3b9af16SRichard Henderson     pt = L1pte >> 32 << TARGET_PAGE_BITS;
256a3b9af16SRichard Henderson 
257a3b9af16SRichard Henderson     /* L2 page table read.  */
258a3b9af16SRichard Henderson     index = (addr >> (TARGET_PAGE_BITS + 10)) & 0x3ff;
259a3b9af16SRichard Henderson     L2pte = ldq_phys(pt + index*8);
260a3b9af16SRichard Henderson 
261a3b9af16SRichard Henderson     if (unlikely((L2pte & PTE_VALID) == 0)) {
262a3b9af16SRichard Henderson         ret = MM_K_TNV;
263a3b9af16SRichard Henderson         goto exit;
264a3b9af16SRichard Henderson     }
265a3b9af16SRichard Henderson     if (unlikely((L2pte & PTE_KRE) == 0)) {
266a3b9af16SRichard Henderson         goto exit;
267a3b9af16SRichard Henderson     }
268a3b9af16SRichard Henderson     pt = L2pte >> 32 << TARGET_PAGE_BITS;
269a3b9af16SRichard Henderson 
270a3b9af16SRichard Henderson     /* L3 page table read.  */
271a3b9af16SRichard Henderson     index = (addr >> TARGET_PAGE_BITS) & 0x3ff;
272a3b9af16SRichard Henderson     L3pte = ldq_phys(pt + index*8);
273a3b9af16SRichard Henderson 
274a3b9af16SRichard Henderson     phys = L3pte >> 32 << TARGET_PAGE_BITS;
275a3b9af16SRichard Henderson     if (unlikely((L3pte & PTE_VALID) == 0)) {
276a3b9af16SRichard Henderson         ret = MM_K_TNV;
277a3b9af16SRichard Henderson         goto exit;
278a3b9af16SRichard Henderson     }
279a3b9af16SRichard Henderson 
280a3b9af16SRichard Henderson #if PAGE_READ != 1 || PAGE_WRITE != 2 || PAGE_EXEC != 4
281a3b9af16SRichard Henderson # error page bits out of date
282a3b9af16SRichard Henderson #endif
283a3b9af16SRichard Henderson 
284a3b9af16SRichard Henderson     /* Check access violations.  */
285a3b9af16SRichard Henderson     if (L3pte & (PTE_KRE << mmu_idx)) {
286a3b9af16SRichard Henderson         prot |= PAGE_READ | PAGE_EXEC;
287a3b9af16SRichard Henderson     }
288a3b9af16SRichard Henderson     if (L3pte & (PTE_KWE << mmu_idx)) {
289a3b9af16SRichard Henderson         prot |= PAGE_WRITE;
290a3b9af16SRichard Henderson     }
291a3b9af16SRichard Henderson     if (unlikely((prot & prot_need) == 0 && prot_need)) {
292a3b9af16SRichard Henderson         goto exit;
293a3b9af16SRichard Henderson     }
294a3b9af16SRichard Henderson 
295a3b9af16SRichard Henderson     /* Check fault-on-operation violations.  */
296a3b9af16SRichard Henderson     prot &= ~(L3pte >> 1);
297a3b9af16SRichard Henderson     ret = -1;
298a3b9af16SRichard Henderson     if (unlikely((prot & prot_need) == 0)) {
299a3b9af16SRichard Henderson         ret = (prot_need & PAGE_EXEC ? MM_K_FOE :
300a3b9af16SRichard Henderson                prot_need & PAGE_WRITE ? MM_K_FOW :
301a3b9af16SRichard Henderson                prot_need & PAGE_READ ? MM_K_FOR : -1);
302a3b9af16SRichard Henderson     }
303a3b9af16SRichard Henderson 
304a3b9af16SRichard Henderson  exit:
305a3b9af16SRichard Henderson     *pphys = phys;
306a3b9af16SRichard Henderson     *pprot = prot;
307a3b9af16SRichard Henderson     return ret;
308a3b9af16SRichard Henderson }
309a3b9af16SRichard Henderson 
3104d5712f1SAndreas Färber target_phys_addr_t cpu_get_phys_page_debug(CPUAlphaState *env, target_ulong addr)
311a3b9af16SRichard Henderson {
312a3b9af16SRichard Henderson     target_ulong phys;
313a3b9af16SRichard Henderson     int prot, fail;
314a3b9af16SRichard Henderson 
315a3b9af16SRichard Henderson     fail = get_physical_address(env, addr, 0, 0, &phys, &prot);
316a3b9af16SRichard Henderson     return (fail >= 0 ? -1 : phys);
317a3b9af16SRichard Henderson }
318a3b9af16SRichard Henderson 
3194d5712f1SAndreas Färber int cpu_alpha_handle_mmu_fault(CPUAlphaState *env, target_ulong addr, int rw,
32097b348e7SBlue Swirl                                int mmu_idx)
3214c9649a9Sj_mayer {
322a3b9af16SRichard Henderson     target_ulong phys;
323a3b9af16SRichard Henderson     int prot, fail;
324a3b9af16SRichard Henderson 
325a3b9af16SRichard Henderson     fail = get_physical_address(env, addr, 1 << rw, mmu_idx, &phys, &prot);
326a3b9af16SRichard Henderson     if (unlikely(fail >= 0)) {
327a3b9af16SRichard Henderson         env->exception_index = EXCP_MMFAULT;
328a3b9af16SRichard Henderson         env->trap_arg0 = addr;
329a3b9af16SRichard Henderson         env->trap_arg1 = fail;
330a3b9af16SRichard Henderson         env->trap_arg2 = (rw == 2 ? -1 : rw);
331a3b9af16SRichard Henderson         return 1;
332a3b9af16SRichard Henderson     }
333a3b9af16SRichard Henderson 
334a3b9af16SRichard Henderson     tlb_set_page(env, addr & TARGET_PAGE_MASK, phys & TARGET_PAGE_MASK,
335a3b9af16SRichard Henderson                  prot, mmu_idx, TARGET_PAGE_SIZE);
336129d8aa5SRichard Henderson     return 0;
3374c9649a9Sj_mayer }
3383a6fa678SRichard Henderson #endif /* USER_ONLY */
3394c9649a9Sj_mayer 
3404d5712f1SAndreas Färber void do_interrupt (CPUAlphaState *env)
3414c9649a9Sj_mayer {
3423a6fa678SRichard Henderson     int i = env->exception_index;
3433a6fa678SRichard Henderson 
3443a6fa678SRichard Henderson     if (qemu_loglevel_mask(CPU_LOG_INT)) {
3453a6fa678SRichard Henderson         static int count;
3463a6fa678SRichard Henderson         const char *name = "<unknown>";
3473a6fa678SRichard Henderson 
3483a6fa678SRichard Henderson         switch (i) {
3493a6fa678SRichard Henderson         case EXCP_RESET:
3503a6fa678SRichard Henderson             name = "reset";
3513a6fa678SRichard Henderson             break;
3523a6fa678SRichard Henderson         case EXCP_MCHK:
3533a6fa678SRichard Henderson             name = "mchk";
3543a6fa678SRichard Henderson             break;
3553a6fa678SRichard Henderson         case EXCP_SMP_INTERRUPT:
3563a6fa678SRichard Henderson             name = "smp_interrupt";
3573a6fa678SRichard Henderson             break;
3583a6fa678SRichard Henderson         case EXCP_CLK_INTERRUPT:
3593a6fa678SRichard Henderson             name = "clk_interrupt";
3603a6fa678SRichard Henderson             break;
3613a6fa678SRichard Henderson         case EXCP_DEV_INTERRUPT:
3623a6fa678SRichard Henderson             name = "dev_interrupt";
3633a6fa678SRichard Henderson             break;
3643a6fa678SRichard Henderson         case EXCP_MMFAULT:
3653a6fa678SRichard Henderson             name = "mmfault";
3663a6fa678SRichard Henderson             break;
3673a6fa678SRichard Henderson         case EXCP_UNALIGN:
3683a6fa678SRichard Henderson             name = "unalign";
3693a6fa678SRichard Henderson             break;
3703a6fa678SRichard Henderson         case EXCP_OPCDEC:
3713a6fa678SRichard Henderson             name = "opcdec";
3723a6fa678SRichard Henderson             break;
3733a6fa678SRichard Henderson         case EXCP_ARITH:
3743a6fa678SRichard Henderson             name = "arith";
3753a6fa678SRichard Henderson             break;
3763a6fa678SRichard Henderson         case EXCP_FEN:
3773a6fa678SRichard Henderson             name = "fen";
3783a6fa678SRichard Henderson             break;
3793a6fa678SRichard Henderson         case EXCP_CALL_PAL:
3803a6fa678SRichard Henderson             name = "call_pal";
3813a6fa678SRichard Henderson             break;
3823a6fa678SRichard Henderson         case EXCP_STL_C:
3833a6fa678SRichard Henderson             name = "stl_c";
3843a6fa678SRichard Henderson             break;
3853a6fa678SRichard Henderson         case EXCP_STQ_C:
3863a6fa678SRichard Henderson             name = "stq_c";
3873a6fa678SRichard Henderson             break;
3884c9649a9Sj_mayer         }
3893a6fa678SRichard Henderson         qemu_log("INT %6d: %s(%#x) pc=%016" PRIx64 " sp=%016" PRIx64 "\n",
3903a6fa678SRichard Henderson                  ++count, name, env->error_code, env->pc, env->ir[IR_SP]);
3913a6fa678SRichard Henderson     }
3923a6fa678SRichard Henderson 
3933a6fa678SRichard Henderson     env->exception_index = -1;
3943a6fa678SRichard Henderson 
3953a6fa678SRichard Henderson #if !defined(CONFIG_USER_ONLY)
3963a6fa678SRichard Henderson     switch (i) {
3973a6fa678SRichard Henderson     case EXCP_RESET:
3983a6fa678SRichard Henderson         i = 0x0000;
3993a6fa678SRichard Henderson         break;
4003a6fa678SRichard Henderson     case EXCP_MCHK:
4013a6fa678SRichard Henderson         i = 0x0080;
4023a6fa678SRichard Henderson         break;
4033a6fa678SRichard Henderson     case EXCP_SMP_INTERRUPT:
4043a6fa678SRichard Henderson         i = 0x0100;
4053a6fa678SRichard Henderson         break;
4063a6fa678SRichard Henderson     case EXCP_CLK_INTERRUPT:
4073a6fa678SRichard Henderson         i = 0x0180;
4083a6fa678SRichard Henderson         break;
4093a6fa678SRichard Henderson     case EXCP_DEV_INTERRUPT:
4103a6fa678SRichard Henderson         i = 0x0200;
4113a6fa678SRichard Henderson         break;
4123a6fa678SRichard Henderson     case EXCP_MMFAULT:
4133a6fa678SRichard Henderson         i = 0x0280;
4143a6fa678SRichard Henderson         break;
4153a6fa678SRichard Henderson     case EXCP_UNALIGN:
4163a6fa678SRichard Henderson         i = 0x0300;
4173a6fa678SRichard Henderson         break;
4183a6fa678SRichard Henderson     case EXCP_OPCDEC:
4193a6fa678SRichard Henderson         i = 0x0380;
4203a6fa678SRichard Henderson         break;
4213a6fa678SRichard Henderson     case EXCP_ARITH:
4223a6fa678SRichard Henderson         i = 0x0400;
4233a6fa678SRichard Henderson         break;
4243a6fa678SRichard Henderson     case EXCP_FEN:
4253a6fa678SRichard Henderson         i = 0x0480;
4263a6fa678SRichard Henderson         break;
4273a6fa678SRichard Henderson     case EXCP_CALL_PAL:
4283a6fa678SRichard Henderson         i = env->error_code;
4293a6fa678SRichard Henderson         /* There are 64 entry points for both privileged and unprivileged,
4303a6fa678SRichard Henderson            with bit 0x80 indicating unprivileged.  Each entry point gets
4313a6fa678SRichard Henderson            64 bytes to do its job.  */
4323a6fa678SRichard Henderson         if (i & 0x80) {
4333a6fa678SRichard Henderson             i = 0x2000 + (i - 0x80) * 64;
4343a6fa678SRichard Henderson         } else {
4353a6fa678SRichard Henderson             i = 0x1000 + i * 64;
4363a6fa678SRichard Henderson         }
4373a6fa678SRichard Henderson         break;
4383a6fa678SRichard Henderson     default:
4393a6fa678SRichard Henderson         cpu_abort(env, "Unhandled CPU exception");
4403a6fa678SRichard Henderson     }
4413a6fa678SRichard Henderson 
4423a6fa678SRichard Henderson     /* Remember where the exception happened.  Emulate real hardware in
4433a6fa678SRichard Henderson        that the low bit of the PC indicates PALmode.  */
4443a6fa678SRichard Henderson     env->exc_addr = env->pc | env->pal_mode;
4453a6fa678SRichard Henderson 
4463a6fa678SRichard Henderson     /* Continue execution at the PALcode entry point.  */
4473a6fa678SRichard Henderson     env->pc = env->palbr + i;
4483a6fa678SRichard Henderson 
4493a6fa678SRichard Henderson     /* Switch to PALmode.  */
45021d2beaaSRichard Henderson     if (!env->pal_mode) {
4513a6fa678SRichard Henderson         env->pal_mode = 1;
45221d2beaaSRichard Henderson         swap_shadow_regs(env);
45321d2beaaSRichard Henderson     }
4543a6fa678SRichard Henderson #endif /* !USER_ONLY */
4553a6fa678SRichard Henderson }
4564c9649a9Sj_mayer 
4574d5712f1SAndreas Färber void cpu_dump_state (CPUAlphaState *env, FILE *f, fprintf_function cpu_fprintf,
4584c9649a9Sj_mayer                      int flags)
4594c9649a9Sj_mayer {
460b55266b5Sblueswir1     static const char *linux_reg_names[] = {
4614c9649a9Sj_mayer         "v0 ", "t0 ", "t1 ", "t2 ", "t3 ", "t4 ", "t5 ", "t6 ",
4624c9649a9Sj_mayer         "t7 ", "s0 ", "s1 ", "s2 ", "s3 ", "s4 ", "s5 ", "fp ",
4634c9649a9Sj_mayer         "a0 ", "a1 ", "a2 ", "a3 ", "a4 ", "a5 ", "t8 ", "t9 ",
4644c9649a9Sj_mayer         "t10", "t11", "ra ", "t12", "at ", "gp ", "sp ", "zero",
4654c9649a9Sj_mayer     };
4664c9649a9Sj_mayer     int i;
4674c9649a9Sj_mayer 
468129d8aa5SRichard Henderson     cpu_fprintf(f, "     PC  " TARGET_FMT_lx "      PS  %02x\n",
4694c9649a9Sj_mayer                 env->pc, env->ps);
4704c9649a9Sj_mayer     for (i = 0; i < 31; i++) {
4714c9649a9Sj_mayer         cpu_fprintf(f, "IR%02d %s " TARGET_FMT_lx " ", i,
4724c9649a9Sj_mayer                     linux_reg_names[i], env->ir[i]);
4734c9649a9Sj_mayer         if ((i % 3) == 2)
4744c9649a9Sj_mayer             cpu_fprintf(f, "\n");
4754c9649a9Sj_mayer     }
4766910b8f6SRichard Henderson 
4776910b8f6SRichard Henderson     cpu_fprintf(f, "lock_a   " TARGET_FMT_lx " lock_v   " TARGET_FMT_lx "\n",
4786910b8f6SRichard Henderson                 env->lock_addr, env->lock_value);
4796910b8f6SRichard Henderson 
4804c9649a9Sj_mayer     for (i = 0; i < 31; i++) {
4814c9649a9Sj_mayer         cpu_fprintf(f, "FIR%02d    " TARGET_FMT_lx " ", i,
4824c9649a9Sj_mayer                     *((uint64_t *)(&env->fir[i])));
4834c9649a9Sj_mayer         if ((i % 3) == 2)
4844c9649a9Sj_mayer             cpu_fprintf(f, "\n");
4854c9649a9Sj_mayer     }
4866910b8f6SRichard Henderson     cpu_fprintf(f, "\n");
4874c9649a9Sj_mayer }
488b9f0923eSRichard Henderson 
489b9f0923eSRichard Henderson void do_restore_state(CPUAlphaState *env, void *retaddr)
490b9f0923eSRichard Henderson {
491b9f0923eSRichard Henderson     uintptr_t pc = (uintptr_t)retaddr;
492b9f0923eSRichard Henderson     if (pc) {
493b9f0923eSRichard Henderson         TranslationBlock *tb = tb_find_pc(pc);
494b9f0923eSRichard Henderson         if (tb) {
495b9f0923eSRichard Henderson             cpu_restore_state(tb, env, pc);
496b9f0923eSRichard Henderson         }
497b9f0923eSRichard Henderson     }
498b9f0923eSRichard Henderson }
499b9f0923eSRichard Henderson 
500b9f0923eSRichard Henderson /* This should only be called from translate, via gen_excp.
501b9f0923eSRichard Henderson    We expect that ENV->PC has already been updated.  */
502b9f0923eSRichard Henderson void QEMU_NORETURN helper_excp(CPUAlphaState *env, int excp, int error)
503b9f0923eSRichard Henderson {
504b9f0923eSRichard Henderson     env->exception_index = excp;
505b9f0923eSRichard Henderson     env->error_code = error;
506b9f0923eSRichard Henderson     cpu_loop_exit(env);
507b9f0923eSRichard Henderson }
508b9f0923eSRichard Henderson 
509b9f0923eSRichard Henderson /* This may be called from any of the helpers to set up EXCEPTION_INDEX.  */
510b9f0923eSRichard Henderson void QEMU_NORETURN dynamic_excp(CPUAlphaState *env, void *retaddr,
511b9f0923eSRichard Henderson                                 int excp, int error)
512b9f0923eSRichard Henderson {
513b9f0923eSRichard Henderson     env->exception_index = excp;
514b9f0923eSRichard Henderson     env->error_code = error;
515b9f0923eSRichard Henderson     do_restore_state(env, retaddr);
516b9f0923eSRichard Henderson     cpu_loop_exit(env);
517b9f0923eSRichard Henderson }
518b9f0923eSRichard Henderson 
519b9f0923eSRichard Henderson void QEMU_NORETURN arith_excp(CPUAlphaState *env, void *retaddr,
520b9f0923eSRichard Henderson                               int exc, uint64_t mask)
521b9f0923eSRichard Henderson {
522b9f0923eSRichard Henderson     env->trap_arg0 = exc;
523b9f0923eSRichard Henderson     env->trap_arg1 = mask;
524b9f0923eSRichard Henderson     dynamic_excp(env, retaddr, EXCP_ARITH, 0);
525b9f0923eSRichard Henderson }
526