From: Richard Henderson <richard.henderson@linaro.org>
To: Alexey Baturo <baturo.alexey@gmail.com>
Cc: zhiwei_liu@linux.alibaba.com, palmer@dabbelt.com,
Alistair.Francis@wdc.com, sagark@eecs.berkeley.edu,
kbastian@mail.uni-paderborn.de, qemu-devel@nongnu.org,
qemu-riscv@nongnu.org
Subject: Re: [PATCH v2 5/6] target/riscv: Update address modify functions to take into account pointer masking
Date: Fri, 29 Dec 2023 10:46:09 +1100 [thread overview]
Message-ID: <2e68509d-755c-473a-9d52-8ec5f947cc71@linaro.org> (raw)
In-Reply-To: <20231224044812.2072140-6-me@deliversmonkey.space>
On 12/24/23 15:48, Alexey Baturo wrote:
> From: Alexey Baturo <baturo.alexey@gmail.com>
>
> Signed-off-by: Alexey Baturo <baturo.alexey@gmail.com>
> ---
> target/riscv/translate.c | 23 +++++++++++++++++++++--
> target/riscv/vector_helper.c | 10 ++++++++++
> 2 files changed, 31 insertions(+), 2 deletions(-)
>
> diff --git a/target/riscv/translate.c b/target/riscv/translate.c
> index 1eb501e0d3..c0c5030e05 100644
> --- a/target/riscv/translate.c
> +++ b/target/riscv/translate.c
> @@ -575,11 +575,20 @@ static void gen_jal(DisasContext *ctx, int rd, target_ulong imm)
> /* Compute a canonical address from a register plus offset. */
> static TCGv get_address(DisasContext *ctx, int rs1, int imm)
> {
> + int pmlen = riscv_pm_get_pmlen(ctx->pm_pmm);
> TCGv addr = tcg_temp_new();
> TCGv src1 = get_gpr(ctx, rs1, EXT_NONE);
>
> tcg_gen_addi_tl(addr, src1, imm);
> - if (get_address_xl(ctx) == MXL_RV32) {
> + if (ctx->pm_pmm) {
> + tcg_gen_shli_tl(addr, addr, pmlen);
> + /* sign extend address by first non-masked bit otherwise zero extend */
> + if (ctx->pm_signext) {
> + tcg_gen_sari_tl(addr, addr, pmlen);
> + } else {
> + tcg_gen_shri_tl(addr, addr, pmlen);
> + }
> + } else if (get_address_xl(ctx) == MXL_RV32) {
> tcg_gen_ext32u_tl(addr, addr);
> }
>
> @@ -589,11 +598,21 @@ static TCGv get_address(DisasContext *ctx, int rs1, int imm)
> /* Compute a canonical address from a register plus reg offset. */
> static TCGv get_address_indexed(DisasContext *ctx, int rs1, TCGv offs)
> {
> + int pmlen = riscv_pm_get_pmlen(ctx->pm_pmm);
> TCGv addr = tcg_temp_new();
> TCGv src1 = get_gpr(ctx, rs1, EXT_NONE);
>
> tcg_gen_add_tl(addr, src1, offs);
> - if (get_xl(ctx) == MXL_RV32) {
> + /* sign extend address by first non-masked bit */
> + if (ctx->pm_pmm) {
> + tcg_gen_shli_tl(addr, addr, pmlen);
> + /* sign extend address by first non-masked bit otherwise zero extend */
> + if (ctx->pm_signext) {
> + tcg_gen_sari_tl(addr, addr, pmlen);
> + } else {
> + tcg_gen_shri_tl(addr, addr, pmlen);
> + }
> + } else if (get_xl(ctx) == MXL_RV32) {
> tcg_gen_ext32u_tl(addr, addr);
Use tcg_gen_{s}extract_tl instead of two shifts.
Also, it looks like it would be worth doing all of this once in riscv_tr_init_disas_context:
if (get_xl(ctx) == MXL_RV32) {
ctx->addr_width = 32;
ctx->addr_signed = false;
} else {
pm_pmm = FIELD_EX32(tb_flags, TB_FLAGS, PM_PMM);
ctx->addr_width = 64 - riscv_pm_get_pmlen(pm_pmm);
ctx->addr_signed = FIELD_EX32(tb_flags, TB_FLAGS, PM_SIGNEXTEND);
}
then here in get_address_indexed
if (ctx->addr_signed) {
tcg_gen_sextract_tl(addr, addr, ctx->addr_width);
} else {
tcg_gen_extract_tl(addr, addr, ctx->addr_width);
}
> diff --git a/target/riscv/vector_helper.c b/target/riscv/vector_helper.c
> index 8e7a8e80a0..faa8f5820d 100644
> --- a/target/riscv/vector_helper.c
> +++ b/target/riscv/vector_helper.c
> @@ -94,6 +94,16 @@ static inline uint32_t vext_max_elems(uint32_t desc, uint32_t log2_esz)
>
> static inline target_ulong adjust_addr(CPURISCVState *env, target_ulong addr)
> {
> + RISCVPmPmm pmm = riscv_pm_get_pmm(env);
> + int pmlen = riscv_pm_get_pmlen(pmm);
> + bool signext = !riscv_cpu_bare_mode(env);
> + addr = addr << pmlen;
> + /* sign/zero extend masked address by N-1 bit */
> + if (signext) {
> + addr = (target_long)addr >> pmlen;
> + } else {
> + addr = addr >> pmlen;
> + }
> return addr;
> }
I think you could usefully exit early when likely(pmm == PMM_FIELD_DISABLED), avoiding the
other computation.
r~
next prev parent reply other threads:[~2023-12-28 23:47 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-12-24 4:48 [PATCH v2 0/6] Pointer Masking update for Zjpm v0.8 Alexey Baturo
2023-12-24 4:48 ` [PATCH v2 1/6] target/riscv: Remove obsolete pointer masking extension code Alexey Baturo
2023-12-24 4:48 ` [PATCH v2 2/6] target/riscv: Add new CSR fields for S{sn, mn, m}pm extensions as part of Zjpm v0.8 Alexey Baturo
2023-12-24 4:48 ` [PATCH v2 3/6] target/riscv: Add helper functions to calculate current number of masked bits for pointer masking Alexey Baturo
2023-12-28 23:35 ` Richard Henderson
2023-12-24 4:48 ` [PATCH v2 4/6] target/riscv: Add pointer masking tb flags Alexey Baturo
2023-12-28 23:33 ` Richard Henderson
2023-12-29 16:53 ` Alexey Baturo
2023-12-24 4:48 ` [PATCH v2 5/6] target/riscv: Update address modify functions to take into account pointer masking Alexey Baturo
2023-12-28 23:46 ` Richard Henderson [this message]
2023-12-24 4:48 ` [PATCH v2 6/6] target/riscv: Enable updates for pointer masking variables and thus enable pointer masking extension Alexey Baturo
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=2e68509d-755c-473a-9d52-8ec5f947cc71@linaro.org \
--to=richard.henderson@linaro.org \
--cc=Alistair.Francis@wdc.com \
--cc=baturo.alexey@gmail.com \
--cc=kbastian@mail.uni-paderborn.de \
--cc=palmer@dabbelt.com \
--cc=qemu-devel@nongnu.org \
--cc=qemu-riscv@nongnu.org \
--cc=sagark@eecs.berkeley.edu \
--cc=zhiwei_liu@linux.alibaba.com \
/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).