xref: /qemu/target/riscv/op_helper.c (revision f2d5850f71f3e41b240f328c2bc844a4e44e66c9)
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 
871a9540d1SAlistair 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 
100*f2d5850fSAlistair Francis         hstatus = set_field(hstatus, HSTATUS_SPV, 0);
101*f2d5850fSAlistair Francis         mstatus = set_field(mstatus, MSTATUS_SPP, 0);
102e3fba4baSAlistair Francis         mstatus = set_field(mstatus, SSTATUS_SIE,
103e3fba4baSAlistair Francis                             get_field(mstatus, SSTATUS_SPIE));
104e3fba4baSAlistair Francis         mstatus = set_field(mstatus, SSTATUS_SPIE, 1);
105e3fba4baSAlistair Francis 
106e3fba4baSAlistair Francis         env->mstatus = mstatus;
107e3fba4baSAlistair Francis         env->hstatus = hstatus;
108e3fba4baSAlistair Francis 
109e3fba4baSAlistair Francis         if (prev_virt) {
110e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
111e3fba4baSAlistair Francis         }
112e3fba4baSAlistair Francis 
113e3fba4baSAlistair Francis         riscv_cpu_set_virt_enabled(env, prev_virt);
114e3fba4baSAlistair Francis     } else {
115e3fba4baSAlistair Francis         prev_priv = get_field(mstatus, MSTATUS_SPP);
116e3fba4baSAlistair Francis 
1171a9540d1SAlistair Francis         mstatus = set_field(mstatus, MSTATUS_SIE,
1180c3e702aSMichael Clark                             get_field(mstatus, MSTATUS_SPIE));
119a37f21c2SYiting Wang         mstatus = set_field(mstatus, MSTATUS_SPIE, 1);
1200c3e702aSMichael Clark         mstatus = set_field(mstatus, MSTATUS_SPP, PRV_U);
121c7b95171SMichael Clark         env->mstatus = mstatus;
122e3fba4baSAlistair Francis     }
123e3fba4baSAlistair Francis 
124e3fba4baSAlistair Francis     riscv_cpu_set_mode(env, prev_priv);
1250c3e702aSMichael Clark 
1260c3e702aSMichael Clark     return retpc;
1270c3e702aSMichael Clark }
1280c3e702aSMichael Clark 
1290c3e702aSMichael Clark target_ulong helper_mret(CPURISCVState *env, target_ulong cpu_pc_deb)
1300c3e702aSMichael Clark {
1310c3e702aSMichael Clark     if (!(env->priv >= PRV_M)) {
132fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1330c3e702aSMichael Clark     }
1340c3e702aSMichael Clark 
1350c3e702aSMichael Clark     target_ulong retpc = env->mepc;
1360c3e702aSMichael Clark     if (!riscv_has_ext(env, RVC) && (retpc & 0x3)) {
137fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_INST_ADDR_MIS, GETPC());
1380c3e702aSMichael Clark     }
1390c3e702aSMichael Clark 
1400c3e702aSMichael Clark     target_ulong mstatus = env->mstatus;
1410c3e702aSMichael Clark     target_ulong prev_priv = get_field(mstatus, MSTATUS_MPP);
142e44b50b5SAlistair Francis     target_ulong prev_virt = MSTATUS_MPV_ISSET(env);
1431a9540d1SAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MIE,
1440c3e702aSMichael Clark                         get_field(mstatus, MSTATUS_MPIE));
145a37f21c2SYiting Wang     mstatus = set_field(mstatus, MSTATUS_MPIE, 1);
1460c3e702aSMichael Clark     mstatus = set_field(mstatus, MSTATUS_MPP, PRV_U);
147551fa7e8SAlistair Francis #ifdef TARGET_RISCV32
148551fa7e8SAlistair Francis     env->mstatush = set_field(env->mstatush, MSTATUS_MPV, 0);
149551fa7e8SAlistair Francis #else
150e3fba4baSAlistair Francis     mstatus = set_field(mstatus, MSTATUS_MPV, 0);
151551fa7e8SAlistair Francis #endif
152c7b95171SMichael Clark     env->mstatus = mstatus;
153e3fba4baSAlistair Francis     riscv_cpu_set_mode(env, prev_priv);
154e3fba4baSAlistair Francis 
155e3fba4baSAlistair Francis     if (riscv_has_ext(env, RVH)) {
156e3fba4baSAlistair Francis         if (prev_virt) {
157e3fba4baSAlistair Francis             riscv_cpu_swap_hypervisor_regs(env);
158e3fba4baSAlistair Francis         }
159e3fba4baSAlistair Francis 
160e3fba4baSAlistair Francis         riscv_cpu_set_virt_enabled(env, prev_virt);
161e3fba4baSAlistair Francis     }
1620c3e702aSMichael Clark 
1630c3e702aSMichael Clark     return retpc;
1640c3e702aSMichael Clark }
1650c3e702aSMichael Clark 
1660c3e702aSMichael Clark void helper_wfi(CPURISCVState *env)
1670c3e702aSMichael Clark {
1683109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
1690c3e702aSMichael Clark 
1709d0d1126SAlistair Francis     if ((env->priv == PRV_S &&
1719d0d1126SAlistair Francis         get_field(env->mstatus, MSTATUS_TW)) ||
1729d0d1126SAlistair Francis         riscv_cpu_virt_enabled(env)) {
173fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1747f2b5ff1SMichael Clark     } else {
1750c3e702aSMichael Clark         cs->halted = 1;
1760c3e702aSMichael Clark         cs->exception_index = EXCP_HLT;
1770c3e702aSMichael Clark         cpu_loop_exit(cs);
1780c3e702aSMichael Clark     }
1797f2b5ff1SMichael Clark }
1800c3e702aSMichael Clark 
1810c3e702aSMichael Clark void helper_tlb_flush(CPURISCVState *env)
1820c3e702aSMichael Clark {
1833109cd98SRichard Henderson     CPUState *cs = env_cpu(env);
184b86f4167SJonathan Behrens     if (!(env->priv >= PRV_S) ||
185b86f4167SJonathan Behrens         (env->priv == PRV_S &&
186b86f4167SJonathan Behrens          get_field(env->mstatus, MSTATUS_TVM))) {
187fb738839SMichael Clark         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
1887f2b5ff1SMichael Clark     } else {
1890c3e702aSMichael Clark         tlb_flush(cs);
1900c3e702aSMichael Clark     }
1917f2b5ff1SMichael Clark }
1920c3e702aSMichael Clark 
1932761db5fSAlistair Francis void helper_hyp_tlb_flush(CPURISCVState *env)
1942761db5fSAlistair Francis {
1952761db5fSAlistair Francis     CPUState *cs = env_cpu(env);
1962761db5fSAlistair Francis 
1972761db5fSAlistair Francis     if (env->priv == PRV_M ||
1982761db5fSAlistair Francis         (env->priv == PRV_S && !riscv_cpu_virt_enabled(env))) {
1992761db5fSAlistair Francis         tlb_flush(cs);
2002761db5fSAlistair Francis         return;
2012761db5fSAlistair Francis     }
2022761db5fSAlistair Francis 
2032761db5fSAlistair Francis     riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2042761db5fSAlistair Francis }
2052761db5fSAlistair Francis 
2068c5362acSAlistair Francis target_ulong helper_hyp_load(CPURISCVState *env, target_ulong address,
2078c5362acSAlistair Francis                              target_ulong attrs, target_ulong memop)
2088c5362acSAlistair Francis {
2098c5362acSAlistair Francis     if (env->priv == PRV_M ||
2108c5362acSAlistair Francis         (env->priv == PRV_S && !riscv_cpu_virt_enabled(env)) ||
2118c5362acSAlistair Francis         (env->priv == PRV_U && !riscv_cpu_virt_enabled(env) &&
2128c5362acSAlistair Francis             get_field(env->hstatus, HSTATUS_HU))) {
2138c5362acSAlistair Francis         target_ulong pte;
2148c5362acSAlistair Francis 
2158c5362acSAlistair Francis         riscv_cpu_set_two_stage_lookup(env, true);
2168c5362acSAlistair Francis 
2178c5362acSAlistair Francis         switch (memop) {
2188c5362acSAlistair Francis         case MO_SB:
2198c5362acSAlistair Francis             pte = cpu_ldsb_data_ra(env, address, GETPC());
2208c5362acSAlistair Francis             break;
2218c5362acSAlistair Francis         case MO_UB:
2228c5362acSAlistair Francis             pte = cpu_ldub_data_ra(env, address, GETPC());
2238c5362acSAlistair Francis             break;
2248c5362acSAlistair Francis         case MO_TESW:
2258c5362acSAlistair Francis             pte = cpu_ldsw_data_ra(env, address, GETPC());
2268c5362acSAlistair Francis             break;
2278c5362acSAlistair Francis         case MO_TEUW:
2288c5362acSAlistair Francis             pte = cpu_lduw_data_ra(env, address, GETPC());
2298c5362acSAlistair Francis             break;
2308c5362acSAlistair Francis         case MO_TESL:
2318c5362acSAlistair Francis             pte = cpu_ldl_data_ra(env, address, GETPC());
2328c5362acSAlistair Francis             break;
2338c5362acSAlistair Francis         case MO_TEUL:
2348c5362acSAlistair Francis             pte = cpu_ldl_data_ra(env, address, GETPC());
2358c5362acSAlistair Francis             break;
2368c5362acSAlistair Francis         case MO_TEQ:
2378c5362acSAlistair Francis             pte = cpu_ldq_data_ra(env, address, GETPC());
2388c5362acSAlistair Francis             break;
2398c5362acSAlistair Francis         default:
2408c5362acSAlistair Francis             g_assert_not_reached();
2418c5362acSAlistair Francis         }
2428c5362acSAlistair Francis 
2438c5362acSAlistair Francis         riscv_cpu_set_two_stage_lookup(env, false);
2448c5362acSAlistair Francis 
2458c5362acSAlistair Francis         return pte;
2468c5362acSAlistair Francis     }
2478c5362acSAlistair Francis 
2488c5362acSAlistair Francis     riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2498c5362acSAlistair Francis     return 0;
2508c5362acSAlistair Francis }
2518c5362acSAlistair Francis 
2528c5362acSAlistair Francis void helper_hyp_store(CPURISCVState *env, target_ulong address,
2538c5362acSAlistair Francis                       target_ulong val, target_ulong attrs, target_ulong memop)
2548c5362acSAlistair Francis {
2558c5362acSAlistair Francis     if (env->priv == PRV_M ||
2568c5362acSAlistair Francis         (env->priv == PRV_S && !riscv_cpu_virt_enabled(env)) ||
2578c5362acSAlistair Francis         (env->priv == PRV_U && !riscv_cpu_virt_enabled(env) &&
2588c5362acSAlistair Francis             get_field(env->hstatus, HSTATUS_HU))) {
2598c5362acSAlistair Francis         riscv_cpu_set_two_stage_lookup(env, true);
2608c5362acSAlistair Francis 
2618c5362acSAlistair Francis         switch (memop) {
2628c5362acSAlistair Francis         case MO_SB:
2638c5362acSAlistair Francis         case MO_UB:
2648c5362acSAlistair Francis             cpu_stb_data_ra(env, address, val, GETPC());
2658c5362acSAlistair Francis             break;
2668c5362acSAlistair Francis         case MO_TESW:
2678c5362acSAlistair Francis         case MO_TEUW:
2688c5362acSAlistair Francis             cpu_stw_data_ra(env, address, val, GETPC());
2698c5362acSAlistair Francis             break;
2708c5362acSAlistair Francis         case MO_TESL:
2718c5362acSAlistair Francis         case MO_TEUL:
2728c5362acSAlistair Francis             cpu_stl_data_ra(env, address, val, GETPC());
2738c5362acSAlistair Francis             break;
2748c5362acSAlistair Francis         case MO_TEQ:
2758c5362acSAlistair Francis             cpu_stq_data_ra(env, address, val, GETPC());
2768c5362acSAlistair Francis             break;
2778c5362acSAlistair Francis         default:
2788c5362acSAlistair Francis             g_assert_not_reached();
2798c5362acSAlistair Francis         }
2808c5362acSAlistair Francis 
2818c5362acSAlistair Francis         riscv_cpu_set_two_stage_lookup(env, false);
2828c5362acSAlistair Francis 
2838c5362acSAlistair Francis         return;
2848c5362acSAlistair Francis     }
2858c5362acSAlistair Francis 
2868c5362acSAlistair Francis     riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
2878c5362acSAlistair Francis }
2888c5362acSAlistair Francis 
2898c5362acSAlistair Francis target_ulong helper_hyp_x_load(CPURISCVState *env, target_ulong address,
2908c5362acSAlistair Francis                                target_ulong attrs, target_ulong memop)
2918c5362acSAlistair Francis {
2928c5362acSAlistair Francis     if (env->priv == PRV_M ||
2938c5362acSAlistair Francis         (env->priv == PRV_S && !riscv_cpu_virt_enabled(env)) ||
2948c5362acSAlistair Francis         (env->priv == PRV_U && !riscv_cpu_virt_enabled(env) &&
2958c5362acSAlistair Francis             get_field(env->hstatus, HSTATUS_HU))) {
2968c5362acSAlistair Francis         target_ulong pte;
2978c5362acSAlistair Francis 
2988c5362acSAlistair Francis         riscv_cpu_set_two_stage_lookup(env, true);
2998c5362acSAlistair Francis 
3008c5362acSAlistair Francis         switch (memop) {
3018c5362acSAlistair Francis         case MO_TEUL:
3028c5362acSAlistair Francis             pte = cpu_ldub_data_ra(env, address, GETPC());
3038c5362acSAlistair Francis             break;
3048c5362acSAlistair Francis         case MO_TEUW:
3058c5362acSAlistair Francis             pte = cpu_lduw_data_ra(env, address, GETPC());
3068c5362acSAlistair Francis             break;
3078c5362acSAlistair Francis         default:
3088c5362acSAlistair Francis             g_assert_not_reached();
3098c5362acSAlistair Francis         }
3108c5362acSAlistair Francis 
3118c5362acSAlistair Francis         riscv_cpu_set_two_stage_lookup(env, false);
3128c5362acSAlistair Francis 
3138c5362acSAlistair Francis         return pte;
3148c5362acSAlistair Francis     }
3158c5362acSAlistair Francis 
3168c5362acSAlistair Francis     riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
3178c5362acSAlistair Francis     return 0;
3188c5362acSAlistair Francis }
3198c5362acSAlistair Francis 
3200c3e702aSMichael Clark #endif /* !CONFIG_USER_ONLY */
321