[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2 5/7] target/riscv: Use true diff for gen_pc_plus_diff
From: |
Alistair Francis |
Subject: |
Re: [PATCH v2 5/7] target/riscv: Use true diff for gen_pc_plus_diff |
Date: |
Fri, 26 May 2023 12:23:09 +1000 |
On Wed, May 24, 2023 at 12:14 AM Weiwei Li <liweiwei@iscas.ac.cn> wrote:
>
> Reduce reliance on absolute values by using true pc difference for
> gen_pc_plus_diff() to prepare for PC-relative translation.
>
> Signed-off-by: Weiwei Li <liweiwei@iscas.ac.cn>
> Signed-off-by: Junqiang Wang <wangjunqiang@iscas.ac.cn>
Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
Alistair
> ---
> target/riscv/insn_trans/trans_rvi.c.inc | 6 ++----
> target/riscv/insn_trans/trans_rvzce.c.inc | 2 +-
> target/riscv/translate.c | 13 ++++++-------
> 3 files changed, 9 insertions(+), 12 deletions(-)
>
> diff --git a/target/riscv/insn_trans/trans_rvi.c.inc
> b/target/riscv/insn_trans/trans_rvi.c.inc
> index f9f4d25cda..d6eef67b45 100644
> --- a/target/riscv/insn_trans/trans_rvi.c.inc
> +++ b/target/riscv/insn_trans/trans_rvi.c.inc
> @@ -158,7 +158,6 @@ static bool gen_branch(DisasContext *ctx, arg_b *a,
> TCGCond cond)
> TCGLabel *l = gen_new_label();
> TCGv src1 = get_gpr(ctx, a->rs1, EXT_SIGN);
> TCGv src2 = get_gpr(ctx, a->rs2, EXT_SIGN);
> - target_ulong next_pc;
>
> if (get_xl(ctx) == MXL_RV128) {
> TCGv src1h = get_gprh(ctx, a->rs1);
> @@ -175,11 +174,10 @@ static bool gen_branch(DisasContext *ctx, arg_b *a,
> TCGCond cond)
>
> gen_set_label(l); /* branch taken */
>
> - next_pc = ctx->base.pc_next + a->imm;
> - if (!ctx->cfg_ptr->ext_zca && (next_pc & 0x3)) {
> + if (!ctx->cfg_ptr->ext_zca && (a->imm & 0x3)) {
> /* misaligned */
> TCGv target_pc = tcg_temp_new();
> - gen_pc_plus_diff(target_pc, ctx, next_pc);
> + gen_pc_plus_diff(target_pc, ctx, a->imm);
> gen_exception_inst_addr_mis(ctx, target_pc);
> } else {
> gen_goto_tb(ctx, 0, a->imm);
> diff --git a/target/riscv/insn_trans/trans_rvzce.c.inc
> b/target/riscv/insn_trans/trans_rvzce.c.inc
> index 5732d782f7..450b79dcbc 100644
> --- a/target/riscv/insn_trans/trans_rvzce.c.inc
> +++ b/target/riscv/insn_trans/trans_rvzce.c.inc
> @@ -297,7 +297,7 @@ static bool trans_cm_jalt(DisasContext *ctx, arg_cm_jalt
> *a)
> * Update pc to current for the non-unwinding exception
> * that might come from cpu_ld*_code() in the helper.
> */
> - tcg_gen_movi_tl(cpu_pc, ctx->base.pc_next);
> + gen_update_pc(ctx, 0);
> gen_helper_cm_jalt(cpu_pc, cpu_env, tcg_constant_i32(a->index));
>
> /* c.jt vs c.jalt depends on the index. */
> diff --git a/target/riscv/translate.c b/target/riscv/translate.c
> index b01aa48f04..c6ae489788 100644
> --- a/target/riscv/translate.c
> +++ b/target/riscv/translate.c
> @@ -224,8 +224,10 @@ static void decode_save_opc(DisasContext *ctx)
> }
>
> static void gen_pc_plus_diff(TCGv target, DisasContext *ctx,
> - target_ulong dest)
> + target_long diff)
> {
> + target_ulong dest = ctx->base.pc_next + diff;
> +
> if (get_xl(ctx) == MXL_RV32) {
> dest = (int32_t)dest;
> }
> @@ -234,7 +236,7 @@ static void gen_pc_plus_diff(TCGv target, DisasContext
> *ctx,
>
> static void gen_update_pc(DisasContext *ctx, target_long diff)
> {
> - gen_pc_plus_diff(cpu_pc, ctx, ctx->base.pc_next + diff);
> + gen_pc_plus_diff(cpu_pc, ctx, diff);
> }
>
> static void generate_exception(DisasContext *ctx, int excp)
> @@ -545,14 +547,11 @@ static void gen_set_fpr_d(DisasContext *ctx, int
> reg_num, TCGv_i64 t)
>
> static void gen_jal(DisasContext *ctx, int rd, target_ulong imm)
> {
> - target_ulong next_pc;
> -
> /* check misaligned: */
> - next_pc = ctx->base.pc_next + imm;
> if (!ctx->cfg_ptr->ext_zca) {
> - if ((next_pc & 0x3) != 0) {
> + if ((imm & 0x3) != 0) {
> TCGv target_pc = tcg_temp_new();
> - gen_pc_plus_diff(target_pc, ctx, next_pc);
> + gen_pc_plus_diff(target_pc, ctx, imm);
> gen_exception_inst_addr_mis(ctx, target_pc);
> return;
> }
> --
> 2.25.1
>
>
- [PATCH v2 0/7] target/riscv: Add support for PC-relative translation, Weiwei Li, 2023/05/23
- [PATCH v2 6/7] target/riscv: Enable PC-relative translation, Weiwei Li, 2023/05/23
- [PATCH v2 1/7] target/riscv: Fix target address to update badaddr, Weiwei Li, 2023/05/23
- [PATCH v2 7/7] target/riscv: Remove pc_succ_insn from DisasContext, Weiwei Li, 2023/05/23
- [PATCH v2 5/7] target/riscv: Use true diff for gen_pc_plus_diff, Weiwei Li, 2023/05/23
- [PATCH v2 3/7] target/riscv: Change gen_goto_tb to work on displacements, Weiwei Li, 2023/05/23
- [PATCH v2 2/7] target/riscv: Introduce cur_insn_len into DisasContext, Weiwei Li, 2023/05/23
- [PATCH v2 4/7] target/riscv: Change gen_set_pc_imm to gen_update_pc, Weiwei Li, 2023/05/23
- Re: [PATCH v2 0/7] target/riscv: Add support for PC-relative translation, Alistair Francis, 2023/05/25