xref: /qemu/target/microblaze/helper.c (revision 67f2d507ca444cfff993c1a05df3aaa4346a372c)
14acb54baSEdgar E. Iglesias /*
24acb54baSEdgar E. Iglesias  *  MicroBlaze helper routines.
34acb54baSEdgar E. Iglesias  *
44acb54baSEdgar E. Iglesias  *  Copyright (c) 2009 Edgar E. Iglesias <edgar.iglesias@gmail.com>
5dadc1064SPeter A. G. Crosthwaite  *  Copyright (c) 2009-2012 PetaLogix Qld Pty Ltd.
64acb54baSEdgar E. Iglesias  *
74acb54baSEdgar E. Iglesias  * This library is free software; you can redistribute it and/or
84acb54baSEdgar E. Iglesias  * modify it under the terms of the GNU Lesser General Public
94acb54baSEdgar E. Iglesias  * License as published by the Free Software Foundation; either
10ee452036SChetan Pant  * version 2.1 of the License, or (at your option) any later version.
114acb54baSEdgar E. Iglesias  *
124acb54baSEdgar E. Iglesias  * This library is distributed in the hope that it will be useful,
134acb54baSEdgar E. Iglesias  * but WITHOUT ANY WARRANTY; without even the implied warranty of
144acb54baSEdgar E. Iglesias  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
154acb54baSEdgar E. Iglesias  * Lesser General Public License for more details.
164acb54baSEdgar E. Iglesias  *
174acb54baSEdgar E. Iglesias  * You should have received a copy of the GNU Lesser General Public
188167ee88SBlue Swirl  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
194acb54baSEdgar E. Iglesias  */
204acb54baSEdgar E. Iglesias 
218fd9deceSPeter Maydell #include "qemu/osdep.h"
224acb54baSEdgar E. Iglesias #include "cpu.h"
232809e2d6SPhilippe Mathieu-Daudé #include "exec/cputlb.h"
24efe25c26SRichard Henderson #include "accel/tcg/cpu-mmu-index.h"
2574781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h"
269c2ff9cdSPierrick Bouvier #include "exec/target_page.h"
271de7afc9SPaolo Bonzini #include "qemu/host-utils.h"
28508127e2SPaolo Bonzini #include "exec/log.h"
294acb54baSEdgar E. Iglesias 
30*67f2d507SRichard Henderson 
31*67f2d507SRichard Henderson G_NORETURN
32*67f2d507SRichard Henderson static void mb_unaligned_access_internal(CPUState *cs, uint64_t addr,
33*67f2d507SRichard Henderson                                          uintptr_t retaddr)
34*67f2d507SRichard Henderson {
35*67f2d507SRichard Henderson     CPUMBState *env = cpu_env(cs);
36*67f2d507SRichard Henderson     uint32_t esr, iflags;
37*67f2d507SRichard Henderson 
38*67f2d507SRichard Henderson     /* Recover the pc and iflags from the corresponding insn_start.  */
39*67f2d507SRichard Henderson     cpu_restore_state(cs, retaddr);
40*67f2d507SRichard Henderson     iflags = env->iflags;
41*67f2d507SRichard Henderson 
42*67f2d507SRichard Henderson     qemu_log_mask(CPU_LOG_INT,
43*67f2d507SRichard Henderson                   "Unaligned access addr=0x%" PRIx64 " pc=%x iflags=%x\n",
44*67f2d507SRichard Henderson                   addr, env->pc, iflags);
45*67f2d507SRichard Henderson 
46*67f2d507SRichard Henderson     esr = ESR_EC_UNALIGNED_DATA;
47*67f2d507SRichard Henderson     if (likely(iflags & ESR_ESS_FLAG)) {
48*67f2d507SRichard Henderson         esr |= iflags & ESR_ESS_MASK;
49*67f2d507SRichard Henderson     } else {
50*67f2d507SRichard Henderson         qemu_log_mask(LOG_UNIMP, "Unaligned access without ESR_ESS_FLAG\n");
51*67f2d507SRichard Henderson     }
52*67f2d507SRichard Henderson 
53*67f2d507SRichard Henderson     env->ear = addr;
54*67f2d507SRichard Henderson     env->esr = esr;
55*67f2d507SRichard Henderson     cs->exception_index = EXCP_HW_EXCP;
56*67f2d507SRichard Henderson     cpu_loop_exit(cs);
57*67f2d507SRichard Henderson }
58*67f2d507SRichard Henderson 
59*67f2d507SRichard Henderson void mb_cpu_do_unaligned_access(CPUState *cs, vaddr addr,
60*67f2d507SRichard Henderson                                 MMUAccessType access_type,
61*67f2d507SRichard Henderson                                 int mmu_idx, uintptr_t retaddr)
62*67f2d507SRichard Henderson {
63*67f2d507SRichard Henderson     mb_unaligned_access_internal(cs, addr, retaddr);
64*67f2d507SRichard Henderson }
65*67f2d507SRichard Henderson 
66fd297732SRichard Henderson #ifndef CONFIG_USER_ONLY
6743a9ede1SJoe Komlodi static bool mb_cpu_access_is_secure(MicroBlazeCPU *cpu,
6843a9ede1SJoe Komlodi                                     MMUAccessType access_type)
6943a9ede1SJoe Komlodi {
7043a9ede1SJoe Komlodi     if (access_type == MMU_INST_FETCH) {
7143a9ede1SJoe Komlodi         return !cpu->ns_axi_ip;
7243a9ede1SJoe Komlodi     } else {
7343a9ede1SJoe Komlodi         return !cpu->ns_axi_dp;
7443a9ede1SJoe Komlodi     }
7543a9ede1SJoe Komlodi }
7643a9ede1SJoe Komlodi 
77f429d607SRichard Henderson bool mb_cpu_tlb_fill(CPUState *cs, vaddr address, int size,
78f429d607SRichard Henderson                      MMUAccessType access_type, int mmu_idx,
79f429d607SRichard Henderson                      bool probe, uintptr_t retaddr)
804acb54baSEdgar E. Iglesias {
817510454eSAndreas Färber     MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs);
827510454eSAndreas Färber     CPUMBState *env = &cpu->env;
838ce97bc1SRichard Henderson     MicroBlazeMMULookup lu;
844acb54baSEdgar E. Iglesias     unsigned int hit;
854acb54baSEdgar E. Iglesias     int prot;
8643a9ede1SJoe Komlodi     MemTxAttrs attrs = {};
8743a9ede1SJoe Komlodi 
8843a9ede1SJoe Komlodi     attrs.secure = mb_cpu_access_is_secure(cpu, access_type);
894acb54baSEdgar E. Iglesias 
90f429d607SRichard Henderson     if (mmu_idx == MMU_NOMMU_IDX) {
91f429d607SRichard Henderson         /* MMU disabled or not available.  */
92f429d607SRichard Henderson         address &= TARGET_PAGE_MASK;
9386b7c551SBALATON Zoltan         prot = PAGE_RWX;
9443a9ede1SJoe Komlodi         tlb_set_page_with_attrs(cs, address, address, attrs, prot, mmu_idx,
9543a9ede1SJoe Komlodi                                 TARGET_PAGE_SIZE);
96f429d607SRichard Henderson         return true;
97f429d607SRichard Henderson     }
984acb54baSEdgar E. Iglesias 
99de73ee1aSRichard Henderson     hit = mmu_translate(cpu, &lu, address, access_type, mmu_idx);
100f429d607SRichard Henderson     if (likely(hit)) {
101f429d607SRichard Henderson         uint32_t vaddr = address & TARGET_PAGE_MASK;
102f429d607SRichard Henderson         uint32_t paddr = lu.paddr + vaddr - lu.vaddr;
1034acb54baSEdgar E. Iglesias 
104339aaf5bSAntony Pavlov         qemu_log_mask(CPU_LOG_MMU, "MMU map mmu=%d v=%x p=%x prot=%x\n",
105339aaf5bSAntony Pavlov                       mmu_idx, vaddr, paddr, lu.prot);
10643a9ede1SJoe Komlodi         tlb_set_page_with_attrs(cs, vaddr, paddr, attrs, lu.prot, mmu_idx,
10743a9ede1SJoe Komlodi                                 TARGET_PAGE_SIZE);
108f429d607SRichard Henderson         return true;
109f429d607SRichard Henderson     }
110f429d607SRichard Henderson 
111f429d607SRichard Henderson     /* TLB miss.  */
112f429d607SRichard Henderson     if (probe) {
113f429d607SRichard Henderson         return false;
114f429d607SRichard Henderson     }
115f429d607SRichard Henderson 
116339aaf5bSAntony Pavlov     qemu_log_mask(CPU_LOG_MMU, "mmu=%d miss v=%" VADDR_PRIx "\n",
117339aaf5bSAntony Pavlov                   mmu_idx, address);
1184acb54baSEdgar E. Iglesias 
119b2e80a3cSRichard Henderson     env->ear = address;
1204acb54baSEdgar E. Iglesias     switch (lu.err) {
1214acb54baSEdgar E. Iglesias     case ERR_PROT:
12278e9caf2SRichard Henderson         env->esr = access_type == MMU_INST_FETCH ? 17 : 16;
12378e9caf2SRichard Henderson         env->esr |= (access_type == MMU_DATA_STORE) << 10;
1244acb54baSEdgar E. Iglesias         break;
1254acb54baSEdgar E. Iglesias     case ERR_MISS:
12678e9caf2SRichard Henderson         env->esr = access_type == MMU_INST_FETCH ? 19 : 18;
12778e9caf2SRichard Henderson         env->esr |= (access_type == MMU_DATA_STORE) << 10;
1284acb54baSEdgar E. Iglesias         break;
1294acb54baSEdgar E. Iglesias     default:
1304acb54baSEdgar E. Iglesias         abort();
1314acb54baSEdgar E. Iglesias     }
1324acb54baSEdgar E. Iglesias 
13327103424SAndreas Färber     if (cs->exception_index == EXCP_MMU) {
134a47dddd7SAndreas Färber         cpu_abort(cs, "recursive faults\n");
1354acb54baSEdgar E. Iglesias     }
1364acb54baSEdgar E. Iglesias 
1374acb54baSEdgar E. Iglesias     /* TLB miss.  */
13827103424SAndreas Färber     cs->exception_index = EXCP_MMU;
139f429d607SRichard Henderson     cpu_loop_exit_restore(cs, retaddr);
1404acb54baSEdgar E. Iglesias }
141f429d607SRichard Henderson 
14297a8ea5aSAndreas Färber void mb_cpu_do_interrupt(CPUState *cs)
1434acb54baSEdgar E. Iglesias {
14497a8ea5aSAndreas Färber     MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs);
14597a8ea5aSAndreas Färber     CPUMBState *env = &cpu->env;
1461074c0fbSRichard Henderson     uint32_t t, msr = mb_cpu_read_msr(env);
147a9f61458SRichard Henderson     bool set_esr;
1484acb54baSEdgar E. Iglesias 
1495225d669SStefan Weil     /* IMM flag cannot propagate across a branch and into the dslot.  */
15088e74b61SRichard Henderson     assert((env->iflags & (D_FLAG | IMM_FLAG)) != (D_FLAG | IMM_FLAG));
15188e74b61SRichard Henderson     /* BIMM flag cannot be set without D_FLAG. */
15288e74b61SRichard Henderson     assert((env->iflags & (D_FLAG | BIMM_FLAG)) != BIMM_FLAG);
15388e74b61SRichard Henderson     /* RTI flags are private to translate. */
1544acb54baSEdgar E. Iglesias     assert(!(env->iflags & (DRTI_FLAG | DRTE_FLAG | DRTB_FLAG)));
155a9f61458SRichard Henderson 
15627103424SAndreas Färber     switch (cs->exception_index) {
157cedb936bSEdgar E. Iglesias     case EXCP_HW_EXCP:
158a4bcfc33SRichard Henderson         if (!(cpu->cfg.pvr_regs[0] & PVR0_USE_EXC_MASK)) {
159a9f61458SRichard Henderson             qemu_log_mask(LOG_GUEST_ERROR,
160a9f61458SRichard Henderson                           "Exception raised on system without exceptions!\n");
161cedb936bSEdgar E. Iglesias             return;
162cedb936bSEdgar E. Iglesias         }
163cedb936bSEdgar E. Iglesias 
164a9f61458SRichard Henderson         qemu_log_mask(CPU_LOG_INT,
165a9f61458SRichard Henderson                       "INT: HWE at pc=%08x msr=%08x iflags=%x\n",
166a9f61458SRichard Henderson                       env->pc, msr, env->iflags);
167cedb936bSEdgar E. Iglesias 
168cedb936bSEdgar E. Iglesias         /* Exception breaks branch + dslot sequence?  */
169a9f61458SRichard Henderson         set_esr = true;
170a9f61458SRichard Henderson         env->esr &= ~D_FLAG;
171cedb936bSEdgar E. Iglesias         if (env->iflags & D_FLAG) {
172a9f61458SRichard Henderson             env->esr |= D_FLAG;
1736fbf78f2SRichard Henderson             env->btr = env->btarget;
174cedb936bSEdgar E. Iglesias         }
175cedb936bSEdgar E. Iglesias 
176cedb936bSEdgar E. Iglesias         /* Exception in progress. */
1771074c0fbSRichard Henderson         msr |= MSR_EIP;
178a9f61458SRichard Henderson         env->regs[17] = env->pc + 4;
17976e8187dSRichard Henderson         env->pc = cpu->cfg.base_vectors + 0x20;
180cedb936bSEdgar E. Iglesias         break;
181cedb936bSEdgar E. Iglesias 
1824acb54baSEdgar E. Iglesias     case EXCP_MMU:
183e3f8d192SRichard Henderson         qemu_log_mask(CPU_LOG_INT,
184a9f61458SRichard Henderson                       "INT: MMU at pc=%08x msr=%08x "
185a9f61458SRichard Henderson                       "ear=%" PRIx64 " iflags=%x\n",
186a9f61458SRichard Henderson                       env->pc, msr, env->ear, env->iflags);
187e3f8d192SRichard Henderson 
1884acb54baSEdgar E. Iglesias         /* Exception breaks branch + dslot sequence? */
189a9f61458SRichard Henderson         set_esr = true;
190a9f61458SRichard Henderson         env->esr &= ~D_FLAG;
1914acb54baSEdgar E. Iglesias         if (env->iflags & D_FLAG) {
192a9f61458SRichard Henderson             env->esr |= D_FLAG;
1936fbf78f2SRichard Henderson             env->btr = env->btarget;
1944acb54baSEdgar E. Iglesias             /* Reexecute the branch. */
195a9f61458SRichard Henderson             env->regs[17] = env->pc - (env->iflags & BIMM_FLAG ? 8 : 4);
1964acb54baSEdgar E. Iglesias         } else if (env->iflags & IMM_FLAG) {
197a9f61458SRichard Henderson             /* Reexecute the imm. */
198a9f61458SRichard Henderson             env->regs[17] = env->pc - 4;
199a9f61458SRichard Henderson         } else {
200a9f61458SRichard Henderson             env->regs[17] = env->pc;
2014acb54baSEdgar E. Iglesias         }
2024acb54baSEdgar E. Iglesias 
2034acb54baSEdgar E. Iglesias         /* Exception in progress. */
2041074c0fbSRichard Henderson         msr |= MSR_EIP;
20576e8187dSRichard Henderson         env->pc = cpu->cfg.base_vectors + 0x20;
2064acb54baSEdgar E. Iglesias         break;
2074acb54baSEdgar E. Iglesias 
2084acb54baSEdgar E. Iglesias     case EXCP_IRQ:
2091074c0fbSRichard Henderson         assert(!(msr & (MSR_EIP | MSR_BIP)));
2101074c0fbSRichard Henderson         assert(msr & MSR_IE);
21188e74b61SRichard Henderson         assert(!(env->iflags & (D_FLAG | IMM_FLAG)));
2124acb54baSEdgar E. Iglesias 
2134acb54baSEdgar E. Iglesias         qemu_log_mask(CPU_LOG_INT,
214a9f61458SRichard Henderson                       "INT: DEV at pc=%08x msr=%08x iflags=%x\n",
215a9f61458SRichard Henderson                       env->pc, msr, env->iflags);
216a9f61458SRichard Henderson         set_esr = false;
2174acb54baSEdgar E. Iglesias 
218a9f61458SRichard Henderson         /* Disable interrupts.  */
219a9f61458SRichard Henderson         msr &= ~MSR_IE;
22076e8187dSRichard Henderson         env->regs[14] = env->pc;
22176e8187dSRichard Henderson         env->pc = cpu->cfg.base_vectors + 0x10;
2224acb54baSEdgar E. Iglesias         break;
2234acb54baSEdgar E. Iglesias 
2244acb54baSEdgar E. Iglesias     case EXCP_HW_BREAK:
22588e74b61SRichard Henderson         assert(!(env->iflags & (D_FLAG | IMM_FLAG)));
22688e74b61SRichard Henderson 
2274acb54baSEdgar E. Iglesias         qemu_log_mask(CPU_LOG_INT,
228a9f61458SRichard Henderson                       "INT: BRK at pc=%08x msr=%08x iflags=%x\n",
229a9f61458SRichard Henderson                       env->pc, msr, env->iflags);
230a9f61458SRichard Henderson         set_esr = false;
231a9f61458SRichard Henderson 
232a9f61458SRichard Henderson         /* Break in progress. */
2331074c0fbSRichard Henderson         msr |= MSR_BIP;
23476e8187dSRichard Henderson         env->regs[16] = env->pc;
23576e8187dSRichard Henderson         env->pc = cpu->cfg.base_vectors + 0x18;
2364acb54baSEdgar E. Iglesias         break;
237a9f61458SRichard Henderson 
2384acb54baSEdgar E. Iglesias     default:
239a9f61458SRichard Henderson         cpu_abort(cs, "unhandled exception type=%d\n", cs->exception_index);
240a9f61458SRichard Henderson         /* not reached */
241a9f61458SRichard Henderson     }
242a9f61458SRichard Henderson 
243a9f61458SRichard Henderson     /* Save previous mode, disable mmu, disable user-mode. */
244a9f61458SRichard Henderson     t = (msr & (MSR_VM | MSR_UM)) << 1;
245a9f61458SRichard Henderson     msr &= ~(MSR_VMS | MSR_UMS | MSR_VM | MSR_UM);
246a9f61458SRichard Henderson     msr |= t;
247a9f61458SRichard Henderson     mb_cpu_write_msr(env, msr);
248a9f61458SRichard Henderson 
249a9f61458SRichard Henderson     env->res_addr = RES_ADDR_NONE;
250a9f61458SRichard Henderson     env->iflags = 0;
251a9f61458SRichard Henderson 
252a9f61458SRichard Henderson     if (!set_esr) {
253a9f61458SRichard Henderson         qemu_log_mask(CPU_LOG_INT,
254a9f61458SRichard Henderson                       "         to pc=%08x msr=%08x\n", env->pc, msr);
255a9f61458SRichard Henderson     } else if (env->esr & D_FLAG) {
256a9f61458SRichard Henderson         qemu_log_mask(CPU_LOG_INT,
257a9f61458SRichard Henderson                       "         to pc=%08x msr=%08x esr=%04x btr=%08x\n",
258a9f61458SRichard Henderson                       env->pc, msr, env->esr, env->btr);
259a9f61458SRichard Henderson     } else {
260a9f61458SRichard Henderson         qemu_log_mask(CPU_LOG_INT,
261a9f61458SRichard Henderson                       "         to pc=%08x msr=%08x esr=%04x\n",
262a9f61458SRichard Henderson                       env->pc, msr, env->esr);
2634acb54baSEdgar E. Iglesias     }
2644acb54baSEdgar E. Iglesias }
2654acb54baSEdgar E. Iglesias 
26643a9ede1SJoe Komlodi hwaddr mb_cpu_get_phys_page_attrs_debug(CPUState *cs, vaddr addr,
26743a9ede1SJoe Komlodi                                         MemTxAttrs *attrs)
2684acb54baSEdgar E. Iglesias {
26900b941e5SAndreas Färber     MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs);
2704acb54baSEdgar E. Iglesias     target_ulong vaddr, paddr = 0;
2718ce97bc1SRichard Henderson     MicroBlazeMMULookup lu;
2723b916140SRichard Henderson     int mmu_idx = cpu_mmu_index(cs, false);
2734acb54baSEdgar E. Iglesias     unsigned int hit;
2744acb54baSEdgar E. Iglesias 
27543a9ede1SJoe Komlodi     /* Caller doesn't initialize */
27643a9ede1SJoe Komlodi     *attrs = (MemTxAttrs) {};
27743a9ede1SJoe Komlodi     attrs->secure = mb_cpu_access_is_secure(cpu, MMU_DATA_LOAD);
27843a9ede1SJoe Komlodi 
279d10367e0SEdgar E. Iglesias     if (mmu_idx != MMU_NOMMU_IDX) {
280de73ee1aSRichard Henderson         hit = mmu_translate(cpu, &lu, addr, 0, 0);
2814acb54baSEdgar E. Iglesias         if (hit) {
2824acb54baSEdgar E. Iglesias             vaddr = addr & TARGET_PAGE_MASK;
2834acb54baSEdgar E. Iglesias             paddr = lu.paddr + vaddr - lu.vaddr;
2844acb54baSEdgar E. Iglesias         } else
2854acb54baSEdgar E. Iglesias             paddr = 0; /* ???.  */
2864acb54baSEdgar E. Iglesias     } else
2874acb54baSEdgar E. Iglesias         paddr = addr & TARGET_PAGE_MASK;
2884acb54baSEdgar E. Iglesias 
2894acb54baSEdgar E. Iglesias     return paddr;
2904acb54baSEdgar E. Iglesias }
29129cd33d3SRichard Henderson 
29229cd33d3SRichard Henderson bool mb_cpu_exec_interrupt(CPUState *cs, int interrupt_request)
29329cd33d3SRichard Henderson {
294da953643SPhilippe Mathieu-Daudé     CPUMBState *env = cpu_env(cs);
29529cd33d3SRichard Henderson 
29629cd33d3SRichard Henderson     if ((interrupt_request & CPU_INTERRUPT_HARD)
2972e5282caSRichard Henderson         && (env->msr & MSR_IE)
2982e5282caSRichard Henderson         && !(env->msr & (MSR_EIP | MSR_BIP))
29929cd33d3SRichard Henderson         && !(env->iflags & (D_FLAG | IMM_FLAG))) {
30029cd33d3SRichard Henderson         cs->exception_index = EXCP_IRQ;
30129cd33d3SRichard Henderson         mb_cpu_do_interrupt(cs);
30229cd33d3SRichard Henderson         return true;
30329cd33d3SRichard Henderson     }
30429cd33d3SRichard Henderson     return false;
30529cd33d3SRichard Henderson }
306ab0c8d0fSRichard Henderson 
307eb3ef313SPhilippe Mathieu-Daudé #endif /* !CONFIG_USER_ONLY */
308