xref: /qemu/target/riscv/op_helper.c (revision 1a9540d1f1a9c5022d9273d0244e5809679dd33b)
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 
87*1a9540d1SAlistair Francis     if (get_field(env->mstatus, MSTATUS_TSR) && !(env->priv >= PRV_M)) {
88fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
897f2b5ff1SMichael Clark     }
907f2b5ff1SMichael Clark 
91e3fba4baSAlistair Francis     mstatus = env->mstatus;
92e3fba4baSAlistair Francis 
93e3fba4baSAlistair Francis     if (riscv_has_ext(env, RVH) && !riscv_cpu_virt_enabled(env)) {
94e3fba4baSAlistair Francis         /* We support Hypervisor extensions and virtulisation is disabled */
95e3fba4baSAlistair Francis         target_ulong hstatus = env->hstatus;
96e3fba4baSAlistair Francis 
97e3fba4baSAlistair Francis         prev_priv = get_field(mstatus, MSTATUS_SPP);
98e3fba4baSAlistair Francis         prev_virt = get_field(hstatus, HSTATUS_SPV);
99e3fba4baSAlistair Francis 
100e3fba4baSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SPV,
101e3fba4baSAlistair Francis                                  get_field(hstatus, HSTATUS_SP2V));
102e3fba4baSAlistair Francis         mstatus = set_field(mstatus, MSTATUS_SPP,
103e3fba4baSAlistair Francis                             get_field(hstatus, HSTATUS_SP2P));
104e3fba4baSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SP2V, 0);
105e3fba4baSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SP2P, 0);
106e3fba4baSAlistair Francis         mstatus = set_field(mstatus, SSTATUS_SIE,
107e3fba4baSAlistair Francis                             get_field(mstatus, SSTATUS_SPIE));
108e3fba4baSAlistair Francis         mstatus = set_field(mstatus, SSTATUS_SPIE, 1);
109e3fba4baSAlistair Francis 
110e3fba4baSAlistair Francis         env->mstatus = mstatus;
111e3fba4baSAlistair Francis         env->hstatus = hstatus;
112e3fba4baSAlistair Francis 
113e3fba4baSAlistair Francis         if (prev_virt) {
114e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
115e3fba4baSAlistair Francis         }
116e3fba4baSAlistair Francis 
117e3fba4baSAlistair Francis         riscv_cpu_set_virt_enabled(env, prev_virt);
118e3fba4baSAlistair Francis     } else {
119e3fba4baSAlistair Francis         prev_priv = get_field(mstatus, MSTATUS_SPP);
120e3fba4baSAlistair Francis 
121*1a9540d1SAlistair Francis         mstatus = set_field(mstatus, MSTATUS_SIE,
1220c3e702aSMichael Clark                             get_field(mstatus, MSTATUS_SPIE));
123a37f21c2SYiting Wang         mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
1240c3e702aSMichael Clark         mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
125c7b95171SMichael Clark         env->mstatus = mstatus;
126e3fba4baSAlistair Francis     }
127e3fba4baSAlistair Francis 
128e3fba4baSAlistair Francis     riscv_cpu_set_mode(env, prev_priv);
1290c3e702aSMichael Clark 
1300c3e702aSMichael Clark     return retpc;
1310c3e702aSMichael Clark }
1320c3e702aSMichael Clark 
1330c3e702aSMichael Clark target_ulong helper_mret(CPURISCVState *env, target_ulong cpu_pc_deb)
1340c3e702aSMichael Clark {
1350c3e702aSMichael Clark     if (!(env->priv >= PRV_M)) {
136fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1370c3e702aSMichael Clark     }
1380c3e702aSMichael Clark 
1390c3e702aSMichael Clark     target_ulong retpc = env->mepc;
1400c3e702aSMichael Clark     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
141fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
1420c3e702aSMichael Clark     }
1430c3e702aSMichael Clark 
1440c3e702aSMichael Clark     target_ulong mstatus = env->mstatus;
1450c3e702aSMichael Clark     target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
146e44b50b5SAlistair Francis     target_ulong prev_virt = MSTATUS_MPV_ISSET(env);
147*1a9540d1SAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MIE,
1480c3e702aSMichael Clark                         get_field(mstatus, MSTATUS_MPIE));
149a37f21c2SYiting Wang     mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
1500c3e702aSMichael Clark     mstatus = set_field(mstatus, MSTATUS_MPP, PRV_U);
151551fa7e8SAlistair Francis #ifdef TARGET_RISCV32
152551fa7e8SAlistair Francis     env->mstatush = set_field(env->mstatush, MSTATUS_MPV, 0);
153551fa7e8SAlistair Francis #else
154e3fba4baSAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MPV, 0);
155551fa7e8SAlistair Francis #endif
156c7b95171SMichael Clark     env->mstatus = mstatus;
157e3fba4baSAlistair Francis     riscv_cpu_set_mode(env, prev_priv);
158e3fba4baSAlistair Francis 
159e3fba4baSAlistair Francis     if (riscv_has_ext(env, RVH)) {
160e3fba4baSAlistair Francis         if (prev_virt) {
161e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
162e3fba4baSAlistair Francis         }
163e3fba4baSAlistair Francis 
164e3fba4baSAlistair Francis         riscv_cpu_set_virt_enabled(env, prev_virt);
165e3fba4baSAlistair Francis     }
1660c3e702aSMichael Clark 
1670c3e702aSMichael Clark     return retpc;
1680c3e702aSMichael Clark }
1690c3e702aSMichael Clark 
1700c3e702aSMichael Clark void helper_wfi(CPURISCVState *env)
1710c3e702aSMichael Clark {
1723109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
1730c3e702aSMichael Clark 
1749d0d1126SAlistair Francis     if ((env->priv == PRV_S &&
1759d0d1126SAlistair Francis         get_field(env->mstatus, MSTATUS_TW)) ||
1769d0d1126SAlistair Francis         riscv_cpu_virt_enabled(env)) {
177fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1787f2b5ff1SMichael Clark     } else {
1790c3e702aSMichael Clark         cs->halted = 1;
1800c3e702aSMichael Clark         cs->exception_index = EXCP_HLT;
1810c3e702aSMichael Clark         cpu_loop_exit(cs);
1820c3e702aSMichael Clark     }
1837f2b5ff1SMichael Clark }
1840c3e702aSMichael Clark 
1850c3e702aSMichael Clark void helper_tlb_flush(CPURISCVState *env)
1860c3e702aSMichael Clark {
1873109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
188b86f4167SJonathan Behrens     if (!(env->priv >= PRV_S) ||
189b86f4167SJonathan Behrens         (env->priv == PRV_S &&
190b86f4167SJonathan Behrens          get_field(env->mstatus, MSTATUS_TVM))) {
191fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1927f2b5ff1SMichael Clark     } else {
1930c3e702aSMichael Clark         tlb_flush(cs);
1940c3e702aSMichael Clark     }
1957f2b5ff1SMichael Clark }
1960c3e702aSMichael Clark 
1970c3e702aSMichael Clark #endif /* !CONFIG_USER_ONLY */
198