xref: /qemu/target/riscv/op_helper.c (revision e44b50b5b2e508fdd24915ab0e44ac49685e1de3)
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.
60c3e702aSMichael Clark  *
70c3e702aSMichael Clark  * This program is free software; you can redistribute it and/or modify it
80c3e702aSMichael Clark  * under the terms and conditions of the GNU General Public License,
90c3e702aSMichael Clark  * version 2 or later, as published by the Free Software Foundation.
100c3e702aSMichael Clark  *
110c3e702aSMichael Clark  * This program is distributed in the hope it will be useful, but WITHOUT
120c3e702aSMichael Clark  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
130c3e702aSMichael Clark  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
140c3e702aSMichael Clark  * more details.
150c3e702aSMichael Clark  *
160c3e702aSMichael Clark  * You should have received a copy of the GNU General Public License along with
170c3e702aSMichael Clark  * this program.  If not, see <http://www.gnu.org/licenses/>.
180c3e702aSMichael Clark  */
190c3e702aSMichael Clark 
200c3e702aSMichael Clark #include "qemu/osdep.h"
210c3e702aSMichael Clark #include "qemu/log.h"
220c3e702aSMichael Clark #include "cpu.h"
230c3e702aSMichael Clark #include "qemu/main-loop.h"
240c3e702aSMichael Clark #include "exec/exec-all.h"
250c3e702aSMichael Clark #include "exec/helper-proto.h"
260c3e702aSMichael Clark 
270c3e702aSMichael Clark /* Exceptions processing helpers */
28fb738839SMichael Clark void QEMU_NORETURN riscv_raise_exception(CPURISCVState *env,
290c3e702aSMichael Clark                                           uint32_t exception, uintptr_t pc)
300c3e702aSMichael Clark {
313109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
320c3e702aSMichael Clark     qemu_log_mask(CPU_LOG_INT, "%s: %d\n", __func__, exception);
330c3e702aSMichael Clark     cs->exception_index = exception;
340c3e702aSMichael Clark     cpu_loop_exit_restore(cs, pc);
350c3e702aSMichael Clark }
360c3e702aSMichael Clark 
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 
420c3e702aSMichael Clark target_ulong helper_csrrw(CPURISCVState *env, target_ulong src,
430c3e702aSMichael Clark         target_ulong csr)
440c3e702aSMichael Clark {
45c7b95171SMichael Clark     target_ulong val = 0;
46c7b95171SMichael Clark     if (riscv_csrrw(env, csr, &val, src, -1) < 0) {
47fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
48c7b95171SMichael Clark     }
49c7b95171SMichael Clark     return val;
500c3e702aSMichael Clark }
510c3e702aSMichael Clark 
520c3e702aSMichael Clark target_ulong helper_csrrs(CPURISCVState *env, target_ulong src,
530c3e702aSMichael Clark         target_ulong csr, target_ulong rs1_pass)
540c3e702aSMichael Clark {
55c7b95171SMichael Clark     target_ulong val = 0;
56c7b95171SMichael Clark     if (riscv_csrrw(env, csr, &val, -1, rs1_pass ? src : 0) < 0) {
57fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
580c3e702aSMichael Clark     }
59c7b95171SMichael Clark     return val;
600c3e702aSMichael Clark }
610c3e702aSMichael Clark 
620c3e702aSMichael Clark target_ulong helper_csrrc(CPURISCVState *env, target_ulong src,
630c3e702aSMichael Clark         target_ulong csr, target_ulong rs1_pass)
640c3e702aSMichael Clark {
65c7b95171SMichael Clark     target_ulong val = 0;
66c7b95171SMichael Clark     if (riscv_csrrw(env, csr, &val, 0, rs1_pass ? src : 0) < 0) {
67fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
680c3e702aSMichael Clark     }
69c7b95171SMichael Clark     return val;
700c3e702aSMichael Clark }
710c3e702aSMichael Clark 
720c3e702aSMichael Clark #ifndef CONFIG_USER_ONLY
730c3e702aSMichael Clark 
740c3e702aSMichael Clark target_ulong helper_sret(CPURISCVState *env, target_ulong cpu_pc_deb)
750c3e702aSMichael Clark {
76e3fba4baSAlistair Francis     target_ulong prev_priv, prev_virt, mstatus;
77e3fba4baSAlistair Francis 
780c3e702aSMichael Clark     if (!(env->priv >= PRV_S)) {
79fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
800c3e702aSMichael Clark     }
810c3e702aSMichael Clark 
820c3e702aSMichael Clark     target_ulong retpc = env->sepc;
830c3e702aSMichael Clark     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
84fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
850c3e702aSMichael Clark     }
860c3e702aSMichael Clark 
877f2b5ff1SMichael Clark     if (env->priv_ver >= PRIV_VERSION_1_10_0 &&
887f2b5ff1SMichael Clark         get_field(env->mstatus, MSTATUS_TSR)) {
89fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
907f2b5ff1SMichael Clark     }
917f2b5ff1SMichael Clark 
92e3fba4baSAlistair Francis     mstatus = env->mstatus;
93e3fba4baSAlistair Francis 
94e3fba4baSAlistair Francis     if (riscv_has_ext(env, RVH) && !riscv_cpu_virt_enabled(env)) {
95e3fba4baSAlistair Francis         /* We support Hypervisor extensions and virtulisation is disabled */
96e3fba4baSAlistair Francis         target_ulong hstatus = env->hstatus;
97e3fba4baSAlistair Francis 
98e3fba4baSAlistair Francis         prev_priv = get_field(mstatus, MSTATUS_SPP);
99e3fba4baSAlistair Francis         prev_virt = get_field(hstatus, HSTATUS_SPV);
100e3fba4baSAlistair Francis 
101e3fba4baSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SPV,
102e3fba4baSAlistair Francis                                  get_field(hstatus, HSTATUS_SP2V));
103e3fba4baSAlistair Francis         mstatus = set_field(mstatus, MSTATUS_SPP,
104e3fba4baSAlistair Francis                             get_field(hstatus, HSTATUS_SP2P));
105e3fba4baSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SP2V, 0);
106e3fba4baSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SP2P, 0);
107e3fba4baSAlistair Francis         mstatus = set_field(mstatus, SSTATUS_SIE,
108e3fba4baSAlistair Francis                             get_field(mstatus, SSTATUS_SPIE));
109e3fba4baSAlistair Francis         mstatus = set_field(mstatus, SSTATUS_SPIE, 1);
110e3fba4baSAlistair Francis 
111e3fba4baSAlistair Francis         env->mstatus = mstatus;
112e3fba4baSAlistair Francis         env->hstatus = hstatus;
113e3fba4baSAlistair Francis 
114e3fba4baSAlistair Francis         if (prev_virt) {
115e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
116e3fba4baSAlistair Francis         }
117e3fba4baSAlistair Francis 
118e3fba4baSAlistair Francis         riscv_cpu_set_virt_enabled(env, prev_virt);
119e3fba4baSAlistair Francis     } else {
120e3fba4baSAlistair Francis         prev_priv = get_field(mstatus, MSTATUS_SPP);
121e3fba4baSAlistair Francis 
1220c3e702aSMichael Clark         mstatus = set_field(mstatus,
1230c3e702aSMichael Clark             env->priv_ver >= PRIV_VERSION_1_10_0 ?
1240c3e702aSMichael Clark             MSTATUS_SIE : MSTATUS_UIE << prev_priv,
1250c3e702aSMichael Clark             get_field(mstatus, MSTATUS_SPIE));
126a37f21c2SYiting Wang         mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
1270c3e702aSMichael Clark         mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
128c7b95171SMichael Clark         env->mstatus = mstatus;
129e3fba4baSAlistair Francis     }
130e3fba4baSAlistair Francis 
131e3fba4baSAlistair Francis     riscv_cpu_set_mode(env, prev_priv);
1320c3e702aSMichael Clark 
1330c3e702aSMichael Clark     return retpc;
1340c3e702aSMichael Clark }
1350c3e702aSMichael Clark 
1360c3e702aSMichael Clark target_ulong helper_mret(CPURISCVState *env, target_ulong cpu_pc_deb)
1370c3e702aSMichael Clark {
1380c3e702aSMichael Clark     if (!(env->priv >= PRV_M)) {
139fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1400c3e702aSMichael Clark     }
1410c3e702aSMichael Clark 
1420c3e702aSMichael Clark     target_ulong retpc = env->mepc;
1430c3e702aSMichael Clark     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
144fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
1450c3e702aSMichael Clark     }
1460c3e702aSMichael Clark 
1470c3e702aSMichael Clark     target_ulong mstatus = env->mstatus;
1480c3e702aSMichael Clark     target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
149*e44b50b5SAlistair Francis     target_ulong prev_virt = MSTATUS_MPV_ISSET(env);
1500c3e702aSMichael Clark     mstatus = set_field(mstatus,
1510c3e702aSMichael Clark         env->priv_ver >= PRIV_VERSION_1_10_0 ?
1520c3e702aSMichael Clark         MSTATUS_MIE : MSTATUS_UIE << prev_priv,
1530c3e702aSMichael Clark         get_field(mstatus, MSTATUS_MPIE));
154a37f21c2SYiting Wang     mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
1550c3e702aSMichael Clark     mstatus = set_field(mstatus, MSTATUS_MPP, PRV_U);
156551fa7e8SAlistair Francis #ifdef TARGET_RISCV32
157551fa7e8SAlistair Francis     env->mstatush = set_field(env->mstatush, MSTATUS_MPV, 0);
158551fa7e8SAlistair Francis #else
159e3fba4baSAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MPV, 0);
160551fa7e8SAlistair Francis #endif
161c7b95171SMichael Clark     env->mstatus = mstatus;
162e3fba4baSAlistair Francis     riscv_cpu_set_mode(env, prev_priv);
163e3fba4baSAlistair Francis 
164e3fba4baSAlistair Francis     if (riscv_has_ext(env, RVH)) {
165e3fba4baSAlistair Francis         if (prev_virt) {
166e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
167e3fba4baSAlistair Francis         }
168e3fba4baSAlistair Francis 
169e3fba4baSAlistair Francis         riscv_cpu_set_virt_enabled(env, prev_virt);
170e3fba4baSAlistair Francis     }
1710c3e702aSMichael Clark 
1720c3e702aSMichael Clark     return retpc;
1730c3e702aSMichael Clark }
1740c3e702aSMichael Clark 
1750c3e702aSMichael Clark void helper_wfi(CPURISCVState *env)
1760c3e702aSMichael Clark {
1773109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
1780c3e702aSMichael Clark 
1799d0d1126SAlistair Francis     if ((env->priv == PRV_S &&
1807f2b5ff1SMichael Clark         env->priv_ver >= PRIV_VERSION_1_10_0 &&
1819d0d1126SAlistair Francis         get_field(env->mstatus, MSTATUS_TW)) ||
1829d0d1126SAlistair Francis         riscv_cpu_virt_enabled(env)) {
183fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1847f2b5ff1SMichael Clark     } else {
1850c3e702aSMichael Clark         cs->halted = 1;
1860c3e702aSMichael Clark         cs->exception_index = EXCP_HLT;
1870c3e702aSMichael Clark         cpu_loop_exit(cs);
1880c3e702aSMichael Clark     }
1897f2b5ff1SMichael Clark }
1900c3e702aSMichael Clark 
1910c3e702aSMichael Clark void helper_tlb_flush(CPURISCVState *env)
1920c3e702aSMichael Clark {
1933109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
194b86f4167SJonathan Behrens     if (!(env->priv >= PRV_S) ||
195b86f4167SJonathan Behrens         (env->priv == PRV_S &&
1967f2b5ff1SMichael Clark          env->priv_ver >= PRIV_VERSION_1_10_0 &&
197b86f4167SJonathan Behrens          get_field(env->mstatus, MSTATUS_TVM))) {
198fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1997f2b5ff1SMichael Clark     } else {
2000c3e702aSMichael Clark         tlb_flush(cs);
2010c3e702aSMichael Clark     }
2027f2b5ff1SMichael Clark }
2030c3e702aSMichael Clark 
2040c3e702aSMichael Clark #endif /* !CONFIG_USER_ONLY */
205