From: Rishab Pradeep via qemu development <qemu-devel@nongnu.org>
To: qemu-devel@nongnu.org
Cc: qemu-riscv@nongnu.org, Palmer Dabbelt <palmer@dabbelt.com>,
Alistair Francis <alistair.francis@wdc.com>,
Weiwei Li <liwei1518@gmail.com>,
Daniel Henrique Barboza <daniel.barboza@oss.qualcomm.com>,
Liu Zhiwei <zhiwei_liu@linux.alibaba.com>,
Chao Liu <chao.liu@processmission.com>,
Tarun Patanjali <tarun.patanjali@utexas.edu>,
Chris Elwood <christopher.elwood2024@gmail.com>,
Rishab Pradeep <rishab@rispop.dev>
Subject: [PATCH 2/2] target/riscv: Apply pointer masking to SSPUSH/SSPOPCHK addresses
Date: Thu, 29 Oct 2026 13:37:51 -0500 [thread overview]
Message-ID: <20261029183751.11143-3-rishab@rispop.dev> (raw)
In-Reply-To: <20261029183751.11143-1-rishab@rispop.dev>
SSPUSH and SSPOPCHK form their effective address from ssp rather than
a GPR, so they bypass get_address() and the pointer-masking ignore
transformation is never applied. With pointer masking enabled, a
tagged ssp raises a store/AMO page fault, while SSAMOSWAP through the
same tagged pointer succeeds.
Apply gen_pm_adjust_addr() to the ssp-derived address. ssp itself is
still written back unmasked, and the SSPOPCHK comparison of the loaded
value against rs1 is unchanged.
Resolves: https://gitlab.com/qemu-project/qemu/-/issues/4758
Co-developed-by: Tarun Patanjali <tarun.patanjali@utexas.edu>
Signed-off-by: Tarun Patanjali <tarun.patanjali@utexas.edu>
Co-developed-by: Chris Elwood <christopher.elwood2024@gmail.com>
Signed-off-by: Chris Elwood <christopher.elwood2024@gmail.com>
Signed-off-by: Rishab Pradeep <rishab@rispop.dev>
---
target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc b/target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc
index d47a9f9c7d..c2dddcc8bb 100644
--- a/target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc
+++ b/target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc
@@ -29,6 +29,7 @@ static bool trans_sspopchk(DisasContext *ctx, arg_sspopchk *a)
}
TCGv addr = tcg_temp_new();
+ TCGv maddr = tcg_temp_new();
TCGLabel *skip = gen_new_label();
uint32_t tmp = (get_xl(ctx) == MXL_RV64) ? 8 : 4;
TCGv data = tcg_temp_new();
@@ -36,8 +37,9 @@ static bool trans_sspopchk(DisasContext *ctx, arg_sspopchk *a)
TCGv_i64 wide_addr = tcg_temp_new_i64();
tcg_gen_ld_i64(wide_addr, tcg_env, offsetof(CPURISCVState, ssp));
tcg_gen_trunc_i64_tl(addr, wide_addr);
+ gen_pm_adjust_addr(ctx, maddr, addr);
decode_save_opc(ctx, RISCV_UW2_ALWAYS_STORE_AMO);
- tcg_gen_qemu_ld_tl(data, addr, SS_MMU_INDEX(ctx),
+ tcg_gen_qemu_ld_tl(data, maddr, SS_MMU_INDEX(ctx),
mxl_memop(ctx) | MO_ALIGN);
TCGv rs1 = get_gpr(ctx, a->rs1, EXT_NONE);
tcg_gen_brcond_tl(TCG_COND_EQ, data, rs1, skip);
@@ -60,6 +62,7 @@ static bool trans_sspush(DisasContext *ctx, arg_sspush *a)
}
TCGv addr = tcg_temp_new();
+ TCGv maddr = tcg_temp_new();
int tmp = (get_xl(ctx) == MXL_RV64) ? -8 : -4;
TCGv data = get_gpr(ctx, a->rs2, EXT_NONE);
TCGv_i64 wide_addr = tcg_temp_new_i64();
@@ -67,7 +70,8 @@ static bool trans_sspush(DisasContext *ctx, arg_sspush *a)
tcg_gen_ld_i64(wide_addr, tcg_env, offsetof(CPURISCVState, ssp));
tcg_gen_trunc_i64_tl(addr, wide_addr);
tcg_gen_addi_tl(addr, addr, tmp);
- tcg_gen_qemu_st_tl(data, addr, SS_MMU_INDEX(ctx),
+ gen_pm_adjust_addr(ctx, maddr, addr);
+ tcg_gen_qemu_st_tl(data, maddr, SS_MMU_INDEX(ctx),
mxl_memop(ctx) | MO_ALIGN);
tcg_gen_ext_tl_i64(wide_addr, addr);
tcg_gen_st_i64(wide_addr, tcg_env, offsetof(CPURISCVState, ssp));
--
2.54.0 (Apple Git-157)
WARNING: multiple messages have this Message-ID (diff)
From: Rishab Pradeep via <qemu-riscv@nongnu.org>
To: qemu-devel@nongnu.org
Cc: qemu-riscv@nongnu.org, Palmer Dabbelt <palmer@dabbelt.com>,
Alistair Francis <alistair.francis@wdc.com>,
Weiwei Li <liwei1518@gmail.com>,
Daniel Henrique Barboza <daniel.barboza@oss.qualcomm.com>,
Liu Zhiwei <zhiwei_liu@linux.alibaba.com>,
Chao Liu <chao.liu@processmission.com>,
Tarun Patanjali <tarun.patanjali@utexas.edu>,
Chris Elwood <christopher.elwood2024@gmail.com>,
Rishab Pradeep <rishab@rispop.dev>
Subject: [PATCH 2/2] target/riscv: Apply pointer masking to SSPUSH/SSPOPCHK addresses
Date: Thu, 29 Oct 2026 13:37:51 -0500 [thread overview]
Message-ID: <20261029183751.11143-3-rishab@rispop.dev> (raw)
In-Reply-To: <20261029183751.11143-1-rishab@rispop.dev>
SSPUSH and SSPOPCHK form their effective address from ssp rather than
a GPR, so they bypass get_address() and the pointer-masking ignore
transformation is never applied. With pointer masking enabled, a
tagged ssp raises a store/AMO page fault, while SSAMOSWAP through the
same tagged pointer succeeds.
Apply gen_pm_adjust_addr() to the ssp-derived address. ssp itself is
still written back unmasked, and the SSPOPCHK comparison of the loaded
value against rs1 is unchanged.
Resolves: https://gitlab.com/qemu-project/qemu/-/issues/4758
Co-developed-by: Tarun Patanjali <tarun.patanjali@utexas.edu>
Signed-off-by: Tarun Patanjali <tarun.patanjali@utexas.edu>
Co-developed-by: Chris Elwood <christopher.elwood2024@gmail.com>
Signed-off-by: Chris Elwood <christopher.elwood2024@gmail.com>
Signed-off-by: Rishab Pradeep <rishab@rispop.dev>
---
target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc b/target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc
index d47a9f9c7d..c2dddcc8bb 100644
--- a/target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc
+++ b/target/riscv/tcg/insn_trans/trans_rvzicfiss.c.inc
@@ -29,6 +29,7 @@ static bool trans_sspopchk(DisasContext *ctx, arg_sspopchk *a)
}
TCGv addr = tcg_temp_new();
+ TCGv maddr = tcg_temp_new();
TCGLabel *skip = gen_new_label();
uint32_t tmp = (get_xl(ctx) == MXL_RV64) ? 8 : 4;
TCGv data = tcg_temp_new();
@@ -36,8 +37,9 @@ static bool trans_sspopchk(DisasContext *ctx, arg_sspopchk *a)
TCGv_i64 wide_addr = tcg_temp_new_i64();
tcg_gen_ld_i64(wide_addr, tcg_env, offsetof(CPURISCVState, ssp));
tcg_gen_trunc_i64_tl(addr, wide_addr);
+ gen_pm_adjust_addr(ctx, maddr, addr);
decode_save_opc(ctx, RISCV_UW2_ALWAYS_STORE_AMO);
- tcg_gen_qemu_ld_tl(data, addr, SS_MMU_INDEX(ctx),
+ tcg_gen_qemu_ld_tl(data, maddr, SS_MMU_INDEX(ctx),
mxl_memop(ctx) | MO_ALIGN);
TCGv rs1 = get_gpr(ctx, a->rs1, EXT_NONE);
tcg_gen_brcond_tl(TCG_COND_EQ, data, rs1, skip);
@@ -60,6 +62,7 @@ static bool trans_sspush(DisasContext *ctx, arg_sspush *a)
}
TCGv addr = tcg_temp_new();
+ TCGv maddr = tcg_temp_new();
int tmp = (get_xl(ctx) == MXL_RV64) ? -8 : -4;
TCGv data = get_gpr(ctx, a->rs2, EXT_NONE);
TCGv_i64 wide_addr = tcg_temp_new_i64();
@@ -67,7 +70,8 @@ static bool trans_sspush(DisasContext *ctx, arg_sspush *a)
tcg_gen_ld_i64(wide_addr, tcg_env, offsetof(CPURISCVState, ssp));
tcg_gen_trunc_i64_tl(addr, wide_addr);
tcg_gen_addi_tl(addr, addr, tmp);
- tcg_gen_qemu_st_tl(data, addr, SS_MMU_INDEX(ctx),
+ gen_pm_adjust_addr(ctx, maddr, addr);
+ tcg_gen_qemu_st_tl(data, maddr, SS_MMU_INDEX(ctx),
mxl_memop(ctx) | MO_ALIGN);
tcg_gen_ext_tl_i64(wide_addr, addr);
tcg_gen_st_i64(wide_addr, tcg_env, offsetof(CPURISCVState, ssp));
--
2.54.0 (Apple Git-157)
next prev parent reply other threads:[~2026-10-29 19:47 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-29 18:37 [PATCH 0/2] target/riscv: Apply pointer masking to SSPUSH/SSPOPCHK Rishab Pradeep via qemu development
2026-10-29 18:37 ` Rishab Pradeep via
2026-10-29 18:37 ` [PATCH 1/2] target/riscv: Factor out pointer-masking address adjustment Rishab Pradeep via qemu development
2026-10-29 18:37 ` Rishab Pradeep via
2026-10-29 18:37 ` Rishab Pradeep via qemu development [this message]
2026-10-29 18:37 ` [PATCH 2/2] target/riscv: Apply pointer masking to SSPUSH/SSPOPCHK addresses Rishab Pradeep via
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=20261029183751.11143-3-rishab@rispop.dev \
--to=qemu-devel@nongnu.org \
--cc=alistair.francis@wdc.com \
--cc=chao.liu@processmission.com \
--cc=christopher.elwood2024@gmail.com \
--cc=daniel.barboza@oss.qualcomm.com \
--cc=liwei1518@gmail.com \
--cc=palmer@dabbelt.com \
--cc=qemu-riscv@nongnu.org \
--cc=rishab@rispop.dev \
--cc=tarun.patanjali@utexas.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.