10c3e702aSMichael Clark /*
20c3e702aSMichael Clark * RISC-V Emulation Helpers for QEMU.
30c3e702aSMichael Clark *
40c3e702aSMichael Clark * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
50c3e702aSMichael Clark * Copyright (c) 2017-2018 SiFive, Inc.
6a939c500SChristoph Muellner * Copyright (c) 2022 VRULL GmbH
70c3e702aSMichael Clark *
80c3e702aSMichael Clark * This program is free software; you can redistribute it and/or modify it
90c3e702aSMichael Clark * under the terms and conditions of the GNU General Public License,
100c3e702aSMichael Clark * version 2 or later, as published by the Free Software Foundation.
110c3e702aSMichael Clark *
120c3e702aSMichael Clark * This program is distributed in the hope it will be useful, but WITHOUT
130c3e702aSMichael Clark * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
140c3e702aSMichael Clark * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
150c3e702aSMichael Clark * more details.
160c3e702aSMichael Clark *
170c3e702aSMichael Clark * You should have received a copy of the GNU General Public License along with
180c3e702aSMichael Clark * this program. If not, see <http://www.gnu.org/licenses/>.
190c3e702aSMichael Clark */
200c3e702aSMichael Clark
210c3e702aSMichael Clark #include "qemu/osdep.h"
220c3e702aSMichael Clark #include "cpu.h"
23c8f8a995SFei Wu #include "internals.h"
240c3e702aSMichael Clark #include "exec/exec-all.h"
2509b07f28SPhilippe Mathieu-Daudé #include "exec/cpu_ldst.h"
260c3e702aSMichael Clark #include "exec/helper-proto.h"
270c3e702aSMichael Clark
280c3e702aSMichael Clark /* Exceptions processing helpers */
riscv_raise_exception(CPURISCVState * env,uint32_t exception,uintptr_t pc)298905770bSMarc-André Lureau G_NORETURN void riscv_raise_exception(CPURISCVState *env,
300c3e702aSMichael Clark uint32_t exception, uintptr_t pc)
310c3e702aSMichael Clark {
323109cd98SRichard Henderson CPUState *cs = env_cpu(env);
330c3e702aSMichael Clark cs->exception_index = exception;
340c3e702aSMichael Clark cpu_loop_exit_restore(cs, pc);
350c3e702aSMichael Clark }
360c3e702aSMichael Clark
helper_raise_exception(CPURISCVState * env,uint32_t exception)370c3e702aSMichael Clark void helper_raise_exception(CPURISCVState *env, uint32_t exception)
380c3e702aSMichael Clark {
39fb738839SMichael Clark riscv_raise_exception(env, exception, 0);
400c3e702aSMichael Clark }
410c3e702aSMichael Clark
helper_csrr(CPURISCVState * env,int csr)42a974879bSRichard Henderson target_ulong helper_csrr(CPURISCVState *env, int csr)
430c3e702aSMichael Clark {
4477442380SWeiwei Li /*
4577442380SWeiwei Li * The seed CSR must be accessed with a read-write instruction. A
4677442380SWeiwei Li * read-only instruction such as CSRRS/CSRRC with rs1=x0 or CSRRSI/
4777442380SWeiwei Li * CSRRCI with uimm=0 will raise an illegal instruction exception.
4877442380SWeiwei Li */
4977442380SWeiwei Li if (csr == CSR_SEED) {
5077442380SWeiwei Li riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
5177442380SWeiwei Li }
5277442380SWeiwei Li
53c7b95171SMichael Clark target_ulong val = 0;
5438c83e8dSYu-Ming Chang RISCVException ret = riscv_csrr(env, csr, &val);
5557cb2083SAlistair Francis
56533c91e8SAlistair Francis if (ret != RISCV_EXCP_NONE) {
57533c91e8SAlistair Francis riscv_raise_exception(env, ret, GETPC());
58c7b95171SMichael Clark }
59c7b95171SMichael Clark return val;
600c3e702aSMichael Clark }
610c3e702aSMichael Clark
helper_csrw(CPURISCVState * env,int csr,target_ulong src)62a974879bSRichard Henderson void helper_csrw(CPURISCVState *env, int csr, target_ulong src)
630c3e702aSMichael Clark {
6483b519b8SLIU Zhiwei target_ulong mask = env->xl == MXL_RV32 ? UINT32_MAX : (target_ulong)-1;
6583b519b8SLIU Zhiwei RISCVException ret = riscv_csrrw(env, csr, NULL, src, mask);
6657cb2083SAlistair Francis
67533c91e8SAlistair Francis if (ret != RISCV_EXCP_NONE) {
68533c91e8SAlistair Francis riscv_raise_exception(env, ret, GETPC());
690c3e702aSMichael Clark }
700c3e702aSMichael Clark }
710c3e702aSMichael Clark
helper_csrrw(CPURISCVState * env,int csr,target_ulong src,target_ulong write_mask)72a974879bSRichard Henderson target_ulong helper_csrrw(CPURISCVState *env, int csr,
73a974879bSRichard Henderson target_ulong src, target_ulong write_mask)
740c3e702aSMichael Clark {
75c7b95171SMichael Clark target_ulong val = 0;
76a974879bSRichard Henderson RISCVException ret = riscv_csrrw(env, csr, &val, src, write_mask);
7757cb2083SAlistair Francis
78533c91e8SAlistair Francis if (ret != RISCV_EXCP_NONE) {
79533c91e8SAlistair Francis riscv_raise_exception(env, ret, GETPC());
800c3e702aSMichael Clark }
81c7b95171SMichael Clark return val;
820c3e702aSMichael Clark }
830c3e702aSMichael Clark
helper_csrr_i128(CPURISCVState * env,int csr)84961738ffSFrédéric Pétrot target_ulong helper_csrr_i128(CPURISCVState *env, int csr)
85961738ffSFrédéric Pétrot {
86961738ffSFrédéric Pétrot Int128 rv = int128_zero();
8738c83e8dSYu-Ming Chang RISCVException ret = riscv_csrr_i128(env, csr, &rv);
88961738ffSFrédéric Pétrot
89961738ffSFrédéric Pétrot if (ret != RISCV_EXCP_NONE) {
90961738ffSFrédéric Pétrot riscv_raise_exception(env, ret, GETPC());
91961738ffSFrédéric Pétrot }
92961738ffSFrédéric Pétrot
93961738ffSFrédéric Pétrot env->retxh = int128_gethi(rv);
94961738ffSFrédéric Pétrot return int128_getlo(rv);
95961738ffSFrédéric Pétrot }
96961738ffSFrédéric Pétrot
helper_csrw_i128(CPURISCVState * env,int csr,target_ulong srcl,target_ulong srch)97961738ffSFrédéric Pétrot void helper_csrw_i128(CPURISCVState *env, int csr,
98961738ffSFrédéric Pétrot target_ulong srcl, target_ulong srch)
99961738ffSFrédéric Pétrot {
100961738ffSFrédéric Pétrot RISCVException ret = riscv_csrrw_i128(env, csr, NULL,
101961738ffSFrédéric Pétrot int128_make128(srcl, srch),
102961738ffSFrédéric Pétrot UINT128_MAX);
103961738ffSFrédéric Pétrot
104961738ffSFrédéric Pétrot if (ret != RISCV_EXCP_NONE) {
105961738ffSFrédéric Pétrot riscv_raise_exception(env, ret, GETPC());
106961738ffSFrédéric Pétrot }
107961738ffSFrédéric Pétrot }
108961738ffSFrédéric Pétrot
helper_csrrw_i128(CPURISCVState * env,int csr,target_ulong srcl,target_ulong srch,target_ulong maskl,target_ulong maskh)109961738ffSFrédéric Pétrot target_ulong helper_csrrw_i128(CPURISCVState *env, int csr,
110961738ffSFrédéric Pétrot target_ulong srcl, target_ulong srch,
111961738ffSFrédéric Pétrot target_ulong maskl, target_ulong maskh)
112961738ffSFrédéric Pétrot {
113961738ffSFrédéric Pétrot Int128 rv = int128_zero();
114961738ffSFrédéric Pétrot RISCVException ret = riscv_csrrw_i128(env, csr, &rv,
115961738ffSFrédéric Pétrot int128_make128(srcl, srch),
116961738ffSFrédéric Pétrot int128_make128(maskl, maskh));
117961738ffSFrédéric Pétrot
118961738ffSFrédéric Pétrot if (ret != RISCV_EXCP_NONE) {
119961738ffSFrédéric Pétrot riscv_raise_exception(env, ret, GETPC());
120961738ffSFrédéric Pétrot }
121961738ffSFrédéric Pétrot
122961738ffSFrédéric Pétrot env->retxh = int128_gethi(rv);
123961738ffSFrédéric Pétrot return int128_getlo(rv);
124961738ffSFrédéric Pétrot }
125961738ffSFrédéric Pétrot
126a939c500SChristoph Muellner
127a939c500SChristoph Muellner /*
128a939c500SChristoph Muellner * check_zicbo_envcfg
129a939c500SChristoph Muellner *
130a939c500SChristoph Muellner * Raise virtual exceptions and illegal instruction exceptions for
131a939c500SChristoph Muellner * Zicbo[mz] instructions based on the settings of [mhs]envcfg as
132a939c500SChristoph Muellner * specified in section 2.5.1 of the CMO specification.
133a939c500SChristoph Muellner */
check_zicbo_envcfg(CPURISCVState * env,target_ulong envbits,uintptr_t ra)134a939c500SChristoph Muellner static void check_zicbo_envcfg(CPURISCVState *env, target_ulong envbits,
135a939c500SChristoph Muellner uintptr_t ra)
136a939c500SChristoph Muellner {
137a939c500SChristoph Muellner #ifndef CONFIG_USER_ONLY
138a939c500SChristoph Muellner if ((env->priv < PRV_M) && !get_field(env->menvcfg, envbits)) {
139a939c500SChristoph Muellner riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
140a939c500SChristoph Muellner }
141a939c500SChristoph Muellner
14238256529SWeiwei Li if (env->virt_enabled &&
14344b8f74bSWeiwei Li (((env->priv <= PRV_S) && !get_field(env->henvcfg, envbits)) ||
144a939c500SChristoph Muellner ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)))) {
145a939c500SChristoph Muellner riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
146a939c500SChristoph Muellner }
147a939c500SChristoph Muellner
148a939c500SChristoph Muellner if ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)) {
149a939c500SChristoph Muellner riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
150a939c500SChristoph Muellner }
151a939c500SChristoph Muellner #endif
152a939c500SChristoph Muellner }
153a939c500SChristoph Muellner
helper_cbo_zero(CPURISCVState * env,target_ulong address)154a939c500SChristoph Muellner void helper_cbo_zero(CPURISCVState *env, target_ulong address)
155a939c500SChristoph Muellner {
156a939c500SChristoph Muellner RISCVCPU *cpu = env_archcpu(env);
157a939c500SChristoph Muellner uint16_t cbozlen = cpu->cfg.cboz_blocksize;
158d9996d09SRichard Henderson int mmu_idx = riscv_env_mmu_index(env, false);
159a939c500SChristoph Muellner uintptr_t ra = GETPC();
160a939c500SChristoph Muellner void *mem;
161a939c500SChristoph Muellner
162a939c500SChristoph Muellner check_zicbo_envcfg(env, MENVCFG_CBZE, ra);
163a939c500SChristoph Muellner
164a939c500SChristoph Muellner /* Mask off low-bits to align-down to the cache-block. */
165a939c500SChristoph Muellner address &= ~(cbozlen - 1);
166a939c500SChristoph Muellner
167a939c500SChristoph Muellner /*
168a939c500SChristoph Muellner * cbo.zero requires MMU_DATA_STORE access. Do a probe_write()
169a939c500SChristoph Muellner * to raise any exceptions, including PMP.
170a939c500SChristoph Muellner */
171a939c500SChristoph Muellner mem = probe_write(env, address, cbozlen, mmu_idx, ra);
172a939c500SChristoph Muellner
173a939c500SChristoph Muellner if (likely(mem)) {
174a939c500SChristoph Muellner memset(mem, 0, cbozlen);
175a939c500SChristoph Muellner } else {
176a939c500SChristoph Muellner /*
177a939c500SChristoph Muellner * This means that we're dealing with an I/O page. Section 4.2
178a939c500SChristoph Muellner * of cmobase v1.0.1 says:
179a939c500SChristoph Muellner *
180a939c500SChristoph Muellner * "Cache-block zero instructions store zeros independently
181a939c500SChristoph Muellner * of whether data from the underlying memory locations are
182a939c500SChristoph Muellner * cacheable."
183a939c500SChristoph Muellner *
184a939c500SChristoph Muellner * Write zeros in address + cbozlen regardless of not being
185a939c500SChristoph Muellner * a RAM page.
186a939c500SChristoph Muellner */
187a939c500SChristoph Muellner for (int i = 0; i < cbozlen; i++) {
188a939c500SChristoph Muellner cpu_stb_mmuidx_ra(env, address + i, 0, mmu_idx, ra);
189a939c500SChristoph Muellner }
190a939c500SChristoph Muellner }
191a939c500SChristoph Muellner }
192a939c500SChristoph Muellner
193e05da09bSChristoph Muellner /*
194e05da09bSChristoph Muellner * check_zicbom_access
195e05da09bSChristoph Muellner *
196e05da09bSChristoph Muellner * Check access permissions (LOAD, STORE or FETCH as specified in
197e05da09bSChristoph Muellner * section 2.5.2 of the CMO specification) for Zicbom, raising
198e05da09bSChristoph Muellner * either store page-fault (non-virtualized) or store guest-page
199e05da09bSChristoph Muellner * fault (virtualized).
200e05da09bSChristoph Muellner */
check_zicbom_access(CPURISCVState * env,target_ulong address,uintptr_t ra)201e05da09bSChristoph Muellner static void check_zicbom_access(CPURISCVState *env,
202e05da09bSChristoph Muellner target_ulong address,
203e05da09bSChristoph Muellner uintptr_t ra)
204e05da09bSChristoph Muellner {
205e05da09bSChristoph Muellner RISCVCPU *cpu = env_archcpu(env);
206d9996d09SRichard Henderson int mmu_idx = riscv_env_mmu_index(env, false);
207e05da09bSChristoph Muellner uint16_t cbomlen = cpu->cfg.cbom_blocksize;
208e05da09bSChristoph Muellner void *phost;
209e05da09bSChristoph Muellner int ret;
210e05da09bSChristoph Muellner
211e05da09bSChristoph Muellner /* Mask off low-bits to align-down to the cache-block. */
212e05da09bSChristoph Muellner address &= ~(cbomlen - 1);
213e05da09bSChristoph Muellner
214e05da09bSChristoph Muellner /*
215e05da09bSChristoph Muellner * Section 2.5.2 of cmobase v1.0.1:
216e05da09bSChristoph Muellner *
217e05da09bSChristoph Muellner * "A cache-block management instruction is permitted to
218e05da09bSChristoph Muellner * access the specified cache block whenever a load instruction
219e05da09bSChristoph Muellner * or store instruction is permitted to access the corresponding
220e05da09bSChristoph Muellner * physical addresses. If neither a load instruction nor store
221e05da09bSChristoph Muellner * instruction is permitted to access the physical addresses,
222e05da09bSChristoph Muellner * but an instruction fetch is permitted to access the physical
223e05da09bSChristoph Muellner * addresses, whether a cache-block management instruction is
224e05da09bSChristoph Muellner * permitted to access the cache block is UNSPECIFIED."
225e05da09bSChristoph Muellner */
226e05da09bSChristoph Muellner ret = probe_access_flags(env, address, cbomlen, MMU_DATA_LOAD,
227e05da09bSChristoph Muellner mmu_idx, true, &phost, ra);
228e05da09bSChristoph Muellner if (ret != TLB_INVALID_MASK) {
229e05da09bSChristoph Muellner /* Success: readable */
230e05da09bSChristoph Muellner return;
231e05da09bSChristoph Muellner }
232e05da09bSChristoph Muellner
233e05da09bSChristoph Muellner /*
234e05da09bSChristoph Muellner * Since not readable, must be writable. On failure, store
235e05da09bSChristoph Muellner * fault/store guest amo fault will be raised by
236e05da09bSChristoph Muellner * riscv_cpu_tlb_fill(). PMP exceptions will be caught
237e05da09bSChristoph Muellner * there as well.
238e05da09bSChristoph Muellner */
239e05da09bSChristoph Muellner probe_write(env, address, cbomlen, mmu_idx, ra);
240e05da09bSChristoph Muellner }
241e05da09bSChristoph Muellner
helper_cbo_clean_flush(CPURISCVState * env,target_ulong address)242e05da09bSChristoph Muellner void helper_cbo_clean_flush(CPURISCVState *env, target_ulong address)
243e05da09bSChristoph Muellner {
244e05da09bSChristoph Muellner uintptr_t ra = GETPC();
245e05da09bSChristoph Muellner check_zicbo_envcfg(env, MENVCFG_CBCFE, ra);
246e05da09bSChristoph Muellner check_zicbom_access(env, address, ra);
247e05da09bSChristoph Muellner
248e05da09bSChristoph Muellner /* We don't emulate the cache-hierarchy, so we're done. */
249e05da09bSChristoph Muellner }
250e05da09bSChristoph Muellner
helper_cbo_inval(CPURISCVState * env,target_ulong address)251e05da09bSChristoph Muellner void helper_cbo_inval(CPURISCVState *env, target_ulong address)
252e05da09bSChristoph Muellner {
253e05da09bSChristoph Muellner uintptr_t ra = GETPC();
254e05da09bSChristoph Muellner check_zicbo_envcfg(env, MENVCFG_CBIE, ra);
255e05da09bSChristoph Muellner check_zicbom_access(env, address, ra);
256e05da09bSChristoph Muellner
257e05da09bSChristoph Muellner /* We don't emulate the cache-hierarchy, so we're done. */
258e05da09bSChristoph Muellner }
259e05da09bSChristoph Muellner
2600c3e702aSMichael Clark #ifndef CONFIG_USER_ONLY
2610c3e702aSMichael Clark
helper_sret(CPURISCVState * env)262b655dc7cSLIU Zhiwei target_ulong helper_sret(CPURISCVState *env)
2630c3e702aSMichael Clark {
264284d697cSYifei Jiang uint64_t mstatus;
26568c05fb5SRajnesh Kanwal target_ulong prev_priv, prev_virt = env->virt_enabled;
266e3fba4baSAlistair Francis
2670c3e702aSMichael Clark if (!(env->priv >= PRV_S)) {
268fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2690c3e702aSMichael Clark }
2700c3e702aSMichael Clark
2710c3e702aSMichael Clark target_ulong retpc = env->sepc;
2720c3e702aSMichael Clark if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
273fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
2740c3e702aSMichael Clark }
2750c3e702aSMichael Clark
2761a9540d1SAlistair Francis if (get_field(env->mstatus, MSTATUS_TSR) && !(env->priv >= PRV_M)) {
277fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2787f2b5ff1SMichael Clark }
2797f2b5ff1SMichael Clark
28038256529SWeiwei Li if (env->virt_enabled && get_field(env->hstatus, HSTATUS_VTSR)) {
281e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
282e39a8320SAlistair Francis }
283e39a8320SAlistair Francis
284e3fba4baSAlistair Francis mstatus = env->mstatus;
2852bfec53bSBin Meng prev_priv = get_field(mstatus, MSTATUS_SPP);
2862bfec53bSBin Meng mstatus = set_field(mstatus, MSTATUS_SIE,
2872bfec53bSBin Meng get_field(mstatus, MSTATUS_SPIE));
2882bfec53bSBin Meng mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
2892bfec53bSBin Meng mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
2900ff430a5SBin Meng if (env->priv_ver >= PRIV_VERSION_1_12_0) {
2910ff430a5SBin Meng mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
2920ff430a5SBin Meng }
2932bfec53bSBin Meng env->mstatus = mstatus;
294e3fba4baSAlistair Francis
29538256529SWeiwei Li if (riscv_has_ext(env, RVH) && !env->virt_enabled) {
296e3fba4baSAlistair Francis /* We support Hypervisor extensions and virtulisation is disabled */
297e3fba4baSAlistair Francis target_ulong hstatus = env->hstatus;
298e3fba4baSAlistair Francis
299e3fba4baSAlistair Francis prev_virt = get_field(hstatus, HSTATUS_SPV);
300e3fba4baSAlistair Francis
301f2d5850fSAlistair Francis hstatus = set_field(hstatus, HSTATUS_SPV, 0);
302e3fba4baSAlistair Francis
303e3fba4baSAlistair Francis env->hstatus = hstatus;
304e3fba4baSAlistair Francis
305e3fba4baSAlistair Francis if (prev_virt) {
306e3fba4baSAlistair Francis riscv_cpu_swap_hypervisor_regs(env);
307e3fba4baSAlistair Francis }
308e3fba4baSAlistair Francis }
309e3fba4baSAlistair Francis
31068c05fb5SRajnesh Kanwal riscv_cpu_set_mode(env, prev_priv, prev_virt);
3110c3e702aSMichael Clark
312*53309be1SDeepak Gupta /*
313*53309be1SDeepak Gupta * If forward cfi enabled for new priv, restore elp status
314*53309be1SDeepak Gupta * and clear spelp in mstatus
315*53309be1SDeepak Gupta */
316*53309be1SDeepak Gupta if (cpu_get_fcfien(env)) {
317*53309be1SDeepak Gupta env->elp = get_field(env->mstatus, MSTATUS_SPELP);
318*53309be1SDeepak Gupta }
319*53309be1SDeepak Gupta env->mstatus = set_field(env->mstatus, MSTATUS_SPELP, 0);
320*53309be1SDeepak Gupta
3210c3e702aSMichael Clark return retpc;
3220c3e702aSMichael Clark }
3230c3e702aSMichael Clark
helper_mret(CPURISCVState * env)324b655dc7cSLIU Zhiwei target_ulong helper_mret(CPURISCVState *env)
3250c3e702aSMichael Clark {
3260c3e702aSMichael Clark if (!(env->priv >= PRV_M)) {
327fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
3280c3e702aSMichael Clark }
3290c3e702aSMichael Clark
3300c3e702aSMichael Clark target_ulong retpc = env->mepc;
3310c3e702aSMichael Clark if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
332fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
3330c3e702aSMichael Clark }
3340c3e702aSMichael Clark
335284d697cSYifei Jiang uint64_t mstatus = env->mstatus;
3360c3e702aSMichael Clark target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
337d102f19aSAtish Patra
3383fe40ef5SDaniel Henrique Barboza if (riscv_cpu_cfg(env)->pmp &&
3390fbb5d2dSNikita Shubin !pmp_get_num_rules(env) && (prev_priv != PRV_M)) {
3404c48aad1SBin Meng riscv_raise_exception(env, RISCV_EXCP_INST_ACCESS_FAULT, GETPC());
341d102f19aSAtish Patra }
342d102f19aSAtish Patra
343869d76f2SWeiwei Li target_ulong prev_virt = get_field(env->mstatus, MSTATUS_MPV) &&
344869d76f2SWeiwei Li (prev_priv != PRV_M);
3451a9540d1SAlistair Francis mstatus = set_field(mstatus, MSTATUS_MIE,
3460c3e702aSMichael Clark get_field(mstatus, MSTATUS_MPIE));
347a37f21c2SYiting Wang mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
34804803c3dSWeiwei Li mstatus = set_field(mstatus, MSTATUS_MPP,
34904803c3dSWeiwei Li riscv_has_ext(env, RVU) ? PRV_U : PRV_M);
350e3fba4baSAlistair Francis mstatus = set_field(mstatus, MSTATUS_MPV, 0);
3510ff430a5SBin Meng if ((env->priv_ver >= PRIV_VERSION_1_12_0) && (prev_priv != PRV_M)) {
3520ff430a5SBin Meng mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
3530ff430a5SBin Meng }
354c7b95171SMichael Clark env->mstatus = mstatus;
355e3fba4baSAlistair Francis
35668c05fb5SRajnesh Kanwal if (riscv_has_ext(env, RVH) && prev_virt) {
357e3fba4baSAlistair Francis riscv_cpu_swap_hypervisor_regs(env);
358e3fba4baSAlistair Francis }
359e3fba4baSAlistair Francis
36068c05fb5SRajnesh Kanwal riscv_cpu_set_mode(env, prev_priv, prev_virt);
361*53309be1SDeepak Gupta /*
362*53309be1SDeepak Gupta * If forward cfi enabled for new priv, restore elp status
363*53309be1SDeepak Gupta * and clear mpelp in mstatus
364*53309be1SDeepak Gupta */
365*53309be1SDeepak Gupta if (cpu_get_fcfien(env)) {
366*53309be1SDeepak Gupta env->elp = get_field(env->mstatus, MSTATUS_MPELP);
367*53309be1SDeepak Gupta }
368*53309be1SDeepak Gupta env->mstatus = set_field(env->mstatus, MSTATUS_MPELP, 0);
3690c3e702aSMichael Clark
3700c3e702aSMichael Clark return retpc;
3710c3e702aSMichael Clark }
3720c3e702aSMichael Clark
helper_wfi(CPURISCVState * env)3730c3e702aSMichael Clark void helper_wfi(CPURISCVState *env)
3740c3e702aSMichael Clark {
3753109cd98SRichard Henderson CPUState *cs = env_cpu(env);
376719f0f60SJose Martins bool rvs = riscv_has_ext(env, RVS);
377719f0f60SJose Martins bool prv_u = env->priv == PRV_U;
378719f0f60SJose Martins bool prv_s = env->priv == PRV_S;
3790c3e702aSMichael Clark
380719f0f60SJose Martins if (((prv_s || (!rvs && prv_u)) && get_field(env->mstatus, MSTATUS_TW)) ||
38138256529SWeiwei Li (rvs && prv_u && !env->virt_enabled)) {
382719f0f60SJose Martins riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
383c45eff30SWeiwei Li } else if (env->virt_enabled &&
384c45eff30SWeiwei Li (prv_u || (prv_s && get_field(env->hstatus, HSTATUS_VTW)))) {
385e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
3867f2b5ff1SMichael Clark } else {
3870c3e702aSMichael Clark cs->halted = 1;
3880c3e702aSMichael Clark cs->exception_index = EXCP_HLT;
3890c3e702aSMichael Clark cpu_loop_exit(cs);
3900c3e702aSMichael Clark }
3917f2b5ff1SMichael Clark }
3920c3e702aSMichael Clark
helper_wrs_nto(CPURISCVState * env)393b62e0ce7SAndrew Jones void helper_wrs_nto(CPURISCVState *env)
394b62e0ce7SAndrew Jones {
395b62e0ce7SAndrew Jones if (env->virt_enabled && (env->priv == PRV_S || env->priv == PRV_U) &&
396b62e0ce7SAndrew Jones get_field(env->hstatus, HSTATUS_VTW) &&
397b62e0ce7SAndrew Jones !get_field(env->mstatus, MSTATUS_TW)) {
398b62e0ce7SAndrew Jones riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
399b62e0ce7SAndrew Jones } else if (env->priv != PRV_M && get_field(env->mstatus, MSTATUS_TW)) {
400b62e0ce7SAndrew Jones riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
401b62e0ce7SAndrew Jones }
402b62e0ce7SAndrew Jones }
403b62e0ce7SAndrew Jones
helper_tlb_flush(CPURISCVState * env)4040c3e702aSMichael Clark void helper_tlb_flush(CPURISCVState *env)
4050c3e702aSMichael Clark {
4063109cd98SRichard Henderson CPUState *cs = env_cpu(env);
407d6db7c97SYi Chen if (!env->virt_enabled &&
408d6db7c97SYi Chen (env->priv == PRV_U ||
409d6db7c97SYi Chen (env->priv == PRV_S && get_field(env->mstatus, MSTATUS_TVM)))) {
410fb738839SMichael Clark riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
411d6db7c97SYi Chen } else if (env->virt_enabled &&
412d6db7c97SYi Chen (env->priv == PRV_U || get_field(env->hstatus, HSTATUS_VTVM))) {
413e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
4147f2b5ff1SMichael Clark } else {
4150c3e702aSMichael Clark tlb_flush(cs);
4160c3e702aSMichael Clark }
4177f2b5ff1SMichael Clark }
4180c3e702aSMichael Clark
helper_tlb_flush_all(CPURISCVState * env)419134c3ffaSChristoph Müllner void helper_tlb_flush_all(CPURISCVState *env)
420134c3ffaSChristoph Müllner {
421134c3ffaSChristoph Müllner CPUState *cs = env_cpu(env);
422134c3ffaSChristoph Müllner tlb_flush_all_cpus_synced(cs);
423134c3ffaSChristoph Müllner }
424134c3ffaSChristoph Müllner
helper_hyp_tlb_flush(CPURISCVState * env)4252761db5fSAlistair Francis void helper_hyp_tlb_flush(CPURISCVState *env)
4262761db5fSAlistair Francis {
4272761db5fSAlistair Francis CPUState *cs = env_cpu(env);
4282761db5fSAlistair Francis
429d6db7c97SYi Chen if (env->virt_enabled) {
430e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
431e39a8320SAlistair Francis }
432e39a8320SAlistair Francis
4332761db5fSAlistair Francis if (env->priv == PRV_M ||
43438256529SWeiwei Li (env->priv == PRV_S && !env->virt_enabled)) {
4352761db5fSAlistair Francis tlb_flush(cs);
4362761db5fSAlistair Francis return;
4372761db5fSAlistair Francis }
4382761db5fSAlistair Francis
4392761db5fSAlistair Francis riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
4402761db5fSAlistair Francis }
4412761db5fSAlistair Francis
helper_hyp_gvma_tlb_flush(CPURISCVState * env)442e39a8320SAlistair Francis void helper_hyp_gvma_tlb_flush(CPURISCVState *env)
443e39a8320SAlistair Francis {
44438256529SWeiwei Li if (env->priv == PRV_S && !env->virt_enabled &&
445e39a8320SAlistair Francis get_field(env->mstatus, MSTATUS_TVM)) {
446e39a8320SAlistair Francis riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
447e39a8320SAlistair Francis }
448e39a8320SAlistair Francis
449e39a8320SAlistair Francis helper_hyp_tlb_flush(env);
450e39a8320SAlistair Francis }
451e39a8320SAlistair Francis
check_access_hlsv(CPURISCVState * env,bool x,uintptr_t ra)4520f58cbbeSRichard Henderson static int check_access_hlsv(CPURISCVState *env, bool x, uintptr_t ra)
4530f58cbbeSRichard Henderson {
4540f58cbbeSRichard Henderson if (env->priv == PRV_M) {
4550f58cbbeSRichard Henderson /* always allowed */
4560f58cbbeSRichard Henderson } else if (env->virt_enabled) {
4570f58cbbeSRichard Henderson riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
4580f58cbbeSRichard Henderson } else if (env->priv == PRV_U && !get_field(env->hstatus, HSTATUS_HU)) {
4590f58cbbeSRichard Henderson riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
4600f58cbbeSRichard Henderson }
4610f58cbbeSRichard Henderson
462eaecd473SRichard Henderson int mode = get_field(env->hstatus, HSTATUS_SPVP);
463eaecd473SRichard Henderson if (!x && mode == PRV_S && get_field(env->vsstatus, MSTATUS_SUM)) {
464eaecd473SRichard Henderson mode = MMUIdx_S_SUM;
465eaecd473SRichard Henderson }
466eaecd473SRichard Henderson return mode | MMU_2STAGE_BIT;
4670f58cbbeSRichard Henderson }
4680f58cbbeSRichard Henderson
helper_hyp_hlv_bu(CPURISCVState * env,target_ulong addr)4690f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_bu(CPURISCVState *env, target_ulong addr)
4700f58cbbeSRichard Henderson {
4710f58cbbeSRichard Henderson uintptr_t ra = GETPC();
4720f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
4730f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_UB, mmu_idx);
4740f58cbbeSRichard Henderson
4750f58cbbeSRichard Henderson return cpu_ldb_mmu(env, addr, oi, ra);
4760f58cbbeSRichard Henderson }
4770f58cbbeSRichard Henderson
helper_hyp_hlv_hu(CPURISCVState * env,target_ulong addr)4780f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_hu(CPURISCVState *env, target_ulong addr)
4790f58cbbeSRichard Henderson {
4800f58cbbeSRichard Henderson uintptr_t ra = GETPC();
4810f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
4820f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
4830f58cbbeSRichard Henderson
4840f58cbbeSRichard Henderson return cpu_ldw_mmu(env, addr, oi, ra);
4850f58cbbeSRichard Henderson }
4860f58cbbeSRichard Henderson
helper_hyp_hlv_wu(CPURISCVState * env,target_ulong addr)4870f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_wu(CPURISCVState *env, target_ulong addr)
4880f58cbbeSRichard Henderson {
4890f58cbbeSRichard Henderson uintptr_t ra = GETPC();
4900f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
4910f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
4920f58cbbeSRichard Henderson
4930f58cbbeSRichard Henderson return cpu_ldl_mmu(env, addr, oi, ra);
4940f58cbbeSRichard Henderson }
4950f58cbbeSRichard Henderson
helper_hyp_hlv_d(CPURISCVState * env,target_ulong addr)4960f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_d(CPURISCVState *env, target_ulong addr)
4970f58cbbeSRichard Henderson {
4980f58cbbeSRichard Henderson uintptr_t ra = GETPC();
4990f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
5000f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUQ, mmu_idx);
5010f58cbbeSRichard Henderson
5020f58cbbeSRichard Henderson return cpu_ldq_mmu(env, addr, oi, ra);
5030f58cbbeSRichard Henderson }
5040f58cbbeSRichard Henderson
helper_hyp_hsv_b(CPURISCVState * env,target_ulong addr,target_ulong val)5050f58cbbeSRichard Henderson void helper_hyp_hsv_b(CPURISCVState *env, target_ulong addr, target_ulong val)
5060f58cbbeSRichard Henderson {
5070f58cbbeSRichard Henderson uintptr_t ra = GETPC();
5080f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
5090f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_UB, mmu_idx);
5100f58cbbeSRichard Henderson
5110f58cbbeSRichard Henderson cpu_stb_mmu(env, addr, val, oi, ra);
5120f58cbbeSRichard Henderson }
5130f58cbbeSRichard Henderson
helper_hyp_hsv_h(CPURISCVState * env,target_ulong addr,target_ulong val)5140f58cbbeSRichard Henderson void helper_hyp_hsv_h(CPURISCVState *env, target_ulong addr, target_ulong val)
5150f58cbbeSRichard Henderson {
5160f58cbbeSRichard Henderson uintptr_t ra = GETPC();
5170f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
5180f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
5190f58cbbeSRichard Henderson
5200f58cbbeSRichard Henderson cpu_stw_mmu(env, addr, val, oi, ra);
5210f58cbbeSRichard Henderson }
5220f58cbbeSRichard Henderson
helper_hyp_hsv_w(CPURISCVState * env,target_ulong addr,target_ulong val)5230f58cbbeSRichard Henderson void helper_hyp_hsv_w(CPURISCVState *env, target_ulong addr, target_ulong val)
5240f58cbbeSRichard Henderson {
5250f58cbbeSRichard Henderson uintptr_t ra = GETPC();
5260f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
5270f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
5280f58cbbeSRichard Henderson
5290f58cbbeSRichard Henderson cpu_stl_mmu(env, addr, val, oi, ra);
5300f58cbbeSRichard Henderson }
5310f58cbbeSRichard Henderson
helper_hyp_hsv_d(CPURISCVState * env,target_ulong addr,target_ulong val)5320f58cbbeSRichard Henderson void helper_hyp_hsv_d(CPURISCVState *env, target_ulong addr, target_ulong val)
5330f58cbbeSRichard Henderson {
5340f58cbbeSRichard Henderson uintptr_t ra = GETPC();
5350f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, false, ra);
5360f58cbbeSRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUQ, mmu_idx);
5370f58cbbeSRichard Henderson
5380f58cbbeSRichard Henderson cpu_stq_mmu(env, addr, val, oi, ra);
5390f58cbbeSRichard Henderson }
5400f58cbbeSRichard Henderson
541a7f112c5SRichard Henderson /*
542a7f112c5SRichard Henderson * TODO: These implementations are not quite correct. They perform the
543a7f112c5SRichard Henderson * access using execute permission just fine, but the final PMP check
544a7f112c5SRichard Henderson * is supposed to have read permission as well. Without replicating
545a7f112c5SRichard Henderson * a fair fraction of cputlb.c, fixing this requires adding new mmu_idx
546a7f112c5SRichard Henderson * which would imply that exact check in tlb_fill.
547a7f112c5SRichard Henderson */
helper_hyp_hlvx_hu(CPURISCVState * env,target_ulong addr)5480f58cbbeSRichard Henderson target_ulong helper_hyp_hlvx_hu(CPURISCVState *env, target_ulong addr)
5498c5362acSAlistair Francis {
5500f58cbbeSRichard Henderson uintptr_t ra = GETPC();
5510f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, true, ra);
552a7f112c5SRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
5538c5362acSAlistair Francis
5540f58cbbeSRichard Henderson return cpu_ldw_code_mmu(env, addr, oi, GETPC());
5558c5362acSAlistair Francis }
5568c5362acSAlistair Francis
helper_hyp_hlvx_wu(CPURISCVState * env,target_ulong addr)5570f58cbbeSRichard Henderson target_ulong helper_hyp_hlvx_wu(CPURISCVState *env, target_ulong addr)
5587687537aSAlistair Francis {
5590f58cbbeSRichard Henderson uintptr_t ra = GETPC();
5600f58cbbeSRichard Henderson int mmu_idx = check_access_hlsv(env, true, ra);
561a7f112c5SRichard Henderson MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
5628c5362acSAlistair Francis
5630f58cbbeSRichard Henderson return cpu_ldl_code_mmu(env, addr, oi, ra);
5648c5362acSAlistair Francis }
5658c5362acSAlistair Francis
5660c3e702aSMichael Clark #endif /* !CONFIG_USER_ONLY */
567