iotests/081: Test rewrite-corrupted without WRITE
[qemu/ar7.git] / target / riscv / op_helper.c
blobd55def76cffdc983d4363ec0259dc25e99ec8ef6
1 /*
2 * RISC-V Emulation Helpers for QEMU.
4 * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
5 * Copyright (c) 2017-2018 SiFive, Inc.
7 * This program is free software; you can redistribute it and/or modify it
8 * under the terms and conditions of the GNU General Public License,
9 * version 2 or later, as published by the Free Software Foundation.
11 * This program is distributed in the hope it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
14 * more details.
16 * You should have received a copy of the GNU General Public License along with
17 * this program. If not, see <http://www.gnu.org/licenses/>.
20 #include "qemu/osdep.h"
21 #include "qemu/log.h"
22 #include "cpu.h"
23 #include "qemu/main-loop.h"
24 #include "exec/exec-all.h"
25 #include "exec/helper-proto.h"
27 /* Exceptions processing helpers */
28 void QEMU_NORETURN riscv_raise_exception(CPURISCVState *env,
29 uint32_t exception, uintptr_t pc)
31 CPUState *cs = env_cpu(env);
32 cs->exception_index = exception;
33 cpu_loop_exit_restore(cs, pc);
36 void helper_raise_exception(CPURISCVState *env, uint32_t exception)
38 riscv_raise_exception(env, exception, 0);
41 target_ulong helper_csrrw(CPURISCVState *env, target_ulong src,
42 target_ulong csr)
44 target_ulong val = 0;
45 int ret = riscv_csrrw(env, csr, &val, src, -1);
47 if (ret < 0) {
48 riscv_raise_exception(env, -ret, GETPC());
50 return val;
53 target_ulong helper_csrrs(CPURISCVState *env, target_ulong src,
54 target_ulong csr, target_ulong rs1_pass)
56 target_ulong val = 0;
57 int ret = riscv_csrrw(env, csr, &val, -1, rs1_pass ? src : 0);
59 if (ret < 0) {
60 riscv_raise_exception(env, -ret, GETPC());
62 return val;
65 target_ulong helper_csrrc(CPURISCVState *env, target_ulong src,
66 target_ulong csr, target_ulong rs1_pass)
68 target_ulong val = 0;
69 int ret = riscv_csrrw(env, csr, &val, 0, rs1_pass ? src : 0);
71 if (ret < 0) {
72 riscv_raise_exception(env, -ret, GETPC());
74 return val;
77 #ifndef CONFIG_USER_ONLY
79 target_ulong helper_sret(CPURISCVState *env, target_ulong cpu_pc_deb)
81 uint64_t mstatus;
82 target_ulong prev_priv, prev_virt;
84 if (!(env->priv >= PRV_S)) {
85 riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
88 target_ulong retpc = env->sepc;
89 if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
90 riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
93 if (get_field(env->mstatus, MSTATUS_TSR) && !(env->priv >= PRV_M)) {
94 riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
97 if (riscv_has_ext(env, RVH) && riscv_cpu_virt_enabled(env) &&
98 get_field(env->hstatus, HSTATUS_VTSR)) {
99 riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
102 mstatus = env->mstatus;
104 if (riscv_has_ext(env, RVH) && !riscv_cpu_virt_enabled(env)) {
105 /* We support Hypervisor extensions and virtulisation is disabled */
106 target_ulong hstatus = env->hstatus;
108 prev_priv = get_field(mstatus, MSTATUS_SPP);
109 prev_virt = get_field(hstatus, HSTATUS_SPV);
111 hstatus = set_field(hstatus, HSTATUS_SPV, 0);
112 mstatus = set_field(mstatus, MSTATUS_SPP, 0);
113 mstatus = set_field(mstatus, SSTATUS_SIE,
114 get_field(mstatus, SSTATUS_SPIE));
115 mstatus = set_field(mstatus, SSTATUS_SPIE, 1);
117 env->mstatus = mstatus;
118 env->hstatus = hstatus;
120 if (prev_virt) {
121 riscv_cpu_swap_hypervisor_regs(env);
124 riscv_cpu_set_virt_enabled(env, prev_virt);
125 } else {
126 prev_priv = get_field(mstatus, MSTATUS_SPP);
128 mstatus = set_field(mstatus, MSTATUS_SIE,
129 get_field(mstatus, MSTATUS_SPIE));
130 mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
131 mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
132 env->mstatus = mstatus;
135 riscv_cpu_set_mode(env, prev_priv);
137 return retpc;
140 target_ulong helper_mret(CPURISCVState *env, target_ulong cpu_pc_deb)
142 if (!(env->priv >= PRV_M)) {
143 riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
146 target_ulong retpc = env->mepc;
147 if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
148 riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
151 uint64_t mstatus = env->mstatus;
152 target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
153 target_ulong prev_virt = get_field(env->mstatus, MSTATUS_MPV);
154 mstatus = set_field(mstatus, MSTATUS_MIE,
155 get_field(mstatus, MSTATUS_MPIE));
156 mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
157 mstatus = set_field(mstatus, MSTATUS_MPP, PRV_U);
158 mstatus = set_field(mstatus, MSTATUS_MPV, 0);
159 env->mstatus = mstatus;
160 riscv_cpu_set_mode(env, prev_priv);
162 if (riscv_has_ext(env, RVH)) {
163 if (prev_virt) {
164 riscv_cpu_swap_hypervisor_regs(env);
167 riscv_cpu_set_virt_enabled(env, prev_virt);
170 return retpc;
173 void helper_wfi(CPURISCVState *env)
175 CPUState *cs = env_cpu(env);
177 if ((env->priv == PRV_S &&
178 get_field(env->mstatus, MSTATUS_TW)) ||
179 riscv_cpu_virt_enabled(env)) {
180 riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
181 } else {
182 cs->halted = 1;
183 cs->exception_index = EXCP_HLT;
184 cpu_loop_exit(cs);
188 void helper_tlb_flush(CPURISCVState *env)
190 CPUState *cs = env_cpu(env);
191 if (!(env->priv >= PRV_S) ||
192 (env->priv == PRV_S &&
193 get_field(env->mstatus, MSTATUS_TVM))) {
194 riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
195 } else if (riscv_has_ext(env, RVH) && riscv_cpu_virt_enabled(env) &&
196 get_field(env->hstatus, HSTATUS_VTVM)) {
197 riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
198 } else {
199 tlb_flush(cs);
203 void helper_hyp_tlb_flush(CPURISCVState *env)
205 CPUState *cs = env_cpu(env);
207 if (env->priv == PRV_S && riscv_cpu_virt_enabled(env)) {
208 riscv_raise_exception(env, RISCV_EXCP_VIRT_INSTRUCTION_FAULT, GETPC());
211 if (env->priv == PRV_M ||
212 (env->priv == PRV_S && !riscv_cpu_virt_enabled(env))) {
213 tlb_flush(cs);
214 return;
217 riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
220 void helper_hyp_gvma_tlb_flush(CPURISCVState *env)
222 if (env->priv == PRV_S && !riscv_cpu_virt_enabled(env) &&
223 get_field(env->mstatus, MSTATUS_TVM)) {
224 riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
227 helper_hyp_tlb_flush(env);
230 target_ulong helper_hyp_hlvx_hu(CPURISCVState *env, target_ulong address)
232 int mmu_idx = cpu_mmu_index(env, true) | TB_FLAGS_PRIV_HYP_ACCESS_MASK;
234 return cpu_lduw_mmuidx_ra(env, address, mmu_idx, GETPC());
237 target_ulong helper_hyp_hlvx_wu(CPURISCVState *env, target_ulong address)
239 int mmu_idx = cpu_mmu_index(env, true) | TB_FLAGS_PRIV_HYP_ACCESS_MASK;
241 return cpu_ldl_mmuidx_ra(env, address, mmu_idx, GETPC());
244 #endif /* !CONFIG_USER_ONLY */