xref: /qemu/target/riscv/op_helper.c (revision 0266fd8b56a4de8180cda9b2064ed2e58d17b3d9)
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"
278f1a1289SDaniel Henrique Barboza #include "trace.h"
280c3e702aSMichael Clark 
290c3e702aSMichael Clark /* Exceptions processing helpers */
308905770bSMarc-André Lureau G_NORETURN void riscv_raise_exception(CPURISCVState *env,
31e2dca2dcSDaniel Henrique Barboza                                       RISCVException exception,
32e2dca2dcSDaniel Henrique Barboza                                       uintptr_t pc)
330c3e702aSMichael Clark {
343109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
358f1a1289SDaniel Henrique Barboza 
368f1a1289SDaniel Henrique Barboza     trace_riscv_exception(exception,
378f1a1289SDaniel Henrique Barboza                           riscv_cpu_get_trap_name(exception, false),
388f1a1289SDaniel Henrique Barboza                           env->pc);
398f1a1289SDaniel Henrique Barboza 
400c3e702aSMichael Clark     cs->exception_index = exception;
410c3e702aSMichael Clark     cpu_loop_exit_restore(cs, pc);
420c3e702aSMichael Clark }
430c3e702aSMichael Clark 
440c3e702aSMichael Clark void helper_raise_exception(CPURISCVState *env, uint32_t exception)
450c3e702aSMichael Clark {
46fb738839SMichael Clark     riscv_raise_exception(env, exception, 0);
470c3e702aSMichael Clark }
480c3e702aSMichael Clark 
49a974879bSRichard Henderson target_ulong helper_csrr(CPURISCVState *env, int csr)
500c3e702aSMichael Clark {
5177442380SWeiwei Li     /*
5277442380SWeiwei Li      * The seed CSR must be accessed with a read-write instruction. A
5377442380SWeiwei Li      * read-only instruction such as CSRRS/CSRRC with rs1=x0 or CSRRSI/
5477442380SWeiwei Li      * CSRRCI with uimm=0 will raise an illegal instruction exception.
5577442380SWeiwei Li      */
5677442380SWeiwei Li     if (csr == CSR_SEED) {
5777442380SWeiwei Li         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
5877442380SWeiwei Li     }
5977442380SWeiwei Li 
60c7b95171SMichael Clark     target_ulong val = 0;
6138c83e8dSYu-Ming Chang     RISCVException ret = riscv_csrr(env, csr, &val);
6257cb2083SAlistair Francis 
63533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
64533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
65c7b95171SMichael Clark     }
66c7b95171SMichael Clark     return val;
670c3e702aSMichael Clark }
680c3e702aSMichael Clark 
69a974879bSRichard Henderson void helper_csrw(CPURISCVState *env, int csr, target_ulong src)
700c3e702aSMichael Clark {
7183b519b8SLIU Zhiwei     target_ulong mask = env->xl == MXL_RV32 ? UINT32_MAX : (target_ulong)-1;
7283b519b8SLIU Zhiwei     RISCVException ret = riscv_csrrw(env, csr, NULL, src, mask);
7357cb2083SAlistair Francis 
74533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
75533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
760c3e702aSMichael Clark     }
770c3e702aSMichael Clark }
780c3e702aSMichael Clark 
79a974879bSRichard Henderson target_ulong helper_csrrw(CPURISCVState *env, int csr,
80a974879bSRichard Henderson                           target_ulong src, target_ulong write_mask)
810c3e702aSMichael Clark {
82c7b95171SMichael Clark     target_ulong val = 0;
83a974879bSRichard Henderson     RISCVException ret = riscv_csrrw(env, csr, &val, src, write_mask);
8457cb2083SAlistair Francis 
85533c91e8SAlistair Francis     if (ret != RISCV_EXCP_NONE) {
86533c91e8SAlistair Francis         riscv_raise_exception(env, ret, GETPC());
870c3e702aSMichael Clark     }
88c7b95171SMichael Clark     return val;
890c3e702aSMichael Clark }
900c3e702aSMichael Clark 
91961738ffSFrédéric Pétrot target_ulong helper_csrr_i128(CPURISCVState *env, int csr)
92961738ffSFrédéric Pétrot {
93961738ffSFrédéric Pétrot     Int128 rv = int128_zero();
9438c83e8dSYu-Ming Chang     RISCVException ret = riscv_csrr_i128(env, csr, &rv);
95961738ffSFrédéric Pétrot 
96961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
97961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
98961738ffSFrédéric Pétrot     }
99961738ffSFrédéric Pétrot 
100961738ffSFrédéric Pétrot     env->retxh = int128_gethi(rv);
101961738ffSFrédéric Pétrot     return int128_getlo(rv);
102961738ffSFrédéric Pétrot }
103961738ffSFrédéric Pétrot 
104961738ffSFrédéric Pétrot void helper_csrw_i128(CPURISCVState *env, int csr,
105961738ffSFrédéric Pétrot                       target_ulong srcl, target_ulong srch)
106961738ffSFrédéric Pétrot {
107961738ffSFrédéric Pétrot     RISCVException ret = riscv_csrrw_i128(env, csr, NULL,
108961738ffSFrédéric Pétrot                                           int128_make128(srcl, srch),
109961738ffSFrédéric Pétrot                                           UINT128_MAX);
110961738ffSFrédéric Pétrot 
111961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
112961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
113961738ffSFrédéric Pétrot     }
114961738ffSFrédéric Pétrot }
115961738ffSFrédéric Pétrot 
116961738ffSFrédéric Pétrot target_ulong helper_csrrw_i128(CPURISCVState *env, int csr,
117961738ffSFrédéric Pétrot                        target_ulong srcl, target_ulong srch,
118961738ffSFrédéric Pétrot                        target_ulong maskl, target_ulong maskh)
119961738ffSFrédéric Pétrot {
120961738ffSFrédéric Pétrot     Int128 rv = int128_zero();
121961738ffSFrédéric Pétrot     RISCVException ret = riscv_csrrw_i128(env, csr, &rv,
122961738ffSFrédéric Pétrot                                           int128_make128(srcl, srch),
123961738ffSFrédéric Pétrot                                           int128_make128(maskl, maskh));
124961738ffSFrédéric Pétrot 
125961738ffSFrédéric Pétrot     if (ret != RISCV_EXCP_NONE) {
126961738ffSFrédéric Pétrot         riscv_raise_exception(env, ret, GETPC());
127961738ffSFrédéric Pétrot     }
128961738ffSFrédéric Pétrot 
129961738ffSFrédéric Pétrot     env->retxh = int128_gethi(rv);
130961738ffSFrédéric Pétrot     return int128_getlo(rv);
131961738ffSFrédéric Pétrot }
132961738ffSFrédéric Pétrot 
133a939c500SChristoph Muellner 
134a939c500SChristoph Muellner /*
135a939c500SChristoph Muellner  * check_zicbo_envcfg
136a939c500SChristoph Muellner  *
137a939c500SChristoph Muellner  * Raise virtual exceptions and illegal instruction exceptions for
138a939c500SChristoph Muellner  * Zicbo[mz] instructions based on the settings of [mhs]envcfg as
139a939c500SChristoph Muellner  * specified in section 2.5.1 of the CMO specification.
140a939c500SChristoph Muellner  */
141a939c500SChristoph Muellner static void check_zicbo_envcfg(CPURISCVState *env, target_ulong envbits,
142a939c500SChristoph Muellner                                 uintptr_t ra)
143a939c500SChristoph Muellner {
144a939c500SChristoph Muellner #ifndef CONFIG_USER_ONLY
145a939c500SChristoph Muellner     if ((env->priv < PRV_M) && !get_field(env->menvcfg, envbits)) {
146a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
147a939c500SChristoph Muellner     }
148a939c500SChristoph Muellner 
14938256529SWeiwei Li     if (env->virt_enabled &&
15044b8f74bSWeiwei Li         (((env->priv <= PRV_S) && !get_field(env->henvcfg, envbits)) ||
151a939c500SChristoph Muellner          ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)))) {
152a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
153a939c500SChristoph Muellner     }
154a939c500SChristoph Muellner 
155a939c500SChristoph Muellner     if ((env->priv < PRV_S) && !get_field(env->senvcfg, envbits)) {
156a939c500SChristoph Muellner         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
157a939c500SChristoph Muellner     }
158a939c500SChristoph Muellner #endif
159a939c500SChristoph Muellner }
160a939c500SChristoph Muellner 
161a939c500SChristoph Muellner void helper_cbo_zero(CPURISCVState *env, target_ulong address)
162a939c500SChristoph Muellner {
163a939c500SChristoph Muellner     RISCVCPU *cpu = env_archcpu(env);
164a939c500SChristoph Muellner     uint16_t cbozlen = cpu->cfg.cboz_blocksize;
165d9996d09SRichard Henderson     int mmu_idx = riscv_env_mmu_index(env, false);
166a939c500SChristoph Muellner     uintptr_t ra = GETPC();
167a939c500SChristoph Muellner     void *mem;
168a939c500SChristoph Muellner 
169a939c500SChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBZE, ra);
170a939c500SChristoph Muellner 
171a939c500SChristoph Muellner     /* Mask off low-bits to align-down to the cache-block. */
172a939c500SChristoph Muellner     address &= ~(cbozlen - 1);
173a939c500SChristoph Muellner 
174a939c500SChristoph Muellner     /*
175a939c500SChristoph Muellner      * cbo.zero requires MMU_DATA_STORE access. Do a probe_write()
176a939c500SChristoph Muellner      * to raise any exceptions, including PMP.
177a939c500SChristoph Muellner      */
178a939c500SChristoph Muellner     mem = probe_write(env, address, cbozlen, mmu_idx, ra);
179a939c500SChristoph Muellner 
180a939c500SChristoph Muellner     if (likely(mem)) {
181a939c500SChristoph Muellner         memset(mem, 0, cbozlen);
182a939c500SChristoph Muellner     } else {
183a939c500SChristoph Muellner         /*
184a939c500SChristoph Muellner          * This means that we're dealing with an I/O page. Section 4.2
185a939c500SChristoph Muellner          * of cmobase v1.0.1 says:
186a939c500SChristoph Muellner          *
187a939c500SChristoph Muellner          * "Cache-block zero instructions store zeros independently
188a939c500SChristoph Muellner          * of whether data from the underlying memory locations are
189a939c500SChristoph Muellner          * cacheable."
190a939c500SChristoph Muellner          *
191a939c500SChristoph Muellner          * Write zeros in address + cbozlen regardless of not being
192a939c500SChristoph Muellner          * a RAM page.
193a939c500SChristoph Muellner          */
194a939c500SChristoph Muellner         for (int i = 0; i < cbozlen; i++) {
195a939c500SChristoph Muellner             cpu_stb_mmuidx_ra(env, address + i, 0, mmu_idx, ra);
196a939c500SChristoph Muellner         }
197a939c500SChristoph Muellner     }
198a939c500SChristoph Muellner }
199a939c500SChristoph Muellner 
200e05da09bSChristoph Muellner /*
201e05da09bSChristoph Muellner  * check_zicbom_access
202e05da09bSChristoph Muellner  *
203e05da09bSChristoph Muellner  * Check access permissions (LOAD, STORE or FETCH as specified in
204e05da09bSChristoph Muellner  * section 2.5.2 of the CMO specification) for Zicbom, raising
205e05da09bSChristoph Muellner  * either store page-fault (non-virtualized) or store guest-page
206e05da09bSChristoph Muellner  * fault (virtualized).
207e05da09bSChristoph Muellner  */
208e05da09bSChristoph Muellner static void check_zicbom_access(CPURISCVState *env,
209e05da09bSChristoph Muellner                                 target_ulong address,
210e05da09bSChristoph Muellner                                 uintptr_t ra)
211e05da09bSChristoph Muellner {
212e05da09bSChristoph Muellner     RISCVCPU *cpu = env_archcpu(env);
213d9996d09SRichard Henderson     int mmu_idx = riscv_env_mmu_index(env, false);
214e05da09bSChristoph Muellner     uint16_t cbomlen = cpu->cfg.cbom_blocksize;
215e05da09bSChristoph Muellner     void *phost;
216e05da09bSChristoph Muellner     int ret;
217e05da09bSChristoph Muellner 
218e05da09bSChristoph Muellner     /* Mask off low-bits to align-down to the cache-block. */
219e05da09bSChristoph Muellner     address &= ~(cbomlen - 1);
220e05da09bSChristoph Muellner 
221e05da09bSChristoph Muellner     /*
222e05da09bSChristoph Muellner      * Section 2.5.2 of cmobase v1.0.1:
223e05da09bSChristoph Muellner      *
224e05da09bSChristoph Muellner      * "A cache-block management instruction is permitted to
225e05da09bSChristoph Muellner      * access the specified cache block whenever a load instruction
226e05da09bSChristoph Muellner      * or store instruction is permitted to access the corresponding
227e05da09bSChristoph Muellner      * physical addresses. If neither a load instruction nor store
228e05da09bSChristoph Muellner      * instruction is permitted to access the physical addresses,
229e05da09bSChristoph Muellner      * but an instruction fetch is permitted to access the physical
230e05da09bSChristoph Muellner      * addresses, whether a cache-block management instruction is
231e05da09bSChristoph Muellner      * permitted to access the cache block is UNSPECIFIED."
232e05da09bSChristoph Muellner      */
233e05da09bSChristoph Muellner     ret = probe_access_flags(env, address, cbomlen, MMU_DATA_LOAD,
234e05da09bSChristoph Muellner                              mmu_idx, true, &phost, ra);
235e05da09bSChristoph Muellner     if (ret != TLB_INVALID_MASK) {
236e05da09bSChristoph Muellner         /* Success: readable */
237e05da09bSChristoph Muellner         return;
238e05da09bSChristoph Muellner     }
239e05da09bSChristoph Muellner 
240e05da09bSChristoph Muellner     /*
241e05da09bSChristoph Muellner      * Since not readable, must be writable. On failure, store
242e05da09bSChristoph Muellner      * fault/store guest amo fault will be raised by
243e05da09bSChristoph Muellner      * riscv_cpu_tlb_fill(). PMP exceptions will be caught
244e05da09bSChristoph Muellner      * there as well.
245e05da09bSChristoph Muellner      */
246e05da09bSChristoph Muellner     probe_write(env, address, cbomlen, mmu_idx, ra);
247e05da09bSChristoph Muellner }
248e05da09bSChristoph Muellner 
249e05da09bSChristoph Muellner void helper_cbo_clean_flush(CPURISCVState *env, target_ulong address)
250e05da09bSChristoph Muellner {
251e05da09bSChristoph Muellner     uintptr_t ra = GETPC();
252e05da09bSChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBCFE, ra);
253e05da09bSChristoph Muellner     check_zicbom_access(env, address, ra);
254e05da09bSChristoph Muellner 
255e05da09bSChristoph Muellner     /* We don't emulate the cache-hierarchy, so we're done. */
256e05da09bSChristoph Muellner }
257e05da09bSChristoph Muellner 
258e05da09bSChristoph Muellner void helper_cbo_inval(CPURISCVState *env, target_ulong address)
259e05da09bSChristoph Muellner {
260e05da09bSChristoph Muellner     uintptr_t ra = GETPC();
261e05da09bSChristoph Muellner     check_zicbo_envcfg(env, MENVCFG_CBIE, ra);
262e05da09bSChristoph Muellner     check_zicbom_access(env, address, ra);
263e05da09bSChristoph Muellner 
264e05da09bSChristoph Muellner     /* We don't emulate the cache-hierarchy, so we're done. */
265e05da09bSChristoph Muellner }
266e05da09bSChristoph Muellner 
2670c3e702aSMichael Clark #ifndef CONFIG_USER_ONLY
2680c3e702aSMichael Clark 
269b655dc7cSLIU Zhiwei target_ulong helper_sret(CPURISCVState *env)
2700c3e702aSMichael Clark {
271284d697cSYifei Jiang     uint64_t mstatus;
27268c05fb5SRajnesh Kanwal     target_ulong prev_priv, prev_virt = env->virt_enabled;
273e3fba4baSAlistair Francis 
2740c3e702aSMichael Clark     if (!(env->priv >= PRV_S)) {
275fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2760c3e702aSMichael Clark     }
2770c3e702aSMichael Clark 
2780c3e702aSMichael Clark     target_ulong retpc = env->sepc;
2790c3e702aSMichael Clark     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
280fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
2810c3e702aSMichael Clark     }
2820c3e702aSMichael Clark 
2831a9540d1SAlistair Francis     if (get_field(env->mstatus, MSTATUS_TSR) && !(env->priv >= PRV_M)) {
284fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2857f2b5ff1SMichael Clark     }
2867f2b5ff1SMichael Clark 
28738256529SWeiwei Li     if (env->virt_enabled && get_field(env->hstatus, HSTATUS_VTSR)) {
288e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
289e39a8320SAlistair Francis     }
290e39a8320SAlistair Francis 
291e3fba4baSAlistair Francis     mstatus = env->mstatus;
2922bfec53bSBin Meng     prev_priv = get_field(mstatus, MSTATUS_SPP);
2932bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SIE,
2942bfec53bSBin Meng                         get_field(mstatus, MSTATUS_SPIE));
2952bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
2962bfec53bSBin Meng     mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
2970ff430a5SBin Meng     if (env->priv_ver >= PRIV_VERSION_1_12_0) {
2980ff430a5SBin Meng         mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
2990ff430a5SBin Meng     }
3002bfec53bSBin Meng     env->mstatus = mstatus;
301e3fba4baSAlistair Francis 
30238256529SWeiwei Li     if (riscv_has_ext(env, RVH) && !env->virt_enabled) {
303e3fba4baSAlistair Francis         /* We support Hypervisor extensions and virtulisation is disabled */
304e3fba4baSAlistair Francis         target_ulong hstatus = env->hstatus;
305e3fba4baSAlistair Francis 
306e3fba4baSAlistair Francis         prev_virt = get_field(hstatus, HSTATUS_SPV);
307e3fba4baSAlistair Francis 
308f2d5850fSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SPV, 0);
309e3fba4baSAlistair Francis 
310e3fba4baSAlistair Francis         env->hstatus = hstatus;
311e3fba4baSAlistair Francis 
312e3fba4baSAlistair Francis         if (prev_virt) {
313e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
314e3fba4baSAlistair Francis         }
315e3fba4baSAlistair Francis     }
316e3fba4baSAlistair Francis 
31768c05fb5SRajnesh Kanwal     riscv_cpu_set_mode(env, prev_priv, prev_virt);
3180c3e702aSMichael Clark 
31953309be1SDeepak Gupta     /*
32053309be1SDeepak Gupta      * If forward cfi enabled for new priv, restore elp status
32153309be1SDeepak Gupta      * and clear spelp in mstatus
32253309be1SDeepak Gupta      */
32353309be1SDeepak Gupta     if (cpu_get_fcfien(env)) {
32453309be1SDeepak Gupta         env->elp = get_field(env->mstatus, MSTATUS_SPELP);
32553309be1SDeepak Gupta     }
32653309be1SDeepak Gupta     env->mstatus = set_field(env->mstatus, MSTATUS_SPELP, 0);
32753309be1SDeepak Gupta 
3280c3e702aSMichael Clark     return retpc;
3290c3e702aSMichael Clark }
3300c3e702aSMichael Clark 
3313157a553STommy Wu static void check_ret_from_m_mode(CPURISCVState *env, target_ulong retpc,
3323157a553STommy Wu                                   target_ulong prev_priv)
3330c3e702aSMichael Clark {
3340c3e702aSMichael Clark     if (!(env->priv >= PRV_M)) {
335fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
3360c3e702aSMichael Clark     }
3370c3e702aSMichael Clark 
3380c3e702aSMichael Clark     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
339fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
3400c3e702aSMichael Clark     }
3410c3e702aSMichael Clark 
3423fe40ef5SDaniel Henrique Barboza     if (riscv_cpu_cfg(env)->pmp &&
3430fbb5d2dSNikita Shubin         !pmp_get_num_rules(env) && (prev_priv != PRV_M)) {
3444c48aad1SBin Meng         riscv_raise_exception(env, RISCV_EXCP_INST_ACCESS_FAULT, GETPC());
345d102f19aSAtish Patra     }
3463157a553STommy Wu }
3473157a553STommy Wu 
3483157a553STommy Wu target_ulong helper_mret(CPURISCVState *env)
3493157a553STommy Wu {
3503157a553STommy Wu     target_ulong retpc = env->mepc;
3513157a553STommy Wu     uint64_t mstatus = env->mstatus;
3523157a553STommy Wu     target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
3533157a553STommy Wu 
3543157a553STommy Wu     check_ret_from_m_mode(env, retpc, prev_priv);
355d102f19aSAtish Patra 
356869d76f2SWeiwei Li     target_ulong prev_virt = get_field(env->mstatus, MSTATUS_MPV) &&
357869d76f2SWeiwei Li                              (prev_priv != PRV_M);
3581a9540d1SAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MIE,
3590c3e702aSMichael Clark                         get_field(mstatus, MSTATUS_MPIE));
360a37f21c2SYiting Wang     mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
36104803c3dSWeiwei Li     mstatus = set_field(mstatus, MSTATUS_MPP,
36204803c3dSWeiwei Li                         riscv_has_ext(env, RVU) ? PRV_U : PRV_M);
363e3fba4baSAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MPV, 0);
3640ff430a5SBin Meng     if ((env->priv_ver >= PRIV_VERSION_1_12_0) && (prev_priv != PRV_M)) {
3650ff430a5SBin Meng         mstatus = set_field(mstatus, MSTATUS_MPRV, 0);
3660ff430a5SBin Meng     }
367c7b95171SMichael Clark     env->mstatus = mstatus;
368e3fba4baSAlistair Francis 
36968c05fb5SRajnesh Kanwal     if (riscv_has_ext(env, RVH) && prev_virt) {
370e3fba4baSAlistair Francis         riscv_cpu_swap_hypervisor_regs(env);
371e3fba4baSAlistair Francis     }
372e3fba4baSAlistair Francis 
37368c05fb5SRajnesh Kanwal     riscv_cpu_set_mode(env, prev_priv, prev_virt);
37453309be1SDeepak Gupta     /*
37553309be1SDeepak Gupta      * If forward cfi enabled for new priv, restore elp status
37653309be1SDeepak Gupta      * and clear mpelp in mstatus
37753309be1SDeepak Gupta      */
37853309be1SDeepak Gupta     if (cpu_get_fcfien(env)) {
37953309be1SDeepak Gupta         env->elp = get_field(env->mstatus, MSTATUS_MPELP);
38053309be1SDeepak Gupta     }
38153309be1SDeepak Gupta     env->mstatus = set_field(env->mstatus, MSTATUS_MPELP, 0);
3820c3e702aSMichael Clark 
3830c3e702aSMichael Clark     return retpc;
3840c3e702aSMichael Clark }
3850c3e702aSMichael Clark 
3863157a553STommy Wu target_ulong helper_mnret(CPURISCVState *env)
3873157a553STommy Wu {
3883157a553STommy Wu     target_ulong retpc = env->mnepc;
3893157a553STommy Wu     target_ulong prev_priv = get_field(env->mnstatus, MNSTATUS_MNPP);
3903157a553STommy Wu     target_ulong prev_virt;
3913157a553STommy Wu 
3923157a553STommy Wu     check_ret_from_m_mode(env, retpc, prev_priv);
3933157a553STommy Wu 
3943157a553STommy Wu     prev_virt = get_field(env->mnstatus, MNSTATUS_MNPV) &&
3953157a553STommy Wu                 (prev_priv != PRV_M);
3963157a553STommy Wu     env->mnstatus = set_field(env->mnstatus, MNSTATUS_NMIE, true);
3973157a553STommy Wu 
3983157a553STommy Wu     /*
3993157a553STommy Wu      * If MNRET changes the privilege mode to a mode
4003157a553STommy Wu      * less privileged than M, it also sets mstatus.MPRV to 0.
4013157a553STommy Wu      */
4023157a553STommy Wu     if (prev_priv < PRV_M) {
4033157a553STommy Wu         env->mstatus = set_field(env->mstatus, MSTATUS_MPRV, false);
4043157a553STommy Wu     }
4053157a553STommy Wu 
4063157a553STommy Wu     if (riscv_has_ext(env, RVH) && prev_virt) {
4073157a553STommy Wu         riscv_cpu_swap_hypervisor_regs(env);
4083157a553STommy Wu     }
4093157a553STommy Wu 
4103157a553STommy Wu     riscv_cpu_set_mode(env, prev_priv, prev_virt);
4113157a553STommy Wu 
412*0266fd8bSFrank Chang     /*
413*0266fd8bSFrank Chang      * If forward cfi enabled for new priv, restore elp status
414*0266fd8bSFrank Chang      * and clear mnpelp in mnstatus
415*0266fd8bSFrank Chang      */
416*0266fd8bSFrank Chang     if (cpu_get_fcfien(env)) {
417*0266fd8bSFrank Chang         env->elp = get_field(env->mnstatus, MNSTATUS_MNPELP);
418*0266fd8bSFrank Chang     }
419*0266fd8bSFrank Chang     env->mnstatus = set_field(env->mnstatus, MNSTATUS_MNPELP, 0);
420*0266fd8bSFrank Chang 
4213157a553STommy Wu     return retpc;
4223157a553STommy Wu }
4233157a553STommy Wu 
4240c3e702aSMichael Clark void helper_wfi(CPURISCVState *env)
4250c3e702aSMichael Clark {
4263109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
427719f0f60SJose Martins     bool rvs = riscv_has_ext(env, RVS);
428719f0f60SJose Martins     bool prv_u = env->priv == PRV_U;
429719f0f60SJose Martins     bool prv_s = env->priv == PRV_S;
4300c3e702aSMichael Clark 
431719f0f60SJose Martins     if (((prv_s || (!rvs && prv_u)) && get_field(env->mstatus, MSTATUS_TW)) ||
43238256529SWeiwei Li         (rvs && prv_u && !env->virt_enabled)) {
433719f0f60SJose Martins         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
434c45eff30SWeiwei Li     } else if (env->virt_enabled &&
435c45eff30SWeiwei Li                (prv_u || (prv_s && get_field(env->hstatus, HSTATUS_VTW)))) {
436e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
4377f2b5ff1SMichael Clark     } else {
4380c3e702aSMichael Clark         cs->halted = 1;
4390c3e702aSMichael Clark         cs->exception_index = EXCP_HLT;
4400c3e702aSMichael Clark         cpu_loop_exit(cs);
4410c3e702aSMichael Clark     }
4427f2b5ff1SMichael Clark }
4430c3e702aSMichael Clark 
444b62e0ce7SAndrew Jones void helper_wrs_nto(CPURISCVState *env)
445b62e0ce7SAndrew Jones {
446b62e0ce7SAndrew Jones     if (env->virt_enabled && (env->priv == PRV_S || env->priv == PRV_U) &&
447b62e0ce7SAndrew Jones         get_field(env->hstatus, HSTATUS_VTW) &&
448b62e0ce7SAndrew Jones         !get_field(env->mstatus, MSTATUS_TW)) {
449b62e0ce7SAndrew Jones         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
450b62e0ce7SAndrew Jones     } else if (env->priv != PRV_M && get_field(env->mstatus, MSTATUS_TW)) {
451b62e0ce7SAndrew Jones         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
452b62e0ce7SAndrew Jones     }
453b62e0ce7SAndrew Jones }
454b62e0ce7SAndrew Jones 
4550c3e702aSMichael Clark void helper_tlb_flush(CPURISCVState *env)
4560c3e702aSMichael Clark {
4573109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
458d6db7c97SYi Chen     if (!env->virt_enabled &&
459d6db7c97SYi Chen         (env->priv == PRV_U ||
460d6db7c97SYi Chen          (env->priv == PRV_S && get_field(env->mstatus, MSTATUS_TVM)))) {
461fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
462d6db7c97SYi Chen     } else if (env->virt_enabled &&
463d6db7c97SYi Chen                (env->priv == PRV_U || get_field(env->hstatus, HSTATUS_VTVM))) {
464e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
4657f2b5ff1SMichael Clark     } else {
4660c3e702aSMichael Clark         tlb_flush(cs);
4670c3e702aSMichael Clark     }
4687f2b5ff1SMichael Clark }
4690c3e702aSMichael Clark 
470134c3ffaSChristoph Müllner void helper_tlb_flush_all(CPURISCVState *env)
471134c3ffaSChristoph Müllner {
472134c3ffaSChristoph Müllner     CPUState *cs = env_cpu(env);
473134c3ffaSChristoph Müllner     tlb_flush_all_cpus_synced(cs);
474134c3ffaSChristoph Müllner }
475134c3ffaSChristoph Müllner 
4762761db5fSAlistair Francis void helper_hyp_tlb_flush(CPURISCVState *env)
4772761db5fSAlistair Francis {
4782761db5fSAlistair Francis     CPUState *cs = env_cpu(env);
4792761db5fSAlistair Francis 
480d6db7c97SYi Chen     if (env->virt_enabled) {
481e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
482e39a8320SAlistair Francis     }
483e39a8320SAlistair Francis 
4842761db5fSAlistair Francis     if (env->priv == PRV_M ||
48538256529SWeiwei Li         (env->priv == PRV_S && !env->virt_enabled)) {
4862761db5fSAlistair Francis         tlb_flush(cs);
4872761db5fSAlistair Francis         return;
4882761db5fSAlistair Francis     }
4892761db5fSAlistair Francis 
4902761db5fSAlistair Francis     riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
4912761db5fSAlistair Francis }
4922761db5fSAlistair Francis 
493e39a8320SAlistair Francis void helper_hyp_gvma_tlb_flush(CPURISCVState *env)
494e39a8320SAlistair Francis {
49538256529SWeiwei Li     if (env->priv == PRV_S && !env->virt_enabled &&
496e39a8320SAlistair Francis         get_field(env->mstatus, MSTATUS_TVM)) {
497e39a8320SAlistair Francis         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
498e39a8320SAlistair Francis     }
499e39a8320SAlistair Francis 
500e39a8320SAlistair Francis     helper_hyp_tlb_flush(env);
501e39a8320SAlistair Francis }
502e39a8320SAlistair Francis 
5030f58cbbeSRichard Henderson static int check_access_hlsv(CPURISCVState *env, bool x, uintptr_t ra)
5040f58cbbeSRichard Henderson {
5050f58cbbeSRichard Henderson     if (env->priv == PRV_M) {
5060f58cbbeSRichard Henderson         /* always allowed */
5070f58cbbeSRichard Henderson     } else if (env->virt_enabled) {
5080f58cbbeSRichard Henderson         riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, ra);
5090f58cbbeSRichard Henderson     } else if (env->priv == PRV_U && !get_field(env->hstatus, HSTATUS_HU)) {
5100f58cbbeSRichard Henderson         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, ra);
5110f58cbbeSRichard Henderson     }
5120f58cbbeSRichard Henderson 
513eaecd473SRichard Henderson     int mode = get_field(env->hstatus, HSTATUS_SPVP);
514eaecd473SRichard Henderson     if (!x && mode == PRV_S && get_field(env->vsstatus, MSTATUS_SUM)) {
515eaecd473SRichard Henderson         mode = MMUIdx_S_SUM;
516eaecd473SRichard Henderson     }
517eaecd473SRichard Henderson     return mode | MMU_2STAGE_BIT;
5180f58cbbeSRichard Henderson }
5190f58cbbeSRichard Henderson 
5200f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_bu(CPURISCVState *env, target_ulong addr)
5210f58cbbeSRichard Henderson {
5220f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
5230f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
5240f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_UB, mmu_idx);
5250f58cbbeSRichard Henderson 
5264d160093SAlexey Baturo     return cpu_ldb_mmu(env, adjust_addr_virt(env, addr), oi, ra);
5270f58cbbeSRichard Henderson }
5280f58cbbeSRichard Henderson 
5290f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_hu(CPURISCVState *env, target_ulong addr)
5300f58cbbeSRichard Henderson {
5310f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
5320f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
5330f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
5340f58cbbeSRichard Henderson 
5354d160093SAlexey Baturo     return cpu_ldw_mmu(env, adjust_addr_virt(env, addr), oi, ra);
5360f58cbbeSRichard Henderson }
5370f58cbbeSRichard Henderson 
5380f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_wu(CPURISCVState *env, target_ulong addr)
5390f58cbbeSRichard Henderson {
5400f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
5410f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
5420f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
5430f58cbbeSRichard Henderson 
5444d160093SAlexey Baturo     return cpu_ldl_mmu(env, adjust_addr_virt(env, addr), oi, ra);
5450f58cbbeSRichard Henderson }
5460f58cbbeSRichard Henderson 
5470f58cbbeSRichard Henderson target_ulong helper_hyp_hlv_d(CPURISCVState *env, target_ulong addr)
5480f58cbbeSRichard Henderson {
5490f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
5500f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
5510f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUQ, mmu_idx);
5520f58cbbeSRichard Henderson 
5534d160093SAlexey Baturo     return cpu_ldq_mmu(env, adjust_addr_virt(env, addr), oi, ra);
5540f58cbbeSRichard Henderson }
5550f58cbbeSRichard Henderson 
5560f58cbbeSRichard Henderson void helper_hyp_hsv_b(CPURISCVState *env, target_ulong addr, target_ulong val)
5570f58cbbeSRichard Henderson {
5580f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
5590f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
5600f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_UB, mmu_idx);
5610f58cbbeSRichard Henderson 
5624d160093SAlexey Baturo     cpu_stb_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
5630f58cbbeSRichard Henderson }
5640f58cbbeSRichard Henderson 
5650f58cbbeSRichard Henderson void helper_hyp_hsv_h(CPURISCVState *env, target_ulong addr, target_ulong val)
5660f58cbbeSRichard Henderson {
5670f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
5680f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
5690f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
5700f58cbbeSRichard Henderson 
5714d160093SAlexey Baturo     cpu_stw_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
5720f58cbbeSRichard Henderson }
5730f58cbbeSRichard Henderson 
5740f58cbbeSRichard Henderson void helper_hyp_hsv_w(CPURISCVState *env, target_ulong addr, target_ulong val)
5750f58cbbeSRichard Henderson {
5760f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
5770f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
5780f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
5790f58cbbeSRichard Henderson 
5804d160093SAlexey Baturo     cpu_stl_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
5810f58cbbeSRichard Henderson }
5820f58cbbeSRichard Henderson 
5830f58cbbeSRichard Henderson void helper_hyp_hsv_d(CPURISCVState *env, target_ulong addr, target_ulong val)
5840f58cbbeSRichard Henderson {
5850f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
5860f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, false, ra);
5870f58cbbeSRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUQ, mmu_idx);
5880f58cbbeSRichard Henderson 
5894d160093SAlexey Baturo     cpu_stq_mmu(env, adjust_addr_virt(env, addr), val, oi, ra);
5900f58cbbeSRichard Henderson }
5910f58cbbeSRichard Henderson 
592a7f112c5SRichard Henderson /*
593a7f112c5SRichard Henderson  * TODO: These implementations are not quite correct.  They perform the
594a7f112c5SRichard Henderson  * access using execute permission just fine, but the final PMP check
595a7f112c5SRichard Henderson  * is supposed to have read permission as well.  Without replicating
596a7f112c5SRichard Henderson  * a fair fraction of cputlb.c, fixing this requires adding new mmu_idx
597a7f112c5SRichard Henderson  * which would imply that exact check in tlb_fill.
598a7f112c5SRichard Henderson  */
5990f58cbbeSRichard Henderson target_ulong helper_hyp_hlvx_hu(CPURISCVState *env, target_ulong addr)
6008c5362acSAlistair Francis {
6010f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6020f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, true, ra);
603a7f112c5SRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUW, mmu_idx);
6048c5362acSAlistair Francis 
6050f58cbbeSRichard Henderson     return cpu_ldw_code_mmu(env, addr, oi, GETPC());
6068c5362acSAlistair Francis }
6078c5362acSAlistair Francis 
6080f58cbbeSRichard Henderson target_ulong helper_hyp_hlvx_wu(CPURISCVState *env, target_ulong addr)
6097687537aSAlistair Francis {
6100f58cbbeSRichard Henderson     uintptr_t ra = GETPC();
6110f58cbbeSRichard Henderson     int mmu_idx = check_access_hlsv(env, true, ra);
612a7f112c5SRichard Henderson     MemOpIdx oi = make_memop_idx(MO_TEUL, mmu_idx);
6138c5362acSAlistair Francis 
6140f58cbbeSRichard Henderson     return cpu_ldl_code_mmu(env, addr, oi, ra);
6158c5362acSAlistair Francis }
6168c5362acSAlistair Francis 
6170c3e702aSMichael Clark #endif /* !CONFIG_USER_ONLY */
618