2019-02-13 18:53:41 +03:00
|
|
|
/*
|
|
|
|
* RISC-V translation routines for the RVXI Base Integer Instruction Set.
|
|
|
|
*
|
|
|
|
* 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/>.
|
|
|
|
*/
|
|
|
|
|
2019-04-01 06:11:52 +03:00
|
|
|
static bool trans_illegal(DisasContext *ctx, arg_empty *a)
|
|
|
|
{
|
|
|
|
gen_exception_illegal(ctx);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2021-04-24 06:34:25 +03:00
|
|
|
static bool trans_c64_illegal(DisasContext *ctx, arg_empty *a)
|
|
|
|
{
|
|
|
|
REQUIRE_64BIT(ctx);
|
|
|
|
return trans_illegal(ctx, a);
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:53:41 +03:00
|
|
|
static bool trans_lui(DisasContext *ctx, arg_lui *a)
|
|
|
|
{
|
|
|
|
if (a->rd != 0) {
|
|
|
|
tcg_gen_movi_tl(cpu_gpr[a->rd], a->imm);
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_auipc(DisasContext *ctx, arg_auipc *a)
|
|
|
|
{
|
|
|
|
if (a->rd != 0) {
|
|
|
|
tcg_gen_movi_tl(cpu_gpr[a->rd], a->imm + ctx->base.pc_next);
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
2019-02-13 18:53:42 +03:00
|
|
|
|
|
|
|
static bool trans_jal(DisasContext *ctx, arg_jal *a)
|
|
|
|
{
|
|
|
|
gen_jal(ctx, a->rd, a->imm);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_jalr(DisasContext *ctx, arg_jalr *a)
|
|
|
|
{
|
2019-02-13 18:53:59 +03:00
|
|
|
TCGLabel *misaligned = NULL;
|
|
|
|
|
2021-08-23 22:55:19 +03:00
|
|
|
tcg_gen_addi_tl(cpu_pc, get_gpr(ctx, a->rs1, EXT_NONE), a->imm);
|
2019-02-13 18:53:59 +03:00
|
|
|
tcg_gen_andi_tl(cpu_pc, cpu_pc, (target_ulong)-2);
|
|
|
|
|
|
|
|
if (!has_ext(ctx, RVC)) {
|
2021-08-23 22:55:19 +03:00
|
|
|
TCGv t0 = tcg_temp_new();
|
|
|
|
|
2019-02-13 18:53:59 +03:00
|
|
|
misaligned = gen_new_label();
|
|
|
|
tcg_gen_andi_tl(t0, cpu_pc, 0x2);
|
|
|
|
tcg_gen_brcondi_tl(TCG_COND_NE, t0, 0x0, misaligned);
|
2021-08-23 22:55:19 +03:00
|
|
|
tcg_temp_free(t0);
|
2019-02-13 18:53:59 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
if (a->rd != 0) {
|
|
|
|
tcg_gen_movi_tl(cpu_gpr[a->rd], ctx->pc_succ_insn);
|
|
|
|
}
|
2021-08-23 22:55:19 +03:00
|
|
|
|
|
|
|
/* No chaining with JALR. */
|
2019-03-25 14:45:54 +03:00
|
|
|
lookup_and_goto_ptr(ctx);
|
2019-02-13 18:53:59 +03:00
|
|
|
|
|
|
|
if (misaligned) {
|
|
|
|
gen_set_label(misaligned);
|
|
|
|
gen_exception_inst_addr_mis(ctx);
|
|
|
|
}
|
|
|
|
ctx->base.is_jmp = DISAS_NORETURN;
|
|
|
|
|
2019-02-13 18:53:42 +03:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:54:00 +03:00
|
|
|
static bool gen_branch(DisasContext *ctx, arg_b *a, TCGCond cond)
|
2019-02-13 18:53:42 +03:00
|
|
|
{
|
2019-02-13 18:54:00 +03:00
|
|
|
TCGLabel *l = gen_new_label();
|
2021-08-23 22:55:19 +03:00
|
|
|
TCGv src1 = get_gpr(ctx, a->rs1, EXT_SIGN);
|
|
|
|
TCGv src2 = get_gpr(ctx, a->rs2, EXT_SIGN);
|
2019-02-13 18:54:00 +03:00
|
|
|
|
2021-08-23 22:55:19 +03:00
|
|
|
tcg_gen_brcond_tl(cond, src1, src2, l);
|
2019-02-13 18:54:00 +03:00
|
|
|
gen_goto_tb(ctx, 1, ctx->pc_succ_insn);
|
2021-08-23 22:55:19 +03:00
|
|
|
|
2019-02-13 18:54:00 +03:00
|
|
|
gen_set_label(l); /* branch taken */
|
|
|
|
|
|
|
|
if (!has_ext(ctx, RVC) && ((ctx->base.pc_next + a->imm) & 0x3)) {
|
|
|
|
/* misaligned */
|
|
|
|
gen_exception_inst_addr_mis(ctx);
|
|
|
|
} else {
|
|
|
|
gen_goto_tb(ctx, 0, ctx->base.pc_next + a->imm);
|
|
|
|
}
|
|
|
|
ctx->base.is_jmp = DISAS_NORETURN;
|
|
|
|
|
2019-02-13 18:53:42 +03:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:54:00 +03:00
|
|
|
static bool trans_beq(DisasContext *ctx, arg_beq *a)
|
|
|
|
{
|
|
|
|
return gen_branch(ctx, a, TCG_COND_EQ);
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:53:42 +03:00
|
|
|
static bool trans_bne(DisasContext *ctx, arg_bne *a)
|
|
|
|
{
|
2019-02-13 18:54:00 +03:00
|
|
|
return gen_branch(ctx, a, TCG_COND_NE);
|
2019-02-13 18:53:42 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_blt(DisasContext *ctx, arg_blt *a)
|
|
|
|
{
|
2019-02-13 18:54:00 +03:00
|
|
|
return gen_branch(ctx, a, TCG_COND_LT);
|
2019-02-13 18:53:42 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_bge(DisasContext *ctx, arg_bge *a)
|
|
|
|
{
|
2019-02-13 18:54:00 +03:00
|
|
|
return gen_branch(ctx, a, TCG_COND_GE);
|
2019-02-13 18:53:42 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_bltu(DisasContext *ctx, arg_bltu *a)
|
|
|
|
{
|
2019-02-13 18:54:00 +03:00
|
|
|
return gen_branch(ctx, a, TCG_COND_LTU);
|
2019-02-13 18:53:42 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_bgeu(DisasContext *ctx, arg_bgeu *a)
|
|
|
|
{
|
2019-02-13 18:54:00 +03:00
|
|
|
return gen_branch(ctx, a, TCG_COND_GEU);
|
2019-02-13 18:53:42 +03:00
|
|
|
}
|
2019-02-13 18:53:43 +03:00
|
|
|
|
2019-08-23 21:10:58 +03:00
|
|
|
static bool gen_load(DisasContext *ctx, arg_lb *a, MemOp memop)
|
2019-02-13 18:53:43 +03:00
|
|
|
{
|
2021-08-23 22:55:20 +03:00
|
|
|
TCGv dest = dest_gpr(ctx, a->rd);
|
|
|
|
TCGv addr = get_gpr(ctx, a->rs1, EXT_NONE);
|
|
|
|
|
|
|
|
if (a->imm) {
|
|
|
|
TCGv temp = temp_new(ctx);
|
|
|
|
tcg_gen_addi_tl(temp, addr, a->imm);
|
|
|
|
addr = temp;
|
|
|
|
}
|
|
|
|
|
|
|
|
tcg_gen_qemu_ld_tl(dest, addr, ctx->mem_idx, memop);
|
|
|
|
gen_set_gpr(ctx, a->rd, dest);
|
2019-02-13 18:53:43 +03:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:54:01 +03:00
|
|
|
static bool trans_lb(DisasContext *ctx, arg_lb *a)
|
|
|
|
{
|
|
|
|
return gen_load(ctx, a, MO_SB);
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:53:43 +03:00
|
|
|
static bool trans_lh(DisasContext *ctx, arg_lh *a)
|
|
|
|
{
|
2019-02-13 18:54:01 +03:00
|
|
|
return gen_load(ctx, a, MO_TESW);
|
2019-02-13 18:53:43 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_lw(DisasContext *ctx, arg_lw *a)
|
|
|
|
{
|
2019-02-13 18:54:01 +03:00
|
|
|
return gen_load(ctx, a, MO_TESL);
|
2019-02-13 18:53:43 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_lbu(DisasContext *ctx, arg_lbu *a)
|
|
|
|
{
|
2019-02-13 18:54:01 +03:00
|
|
|
return gen_load(ctx, a, MO_UB);
|
2019-02-13 18:53:43 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_lhu(DisasContext *ctx, arg_lhu *a)
|
|
|
|
{
|
2019-02-13 18:54:01 +03:00
|
|
|
return gen_load(ctx, a, MO_TEUW);
|
2019-02-13 18:53:43 +03:00
|
|
|
}
|
|
|
|
|
2019-08-23 21:10:58 +03:00
|
|
|
static bool gen_store(DisasContext *ctx, arg_sb *a, MemOp memop)
|
2019-02-13 18:53:43 +03:00
|
|
|
{
|
2021-08-23 22:55:20 +03:00
|
|
|
TCGv addr = get_gpr(ctx, a->rs1, EXT_NONE);
|
|
|
|
TCGv data = get_gpr(ctx, a->rs2, EXT_NONE);
|
2019-02-13 18:54:02 +03:00
|
|
|
|
2021-08-23 22:55:20 +03:00
|
|
|
if (a->imm) {
|
|
|
|
TCGv temp = temp_new(ctx);
|
|
|
|
tcg_gen_addi_tl(temp, addr, a->imm);
|
|
|
|
addr = temp;
|
|
|
|
}
|
|
|
|
|
|
|
|
tcg_gen_qemu_st_tl(data, addr, ctx->mem_idx, memop);
|
2019-02-13 18:53:43 +03:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:54:02 +03:00
|
|
|
static bool trans_sb(DisasContext *ctx, arg_sb *a)
|
|
|
|
{
|
|
|
|
return gen_store(ctx, a, MO_SB);
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:53:43 +03:00
|
|
|
static bool trans_sh(DisasContext *ctx, arg_sh *a)
|
|
|
|
{
|
2019-02-13 18:54:02 +03:00
|
|
|
return gen_store(ctx, a, MO_TESW);
|
2019-02-13 18:53:43 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sw(DisasContext *ctx, arg_sw *a)
|
|
|
|
{
|
2019-02-13 18:54:02 +03:00
|
|
|
return gen_store(ctx, a, MO_TESL);
|
2019-02-13 18:53:43 +03:00
|
|
|
}
|
2019-02-13 18:53:44 +03:00
|
|
|
|
|
|
|
static bool trans_lwu(DisasContext *ctx, arg_lwu *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2019-02-13 18:54:01 +03:00
|
|
|
return gen_load(ctx, a, MO_TEUL);
|
2019-02-13 18:53:44 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_ld(DisasContext *ctx, arg_ld *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2019-02-13 18:54:01 +03:00
|
|
|
return gen_load(ctx, a, MO_TEQ);
|
2019-02-13 18:53:44 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sd(DisasContext *ctx, arg_sd *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2019-02-13 18:54:02 +03:00
|
|
|
return gen_store(ctx, a, MO_TEQ);
|
2019-02-13 18:53:44 +03:00
|
|
|
}
|
2019-02-13 18:53:45 +03:00
|
|
|
|
|
|
|
static bool trans_addi(DisasContext *ctx, arg_addi *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith_imm_fn(ctx, a, EXT_NONE, tcg_gen_addi_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
2019-02-13 18:54:05 +03:00
|
|
|
static void gen_slt(TCGv ret, TCGv s1, TCGv s2)
|
2019-02-13 18:53:45 +03:00
|
|
|
{
|
2019-02-13 18:54:05 +03:00
|
|
|
tcg_gen_setcond_tl(TCG_COND_LT, ret, s1, s2);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void gen_sltu(TCGv ret, TCGv s1, TCGv s2)
|
|
|
|
{
|
|
|
|
tcg_gen_setcond_tl(TCG_COND_LTU, ret, s1, s2);
|
|
|
|
}
|
2019-02-13 18:54:03 +03:00
|
|
|
|
2019-02-13 18:54:05 +03:00
|
|
|
static bool trans_slti(DisasContext *ctx, arg_slti *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith_imm_tl(ctx, a, EXT_SIGN, gen_slt);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sltiu(DisasContext *ctx, arg_sltiu *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith_imm_tl(ctx, a, EXT_SIGN, gen_sltu);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_xori(DisasContext *ctx, arg_xori *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith_imm_fn(ctx, a, EXT_NONE, tcg_gen_xori_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
2021-08-23 22:55:11 +03:00
|
|
|
|
2019-02-13 18:53:45 +03:00
|
|
|
static bool trans_ori(DisasContext *ctx, arg_ori *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith_imm_fn(ctx, a, EXT_NONE, tcg_gen_ori_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
2021-08-23 22:55:11 +03:00
|
|
|
|
2019-02-13 18:53:45 +03:00
|
|
|
static bool trans_andi(DisasContext *ctx, arg_andi *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith_imm_fn(ctx, a, EXT_NONE, tcg_gen_andi_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
2021-08-23 22:55:11 +03:00
|
|
|
|
2019-02-13 18:53:45 +03:00
|
|
|
static bool trans_slli(DisasContext *ctx, arg_slli *a)
|
|
|
|
{
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift_imm_fn(ctx, a, EXT_NONE, tcg_gen_shli_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_srli(DisasContext *ctx, arg_srli *a)
|
|
|
|
{
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift_imm_fn(ctx, a, EXT_ZERO, tcg_gen_shri_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_srai(DisasContext *ctx, arg_srai *a)
|
|
|
|
{
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift_imm_fn(ctx, a, EXT_SIGN, tcg_gen_sari_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_add(DisasContext *ctx, arg_add *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_add_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sub(DisasContext *ctx, arg_sub *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_sub_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sll(DisasContext *ctx, arg_sll *a)
|
|
|
|
{
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_NONE, tcg_gen_shl_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_slt(DisasContext *ctx, arg_slt *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_SIGN, gen_slt);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sltu(DisasContext *ctx, arg_sltu *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_SIGN, gen_sltu);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_xor(DisasContext *ctx, arg_xor *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_xor_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_srl(DisasContext *ctx, arg_srl *a)
|
|
|
|
{
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_ZERO, tcg_gen_shr_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sra(DisasContext *ctx, arg_sra *a)
|
|
|
|
{
|
2021-08-23 22:55:17 +03:00
|
|
|
return gen_shift(ctx, a, EXT_SIGN, tcg_gen_sar_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_or(DisasContext *ctx, arg_or *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_or_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_and(DisasContext *ctx, arg_and *a)
|
|
|
|
{
|
2021-08-23 22:55:11 +03:00
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_and_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_addiw(DisasContext *ctx, arg_addiw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_arith_imm_fn(ctx, a, EXT_NONE, tcg_gen_addi_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_slliw(DisasContext *ctx, arg_slliw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_shift_imm_fn(ctx, a, EXT_NONE, tcg_gen_shli_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
2021-08-23 22:55:18 +03:00
|
|
|
static void gen_srliw(TCGv dst, TCGv src, target_long shamt)
|
|
|
|
{
|
|
|
|
tcg_gen_extract_tl(dst, src, shamt, 32 - shamt);
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:53:45 +03:00
|
|
|
static bool trans_srliw(DisasContext *ctx, arg_srliw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
2021-08-23 22:55:18 +03:00
|
|
|
return gen_shift_imm_fn(ctx, a, EXT_NONE, gen_srliw);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void gen_sraiw(TCGv dst, TCGv src, target_long shamt)
|
|
|
|
{
|
|
|
|
tcg_gen_sextract_tl(dst, src, shamt, 32 - shamt);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sraiw(DisasContext *ctx, arg_sraiw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
2021-08-23 22:55:18 +03:00
|
|
|
return gen_shift_imm_fn(ctx, a, EXT_NONE, gen_sraiw);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_addw(DisasContext *ctx, arg_addw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_add_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_subw(DisasContext *ctx, arg_subw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:11 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_arith(ctx, a, EXT_NONE, tcg_gen_sub_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sllw(DisasContext *ctx, arg_sllw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_shift(ctx, a, EXT_NONE, tcg_gen_shl_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_srlw(DisasContext *ctx, arg_srlw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_shift(ctx, a, EXT_ZERO, tcg_gen_shr_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_sraw(DisasContext *ctx, arg_sraw *a)
|
|
|
|
{
|
2021-04-24 06:34:12 +03:00
|
|
|
REQUIRE_64BIT(ctx);
|
2021-08-23 22:55:17 +03:00
|
|
|
ctx->w = true;
|
|
|
|
return gen_shift(ctx, a, EXT_SIGN, tcg_gen_sar_tl);
|
2019-02-13 18:53:45 +03:00
|
|
|
}
|
2019-02-13 18:53:46 +03:00
|
|
|
|
|
|
|
static bool trans_fence(DisasContext *ctx, arg_fence *a)
|
|
|
|
{
|
|
|
|
/* FENCE is a full memory barrier. */
|
|
|
|
tcg_gen_mb(TCG_MO_ALL | TCG_BAR_SC);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_fence_i(DisasContext *ctx, arg_fence_i *a)
|
|
|
|
{
|
2019-06-24 11:59:05 +03:00
|
|
|
if (!ctx->ext_ifencei) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2019-02-13 18:53:46 +03:00
|
|
|
/*
|
|
|
|
* FENCE_I is a no-op in QEMU,
|
|
|
|
* however we need to end the translation block
|
|
|
|
*/
|
|
|
|
tcg_gen_movi_tl(cpu_pc, ctx->pc_succ_insn);
|
2019-03-25 14:45:54 +03:00
|
|
|
exit_tb(ctx);
|
2019-02-13 18:53:46 +03:00
|
|
|
ctx->base.is_jmp = DISAS_NORETURN;
|
|
|
|
return true;
|
|
|
|
}
|
2019-02-13 18:53:47 +03:00
|
|
|
|
2021-08-23 22:55:23 +03:00
|
|
|
static bool do_csr_post(DisasContext *ctx)
|
|
|
|
{
|
|
|
|
/* We may have changed important cpu state -- exit to main loop. */
|
|
|
|
tcg_gen_movi_tl(cpu_pc, ctx->pc_succ_insn);
|
|
|
|
exit_tb(ctx);
|
|
|
|
ctx->base.is_jmp = DISAS_NORETURN;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool do_csrr(DisasContext *ctx, int rd, int rc)
|
|
|
|
{
|
|
|
|
TCGv dest = dest_gpr(ctx, rd);
|
|
|
|
TCGv_i32 csr = tcg_constant_i32(rc);
|
|
|
|
|
|
|
|
if (tb_cflags(ctx->base.tb) & CF_USE_ICOUNT) {
|
|
|
|
gen_io_start();
|
|
|
|
}
|
|
|
|
gen_helper_csrr(dest, cpu_env, csr);
|
|
|
|
gen_set_gpr(ctx, rd, dest);
|
|
|
|
return do_csr_post(ctx);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool do_csrw(DisasContext *ctx, int rc, TCGv src)
|
|
|
|
{
|
|
|
|
TCGv_i32 csr = tcg_constant_i32(rc);
|
2019-02-13 18:53:47 +03:00
|
|
|
|
2021-08-23 22:55:23 +03:00
|
|
|
if (tb_cflags(ctx->base.tb) & CF_USE_ICOUNT) {
|
|
|
|
gen_io_start();
|
|
|
|
}
|
|
|
|
gen_helper_csrw(cpu_env, csr, src);
|
|
|
|
return do_csr_post(ctx);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool do_csrrw(DisasContext *ctx, int rd, int rc, TCGv src, TCGv mask)
|
|
|
|
{
|
|
|
|
TCGv dest = dest_gpr(ctx, rd);
|
|
|
|
TCGv_i32 csr = tcg_constant_i32(rc);
|
|
|
|
|
|
|
|
if (tb_cflags(ctx->base.tb) & CF_USE_ICOUNT) {
|
|
|
|
gen_io_start();
|
|
|
|
}
|
|
|
|
gen_helper_csrrw(dest, cpu_env, csr, src, mask);
|
|
|
|
gen_set_gpr(ctx, rd, dest);
|
|
|
|
return do_csr_post(ctx);
|
|
|
|
}
|
2019-02-13 18:53:47 +03:00
|
|
|
|
|
|
|
static bool trans_csrrw(DisasContext *ctx, arg_csrrw *a)
|
|
|
|
{
|
2021-08-23 22:55:23 +03:00
|
|
|
TCGv src = get_gpr(ctx, a->rs1, EXT_NONE);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* If rd == 0, the insn shall not read the csr, nor cause any of the
|
|
|
|
* side effects that might occur on a csr read.
|
|
|
|
*/
|
|
|
|
if (a->rd == 0) {
|
|
|
|
return do_csrw(ctx, a->csr, src);
|
|
|
|
}
|
|
|
|
|
|
|
|
TCGv mask = tcg_constant_tl(-1);
|
|
|
|
return do_csrrw(ctx, a->rd, a->csr, src, mask);
|
2019-02-13 18:53:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_csrrs(DisasContext *ctx, arg_csrrs *a)
|
|
|
|
{
|
2021-08-23 22:55:23 +03:00
|
|
|
/*
|
|
|
|
* If rs1 == 0, the insn shall not write to the csr at all, nor
|
|
|
|
* cause any of the side effects that might occur on a csr write.
|
|
|
|
* Note that if rs1 specifies a register other than x0, holding
|
|
|
|
* a zero value, the instruction will still attempt to write the
|
|
|
|
* unmodified value back to the csr and will cause side effects.
|
|
|
|
*/
|
|
|
|
if (a->rs1 == 0) {
|
|
|
|
return do_csrr(ctx, a->rd, a->csr);
|
|
|
|
}
|
|
|
|
|
|
|
|
TCGv ones = tcg_constant_tl(-1);
|
|
|
|
TCGv mask = get_gpr(ctx, a->rs1, EXT_ZERO);
|
|
|
|
return do_csrrw(ctx, a->rd, a->csr, ones, mask);
|
2019-02-13 18:53:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_csrrc(DisasContext *ctx, arg_csrrc *a)
|
|
|
|
{
|
2021-08-23 22:55:23 +03:00
|
|
|
/*
|
|
|
|
* If rs1 == 0, the insn shall not write to the csr at all, nor
|
|
|
|
* cause any of the side effects that might occur on a csr write.
|
|
|
|
* Note that if rs1 specifies a register other than x0, holding
|
|
|
|
* a zero value, the instruction will still attempt to write the
|
|
|
|
* unmodified value back to the csr and will cause side effects.
|
|
|
|
*/
|
|
|
|
if (a->rs1 == 0) {
|
|
|
|
return do_csrr(ctx, a->rd, a->csr);
|
|
|
|
}
|
|
|
|
|
|
|
|
TCGv mask = get_gpr(ctx, a->rs1, EXT_ZERO);
|
|
|
|
return do_csrrw(ctx, a->rd, a->csr, ctx->zero, mask);
|
2019-02-13 18:53:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_csrrwi(DisasContext *ctx, arg_csrrwi *a)
|
|
|
|
{
|
2021-08-23 22:55:23 +03:00
|
|
|
TCGv src = tcg_constant_tl(a->rs1);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* If rd == 0, the insn shall not read the csr, nor cause any of the
|
|
|
|
* side effects that might occur on a csr read.
|
|
|
|
*/
|
|
|
|
if (a->rd == 0) {
|
|
|
|
return do_csrw(ctx, a->csr, src);
|
|
|
|
}
|
|
|
|
|
|
|
|
TCGv mask = tcg_constant_tl(-1);
|
|
|
|
return do_csrrw(ctx, a->rd, a->csr, src, mask);
|
2019-02-13 18:53:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_csrrsi(DisasContext *ctx, arg_csrrsi *a)
|
|
|
|
{
|
2021-08-23 22:55:23 +03:00
|
|
|
/*
|
|
|
|
* If rs1 == 0, the insn shall not write to the csr at all, nor
|
|
|
|
* cause any of the side effects that might occur on a csr write.
|
|
|
|
* Note that if rs1 specifies a register other than x0, holding
|
|
|
|
* a zero value, the instruction will still attempt to write the
|
|
|
|
* unmodified value back to the csr and will cause side effects.
|
|
|
|
*/
|
|
|
|
if (a->rs1 == 0) {
|
|
|
|
return do_csrr(ctx, a->rd, a->csr);
|
|
|
|
}
|
|
|
|
|
|
|
|
TCGv ones = tcg_constant_tl(-1);
|
|
|
|
TCGv mask = tcg_constant_tl(a->rs1);
|
|
|
|
return do_csrrw(ctx, a->rd, a->csr, ones, mask);
|
2019-02-13 18:53:47 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static bool trans_csrrci(DisasContext *ctx, arg_csrrci *a)
|
|
|
|
{
|
2021-08-23 22:55:23 +03:00
|
|
|
/*
|
|
|
|
* If rs1 == 0, the insn shall not write to the csr at all, nor
|
|
|
|
* cause any of the side effects that might occur on a csr write.
|
|
|
|
* Note that if rs1 specifies a register other than x0, holding
|
|
|
|
* a zero value, the instruction will still attempt to write the
|
|
|
|
* unmodified value back to the csr and will cause side effects.
|
|
|
|
*/
|
|
|
|
if (a->rs1 == 0) {
|
|
|
|
return do_csrr(ctx, a->rd, a->csr);
|
|
|
|
}
|
|
|
|
|
|
|
|
TCGv mask = tcg_constant_tl(a->rs1);
|
|
|
|
return do_csrrw(ctx, a->rd, a->csr, ctx->zero, mask);
|
2019-02-13 18:53:47 +03:00
|
|
|
}
|