mirror of
https://github.com/yuzu-emu/unicorn.git
synced 2025-07-08 22:40:38 +00:00
target/riscv: Convert RV priv insns to decodetree
Backports commit 4ba79c47a205b3af4b62b9b1b6090dee678a1069 from qemu
This commit is contained in:
parent
7475207aba
commit
67164f2b29
|
@ -57,6 +57,21 @@
|
||||||
@r2_rm ....... ..... ..... ... ..... ....... %rs1 %rm %rd
|
@r2_rm ....... ..... ..... ... ..... ....... %rs1 %rm %rd
|
||||||
@r2 ....... ..... ..... ... ..... ....... %rs1 %rd
|
@r2 ....... ..... ..... ... ..... ....... %rs1 %rd
|
||||||
|
|
||||||
|
@sfence_vma ....... ..... ..... ... ..... ....... %rs2 %rs1
|
||||||
|
@sfence_vm ....... ..... ..... ... ..... ....... %rs1
|
||||||
|
|
||||||
|
|
||||||
|
# *** Privileged Instructions ***
|
||||||
|
ecall 000000000000 00000 000 00000 1110011
|
||||||
|
ebreak 000000000001 00000 000 00000 1110011
|
||||||
|
uret 0000000 00010 00000 000 00000 1110011
|
||||||
|
sret 0001000 00010 00000 000 00000 1110011
|
||||||
|
hret 0010000 00010 00000 000 00000 1110011
|
||||||
|
mret 0011000 00010 00000 000 00000 1110011
|
||||||
|
wfi 0001000 00101 00000 000 00000 1110011
|
||||||
|
sfence_vma 0001001 ..... ..... 000 00000 1110011 @sfence_vma
|
||||||
|
sfence_vm 0001000 00100 ..... 000 00000 1110011 @sfence_vm
|
||||||
|
|
||||||
# *** RV32I Base Instruction Set ***
|
# *** RV32I Base Instruction Set ***
|
||||||
lui .................... ..... 0110111 @u
|
lui .................... ..... 0110111 @u
|
||||||
auipc .................... ..... 0010111 @u
|
auipc .................... ..... 0010111 @u
|
||||||
|
|
118
qemu/target/riscv/insn_trans/trans_privileged.inc.c
Normal file
118
qemu/target/riscv/insn_trans/trans_privileged.inc.c
Normal file
|
@ -0,0 +1,118 @@
|
||||||
|
/*
|
||||||
|
* RISC-V translation routines for the RISC-V privileged instructions.
|
||||||
|
*
|
||||||
|
* Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
|
||||||
|
* Copyright (c) 2018 Peer Adelt, peer.adelt@hni.uni-paderborn.de
|
||||||
|
* Bastian Koppelmann, kbastian@mail.uni-paderborn.de
|
||||||
|
*
|
||||||
|
* This program is free software; you can redistribute it and/or modify it
|
||||||
|
* under the terms and conditions of the GNU General Public License,
|
||||||
|
* version 2 or later, as published by the Free Software Foundation.
|
||||||
|
*
|
||||||
|
* This program is distributed in the hope it will be useful, but WITHOUT
|
||||||
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
||||||
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
|
||||||
|
* more details.
|
||||||
|
*
|
||||||
|
* You should have received a copy of the GNU General Public License along with
|
||||||
|
* this program. If not, see <http://www.gnu.org/licenses/>.
|
||||||
|
*/
|
||||||
|
|
||||||
|
static bool trans_ecall(DisasContext *ctx, arg_ecall *a)
|
||||||
|
{
|
||||||
|
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
||||||
|
|
||||||
|
/* always generates U-level ECALL, fixed in do_interrupt handler */
|
||||||
|
generate_exception(ctx, RISCV_EXCP_U_ECALL);
|
||||||
|
tcg_gen_exit_tb(tcg_ctx, NULL, 0); /* no chaining */
|
||||||
|
ctx->base.is_jmp = DISAS_NORETURN;
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
|
static bool trans_ebreak(DisasContext *ctx, arg_ebreak *a)
|
||||||
|
{
|
||||||
|
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
||||||
|
generate_exception(ctx, RISCV_EXCP_BREAKPOINT);
|
||||||
|
tcg_gen_exit_tb(tcg_ctx, NULL, 0); /* no chaining */
|
||||||
|
ctx->base.is_jmp = DISAS_NORETURN;
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
|
static bool trans_uret(DisasContext *ctx, arg_uret *a)
|
||||||
|
{
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
static bool trans_sret(DisasContext *ctx, arg_sret *a)
|
||||||
|
{
|
||||||
|
#ifndef CONFIG_USER_ONLY
|
||||||
|
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
||||||
|
tcg_gen_movi_tl(tcg_ctx, tcg_ctx->cpu_pc_risc, ctx->base.pc_next);
|
||||||
|
|
||||||
|
if (has_ext(ctx, RVS)) {
|
||||||
|
gen_helper_sret(tcg_ctx, tcg_ctx->cpu_pc_risc, tcg_ctx->cpu_env, tcg_ctx->cpu_pc_risc);
|
||||||
|
tcg_gen_exit_tb(tcg_ctx, NULL, 0); /* no chaining */
|
||||||
|
ctx->base.is_jmp = DISAS_NORETURN;
|
||||||
|
} else {
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
return true;
|
||||||
|
#else
|
||||||
|
return false;
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
static bool trans_hret(DisasContext *ctx, arg_hret *a)
|
||||||
|
{
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
static bool trans_mret(DisasContext *ctx, arg_mret *a)
|
||||||
|
{
|
||||||
|
#ifndef CONFIG_USER_ONLY
|
||||||
|
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
||||||
|
tcg_gen_movi_tl(tcg_ctx, tcg_ctx->cpu_pc_risc, ctx->base.pc_next);
|
||||||
|
gen_helper_mret(tcg_ctx, tcg_ctx->cpu_pc_risc, tcg_ctx->cpu_env, tcg_ctx->cpu_pc_risc);
|
||||||
|
tcg_gen_exit_tb(tcg_ctx, NULL, 0); /* no chaining */
|
||||||
|
ctx->base.is_jmp = DISAS_NORETURN;
|
||||||
|
return true;
|
||||||
|
#else
|
||||||
|
return false;
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
static bool trans_wfi(DisasContext *ctx, arg_wfi *a)
|
||||||
|
{
|
||||||
|
#ifndef CONFIG_USER_ONLY
|
||||||
|
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
||||||
|
tcg_gen_movi_tl(tcg_ctx, tcg_ctx->cpu_pc_risc, ctx->pc_succ_insn);
|
||||||
|
gen_helper_wfi(tcg_ctx, tcg_ctx->cpu_env);
|
||||||
|
return true;
|
||||||
|
#else
|
||||||
|
return false;
|
||||||
|
#endif
|
||||||
|
}
|
||||||
|
|
||||||
|
static bool trans_sfence_vma(DisasContext *ctx, arg_sfence_vma *a)
|
||||||
|
{
|
||||||
|
#ifndef CONFIG_USER_ONLY
|
||||||
|
if (ctx->priv_ver == PRIV_VERSION_1_10_0) {
|
||||||
|
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
||||||
|
gen_helper_tlb_flush(tcg_ctx, tcg_ctx->cpu_env);
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
static bool trans_sfence_vm(DisasContext *ctx, arg_sfence_vm *a)
|
||||||
|
{
|
||||||
|
#ifndef CONFIG_USER_ONLY
|
||||||
|
if (ctx->priv_ver <= PRIV_VERSION_1_09_1) {
|
||||||
|
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
||||||
|
gen_helper_tlb_flush(tcg_ctx, tcg_ctx->cpu_env);
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
#endif
|
||||||
|
return false;
|
||||||
|
}
|
|
@ -799,26 +799,8 @@ static void gen_system(DisasContext *ctx, uint32_t opc, int rd, int rs1,
|
||||||
{
|
{
|
||||||
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
TCGContext *tcg_ctx = ctx->uc->tcg_ctx;
|
||||||
|
|
||||||
TCGv source1, dest;
|
|
||||||
source1 = tcg_temp_new(tcg_ctx);
|
|
||||||
dest = tcg_temp_new(tcg_ctx);
|
|
||||||
gen_get_gpr(ctx, source1, rs1);
|
|
||||||
tcg_gen_movi_tl(tcg_ctx, tcg_ctx->cpu_pc_risc, ctx->base.pc_next);
|
tcg_gen_movi_tl(tcg_ctx, tcg_ctx->cpu_pc_risc, ctx->base.pc_next);
|
||||||
|
|
||||||
#ifndef CONFIG_USER_ONLY
|
|
||||||
/* Extract funct7 value and check whether it matches SFENCE.VMA */
|
|
||||||
if ((opc == OPC_RISC_ECALL) && ((csr >> 5) == 9)) {
|
|
||||||
if (ctx->priv_ver == PRIV_VERSION_1_10_0) {
|
|
||||||
/* sfence.vma */
|
|
||||||
/* TODO: handle ASID specific fences */
|
|
||||||
gen_helper_tlb_flush(tcg_ctx, tcg_ctx->cpu_env);
|
|
||||||
return;
|
|
||||||
} else {
|
|
||||||
gen_exception_illegal(ctx);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
#endif
|
|
||||||
|
|
||||||
switch (opc) {
|
switch (opc) {
|
||||||
case OPC_RISC_ECALL:
|
case OPC_RISC_ECALL:
|
||||||
switch (csr) {
|
switch (csr) {
|
||||||
|
@ -833,50 +815,12 @@ static void gen_system(DisasContext *ctx, uint32_t opc, int rd, int rs1,
|
||||||
tcg_gen_exit_tb(tcg_ctx, NULL, 0); /* no chaining */
|
tcg_gen_exit_tb(tcg_ctx, NULL, 0); /* no chaining */
|
||||||
ctx->base.is_jmp = DISAS_NORETURN;
|
ctx->base.is_jmp = DISAS_NORETURN;
|
||||||
break;
|
break;
|
||||||
#ifndef CONFIG_USER_ONLY
|
|
||||||
case 0x002: /* URET */
|
|
||||||
gen_exception_illegal(ctx);
|
|
||||||
break;
|
|
||||||
case 0x102: /* SRET */
|
|
||||||
if (has_ext(ctx, RVS)) {
|
|
||||||
gen_helper_sret(tcg_ctx, tcg_ctx->cpu_pc_risc, tcg_ctx->cpu_env, tcg_ctx->cpu_pc_risc);
|
|
||||||
tcg_gen_exit_tb(tcg_ctx, NULL, 0); /* no chaining */
|
|
||||||
ctx->base.is_jmp = DISAS_NORETURN;
|
|
||||||
} else {
|
|
||||||
gen_exception_illegal(ctx);
|
|
||||||
}
|
|
||||||
break;
|
|
||||||
case 0x202: /* HRET */
|
|
||||||
gen_exception_illegal(ctx);
|
|
||||||
break;
|
|
||||||
case 0x302: /* MRET */
|
|
||||||
gen_helper_mret(tcg_ctx, tcg_ctx->cpu_pc_risc, tcg_ctx->cpu_env, tcg_ctx->cpu_pc_risc);
|
|
||||||
tcg_gen_exit_tb(tcg_ctx, NULL, 0); /* no chaining */
|
|
||||||
ctx->base.is_jmp = DISAS_NORETURN;
|
|
||||||
break;
|
|
||||||
case 0x7b2: /* DRET */
|
|
||||||
gen_exception_illegal(ctx);
|
|
||||||
break;
|
|
||||||
case 0x105: /* WFI */
|
|
||||||
tcg_gen_movi_tl(tcg_ctx, tcg_ctx->cpu_pc_risc, ctx->pc_succ_insn);
|
|
||||||
gen_helper_wfi(tcg_ctx, tcg_ctx->cpu_env);
|
|
||||||
break;
|
|
||||||
case 0x104: /* SFENCE.VM */
|
|
||||||
if (ctx->priv_ver <= PRIV_VERSION_1_09_1) {
|
|
||||||
gen_helper_tlb_flush(tcg_ctx, tcg_ctx->cpu_env);
|
|
||||||
} else {
|
|
||||||
gen_exception_illegal(ctx);
|
|
||||||
}
|
|
||||||
break;
|
|
||||||
#endif
|
|
||||||
default:
|
default:
|
||||||
gen_exception_illegal(ctx);
|
gen_exception_illegal(ctx);
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
tcg_temp_free(tcg_ctx, source1);
|
|
||||||
tcg_temp_free(tcg_ctx, dest);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
static void decode_RV32_64C0(DisasContext *ctx)
|
static void decode_RV32_64C0(DisasContext *ctx)
|
||||||
|
@ -1180,6 +1124,7 @@ bool decode_insn32(DisasContext *ctx, uint32_t insn);
|
||||||
#include "insn_trans/trans_rva.inc.c"
|
#include "insn_trans/trans_rva.inc.c"
|
||||||
#include "insn_trans/trans_rvf.inc.c"
|
#include "insn_trans/trans_rvf.inc.c"
|
||||||
#include "insn_trans/trans_rvd.inc.c"
|
#include "insn_trans/trans_rvd.inc.c"
|
||||||
|
#include "insn_trans/trans_privileged.inc.c"
|
||||||
|
|
||||||
static void decode_RV32_64G(DisasContext *ctx)
|
static void decode_RV32_64G(DisasContext *ctx)
|
||||||
{
|
{
|
||||||
|
|
Loading…
Reference in a new issue