From: LIU Zhiwei <zhiwei_liu@c-sky.com>
To: Richard Henderson <richard.henderson@linaro.org>, qemu-devel@nongnu.org
Cc: alistair.francis@wdc.com, qemu-riscv@nongnu.org
Subject: Re: [PATCH v4 09/16] target/riscv: Replace DisasContext.w with DisasContext.ol
Date: Tue, 19 Oct 2021 10:24:55 +0800 [thread overview]
Message-ID: <676f2c83-8ca4-a131-97fb-0d16c61131a2@c-sky.com> (raw)
In-Reply-To: <20211019000108.3678724-10-richard.henderson@linaro.org>
On 2021/10/19 上午8:01, Richard Henderson wrote:
> In preparation for RV128, consider more than just "w" for
> operand size modification. This will be used for the "d"
> insns from RV128 as well.
>
> Rename oper_len to get_olen to better match get_xlen.
>
> Reviewed-by: Alistair Francis <alistair.francis@wdc.com>
> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
> ---
> target/riscv/translate.c | 71 ++++++++++++++++---------
> target/riscv/insn_trans/trans_rvb.c.inc | 8 +--
> target/riscv/insn_trans/trans_rvi.c.inc | 18 +++----
> target/riscv/insn_trans/trans_rvm.c.inc | 10 ++--
> 4 files changed, 63 insertions(+), 44 deletions(-)
>
> diff --git a/target/riscv/translate.c b/target/riscv/translate.c
> index 3f1abbac5c..6ed925c003 100644
> --- a/target/riscv/translate.c
> +++ b/target/riscv/translate.c
> @@ -67,7 +67,7 @@ typedef struct DisasContext {
> to any system register, which includes CSR_FRM, so we do not have
> to reset this known value. */
> int frm;
> - bool w;
> + RISCVMXL ol;
> bool virt_enabled;
> bool ext_ifencei;
> bool hlsx;
> @@ -104,12 +104,17 @@ static inline int __attribute__((unused)) get_xlen(DisasContext *ctx)
> return 16 << get_xl(ctx);
> }
>
> -/* The word size for this operation. */
> -static inline int oper_len(DisasContext *ctx)
> -{
> - return ctx->w ? 32 : TARGET_LONG_BITS;
> -}
> +/* The operation length, as opposed to the xlen. */
> +#ifdef TARGET_RISCV32
> +#define get_ol(ctx) MXL_RV32
> +#else
> +#define get_ol(ctx) ((ctx)->ol)
> +#endif
>
> +static inline int get_olen(DisasContext *ctx)
> +{
> + return 16 << get_ol(ctx);
> +}
>
> /*
> * RISC-V requires NaN-boxing of narrower width floating point values.
> @@ -197,24 +202,34 @@ static TCGv get_gpr(DisasContext *ctx, int reg_num, DisasExtend ext)
> return ctx->zero;
> }
>
> - switch (ctx->w ? ext : EXT_NONE) {
> - case EXT_NONE:
> - return cpu_gpr[reg_num];
> - case EXT_SIGN:
> - t = temp_new(ctx);
> - tcg_gen_ext32s_tl(t, cpu_gpr[reg_num]);
> - return t;
> - case EXT_ZERO:
> - t = temp_new(ctx);
> - tcg_gen_ext32u_tl(t, cpu_gpr[reg_num]);
> - return t;
> + switch (get_ol(ctx)) {
> + case MXL_RV32:
> + switch (ext) {
> + case EXT_NONE:
> + break;
> + case EXT_SIGN:
> + t = temp_new(ctx);
> + tcg_gen_ext32s_tl(t, cpu_gpr[reg_num]);
> + return t;
> + case EXT_ZERO:
> + t = temp_new(ctx);
> + tcg_gen_ext32u_tl(t, cpu_gpr[reg_num]);
> + return t;
> + default:
> + g_assert_not_reached();
> + }
> + break;
> + case MXL_RV64:
> + break;
> + default:
> + g_assert_not_reached();
> }
> - g_assert_not_reached();
> + return cpu_gpr[reg_num];
> }
>
> static TCGv dest_gpr(DisasContext *ctx, int reg_num)
> {
> - if (reg_num == 0 || ctx->w) {
> + if (reg_num == 0 || get_olen(ctx) < TARGET_LONG_BITS) {
> return temp_new(ctx);
> }
> return cpu_gpr[reg_num];
> @@ -223,10 +238,15 @@ static TCGv dest_gpr(DisasContext *ctx, int reg_num)
> static void gen_set_gpr(DisasContext *ctx, int reg_num, TCGv t)
> {
> if (reg_num != 0) {
> - if (ctx->w) {
> + switch (get_ol(ctx)) {
> + case MXL_RV32:
> tcg_gen_ext32s_tl(cpu_gpr[reg_num], t);
> - } else {
> + break;
> + case MXL_RV64:
> tcg_gen_mov_tl(cpu_gpr[reg_num], t);
> + break;
> + default:
> + g_assert_not_reached();
> }
> }
> }
The dest_gpr currently will force call gen_set_gpr. However, many cases
for MXL_RV64, dest_gpr will return a global TCG variable and don't need
to call gen_set_gpr.
And even x0 can avoid to call gen_set_gpr. I don't find a good way to
utilize this point.
therwise,
Reviewed-by: LIU Zhiwei<zhiwei_liu@c-sky.com>
Zhiwei
> @@ -387,7 +407,7 @@ static bool gen_shift_imm_fn(DisasContext *ctx, arg_shift *a, DisasExtend ext,
> void (*func)(TCGv, TCGv, target_long))
> {
> TCGv dest, src1;
> - int max_len = oper_len(ctx);
> + int max_len = get_olen(ctx);
>
> if (a->shamt >= max_len) {
> return false;
> @@ -406,7 +426,7 @@ static bool gen_shift_imm_tl(DisasContext *ctx, arg_shift *a, DisasExtend ext,
> void (*func)(TCGv, TCGv, TCGv))
> {
> TCGv dest, src1, src2;
> - int max_len = oper_len(ctx);
> + int max_len = get_olen(ctx);
>
> if (a->shamt >= max_len) {
> return false;
> @@ -430,7 +450,7 @@ static bool gen_shift(DisasContext *ctx, arg_r *a, DisasExtend ext,
> TCGv src2 = get_gpr(ctx, a->rs2, EXT_NONE);
> TCGv ext2 = tcg_temp_new();
>
> - tcg_gen_andi_tl(ext2, src2, oper_len(ctx) - 1);
> + tcg_gen_andi_tl(ext2, src2, get_olen(ctx) - 1);
> func(dest, src1, ext2);
>
> gen_set_gpr(ctx, a->rd, dest);
> @@ -530,7 +550,6 @@ static void riscv_tr_init_disas_context(DisasContextBase *dcbase, CPUState *cs)
> ctx->vl_eq_vlmax = FIELD_EX32(tb_flags, TB_FLAGS, VL_EQ_VLMAX);
> ctx->xl = FIELD_EX32(tb_flags, TB_FLAGS, XL);
> ctx->cs = cs;
> - ctx->w = false;
> ctx->ntemp = 0;
> memset(ctx->temp, 0, sizeof(ctx->temp));
>
> @@ -554,9 +573,9 @@ static void riscv_tr_translate_insn(DisasContextBase *dcbase, CPUState *cpu)
> CPURISCVState *env = cpu->env_ptr;
> uint16_t opcode16 = translator_lduw(env, &ctx->base, ctx->base.pc_next);
>
> + ctx->ol = ctx->xl;
> decode_opc(env, ctx, opcode16);
> ctx->base.pc_next = ctx->pc_succ_insn;
> - ctx->w = false;
>
> for (int i = ctx->ntemp - 1; i >= 0; --i) {
> tcg_temp_free(ctx->temp[i]);
> diff --git a/target/riscv/insn_trans/trans_rvb.c.inc b/target/riscv/insn_trans/trans_rvb.c.inc
> index 185c3e9a60..66dd51de49 100644
> --- a/target/riscv/insn_trans/trans_rvb.c.inc
> +++ b/target/riscv/insn_trans/trans_rvb.c.inc
> @@ -341,7 +341,7 @@ static bool trans_cpopw(DisasContext *ctx, arg_cpopw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_ZBB(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_unary(ctx, a, EXT_ZERO, tcg_gen_ctpop_tl);
> }
>
> @@ -367,7 +367,7 @@ static bool trans_rorw(DisasContext *ctx, arg_rorw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_ZBB(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift(ctx, a, EXT_NONE, gen_rorw);
> }
>
> @@ -375,7 +375,7 @@ static bool trans_roriw(DisasContext *ctx, arg_roriw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_ZBB(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift_imm_tl(ctx, a, EXT_NONE, gen_rorw);
> }
>
> @@ -401,7 +401,7 @@ static bool trans_rolw(DisasContext *ctx, arg_rolw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_ZBB(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift(ctx, a, EXT_NONE, gen_rolw);
> }
>
> diff --git a/target/riscv/insn_trans/trans_rvi.c.inc b/target/riscv/insn_trans/trans_rvi.c.inc
> index a6a57c94bb..9cf0383cfb 100644
> --- a/target/riscv/insn_trans/trans_rvi.c.inc
> +++ b/target/riscv/insn_trans/trans_rvi.c.inc
> @@ -331,14 +331,14 @@ static bool trans_and(DisasContext *ctx, arg_and *a)
> static bool trans_addiw(DisasContext *ctx, arg_addiw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_arith_imm_fn(ctx, a, EXT_NONE, tcg_gen_addi_tl);
> }
>
> static bool trans_slliw(DisasContext *ctx, arg_slliw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift_imm_fn(ctx, a, EXT_NONE, tcg_gen_shli_tl);
> }
>
> @@ -350,7 +350,7 @@ static void gen_srliw(TCGv dst, TCGv src, target_long shamt)
> static bool trans_srliw(DisasContext *ctx, arg_srliw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift_imm_fn(ctx, a, EXT_NONE, gen_srliw);
> }
>
> @@ -362,42 +362,42 @@ static void gen_sraiw(TCGv dst, TCGv src, target_long shamt)
> static bool trans_sraiw(DisasContext *ctx, arg_sraiw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift_imm_fn(ctx, a, EXT_NONE, gen_sraiw);
> }
>
> static bool trans_addw(DisasContext *ctx, arg_addw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_arith(ctx, a, EXT_NONE, tcg_gen_add_tl);
> }
>
> static bool trans_subw(DisasContext *ctx, arg_subw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_arith(ctx, a, EXT_NONE, tcg_gen_sub_tl);
> }
>
> static bool trans_sllw(DisasContext *ctx, arg_sllw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift(ctx, a, EXT_NONE, tcg_gen_shl_tl);
> }
>
> static bool trans_srlw(DisasContext *ctx, arg_srlw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift(ctx, a, EXT_ZERO, tcg_gen_shr_tl);
> }
>
> static bool trans_sraw(DisasContext *ctx, arg_sraw *a)
> {
> REQUIRE_64BIT(ctx);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_shift(ctx, a, EXT_SIGN, tcg_gen_sar_tl);
> }
>
> diff --git a/target/riscv/insn_trans/trans_rvm.c.inc b/target/riscv/insn_trans/trans_rvm.c.inc
> index b89a85ad3a..9a1fe3c799 100644
> --- a/target/riscv/insn_trans/trans_rvm.c.inc
> +++ b/target/riscv/insn_trans/trans_rvm.c.inc
> @@ -214,7 +214,7 @@ static bool trans_mulw(DisasContext *ctx, arg_mulw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_EXT(ctx, RVM);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_arith(ctx, a, EXT_NONE, tcg_gen_mul_tl);
> }
>
> @@ -222,7 +222,7 @@ static bool trans_divw(DisasContext *ctx, arg_divw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_EXT(ctx, RVM);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_arith(ctx, a, EXT_SIGN, gen_div);
> }
>
> @@ -230,7 +230,7 @@ static bool trans_divuw(DisasContext *ctx, arg_divuw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_EXT(ctx, RVM);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_arith(ctx, a, EXT_ZERO, gen_divu);
> }
>
> @@ -238,7 +238,7 @@ static bool trans_remw(DisasContext *ctx, arg_remw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_EXT(ctx, RVM);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_arith(ctx, a, EXT_SIGN, gen_rem);
> }
>
> @@ -246,6 +246,6 @@ static bool trans_remuw(DisasContext *ctx, arg_remuw *a)
> {
> REQUIRE_64BIT(ctx);
> REQUIRE_EXT(ctx, RVM);
> - ctx->w = true;
> + ctx->ol = MXL_RV32;
> return gen_arith(ctx, a, EXT_ZERO, gen_remu);
> }
next prev parent reply other threads:[~2021-10-19 2:26 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-10-19 0:00 [PATCH v4 00/16] target/riscv: Rationalize XLEN and operand length Richard Henderson
2021-10-19 0:00 ` [PATCH v4 01/16] target/riscv: Move cpu_get_tb_cpu_state out of line Richard Henderson
2021-10-19 0:00 ` [PATCH v4 02/16] target/riscv: Create RISCVMXL enumeration Richard Henderson
2021-10-19 0:00 ` [PATCH v4 03/16] target/riscv: Split misa.mxl and misa.ext Richard Henderson
2021-10-19 0:00 ` [PATCH v4 04/16] target/riscv: Replace riscv_cpu_is_32bit with riscv_cpu_mxl Richard Henderson
2021-10-19 0:00 ` [PATCH v4 05/16] target/riscv: Add MXL/SXL/UXL to TB_FLAGS Richard Henderson
2021-10-19 0:00 ` [PATCH v4 06/16] target/riscv: Use REQUIRE_64BIT in amo_check64 Richard Henderson
2021-10-19 0:00 ` [PATCH v4 07/16] target/riscv: Properly check SEW in amo_op Richard Henderson
2021-10-19 0:01 ` [PATCH v4 08/16] target/riscv: Replace is_32bit with get_xl/get_xlen Richard Henderson
2021-10-19 0:01 ` [PATCH v4 09/16] target/riscv: Replace DisasContext.w with DisasContext.ol Richard Henderson
2021-10-19 2:24 ` LIU Zhiwei [this message]
2021-10-19 2:30 ` Richard Henderson
2021-10-19 0:01 ` [PATCH v4 10/16] target/riscv: Use gen_arith_per_ol for RVM Richard Henderson
2021-10-19 0:01 ` [PATCH v4 11/16] target/riscv: Adjust trans_rev8_32 for riscv64 Richard Henderson
2021-10-19 0:01 ` [PATCH v4 12/16] target/riscv: Use gen_unary_per_ol for RVB Richard Henderson
2021-10-19 0:01 ` [PATCH v4 13/16] target/riscv: Use gen_shift*_per_ol for RVB, RVI Richard Henderson
2021-10-19 0:01 ` [PATCH v4 14/16] target/riscv: Align gprs and fprs in cpu_dump Richard Henderson
2021-10-19 2:42 ` LIU Zhiwei
2021-10-19 0:01 ` [PATCH v4 15/16] target/riscv: Use riscv_csrrw_debug for cpu_dump Richard Henderson
2021-10-19 2:55 ` Richard Henderson
2021-10-19 0:01 ` [PATCH v4 16/16] target/riscv: Compute mstatus.sd on demand Richard Henderson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=676f2c83-8ca4-a131-97fb-0d16c61131a2@c-sky.com \
--to=zhiwei_liu@c-sky.com \
--cc=alistair.francis@wdc.com \
--cc=qemu-devel@nongnu.org \
--cc=qemu-riscv@nongnu.org \
--cc=richard.henderson@linaro.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).