From: Richard Henderson <richard.henderson@linaro.org>
To: qemu-devel@nongnu.org
Cc: deller@gmx.de
Subject: [PATCH v2 40/45] target/hppa: Adjust priv for B,GATE at runtime
Date: Mon, 13 May 2024 09:47:12 +0200 [thread overview]
Message-ID: <20240513074717.130949-41-richard.henderson@linaro.org> (raw)
In-Reply-To: <20240513074717.130949-1-richard.henderson@linaro.org>
Do not compile in the priv change based on the first
translation; look up the PTE at execution time.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
---
target/hppa/cpu.h | 1 -
target/hppa/helper.h | 1 +
target/hppa/mem_helper.c | 34 +++++++++++++++++++++++++++-------
target/hppa/translate.c | 36 +++++++++++++++++++-----------------
4 files changed, 47 insertions(+), 25 deletions(-)
diff --git a/target/hppa/cpu.h b/target/hppa/cpu.h
index 78ab0adcd0..2bcb3b602b 100644
--- a/target/hppa/cpu.h
+++ b/target/hppa/cpu.h
@@ -380,7 +380,6 @@ void hppa_cpu_do_transaction_failed(CPUState *cs, hwaddr physaddr,
extern const MemoryRegionOps hppa_io_eir_ops;
extern const VMStateDescription vmstate_hppa_cpu;
void hppa_cpu_alarm_timer(void *);
-int hppa_artype_for_page(CPUHPPAState *env, target_ulong vaddr);
#endif
G_NORETURN void hppa_dynamic_excp(CPUHPPAState *env, int excp, uintptr_t ra);
diff --git a/target/hppa/helper.h b/target/hppa/helper.h
index c12b48a04a..de411923d9 100644
--- a/target/hppa/helper.h
+++ b/target/hppa/helper.h
@@ -86,6 +86,7 @@ DEF_HELPER_1(halt, noreturn, env)
DEF_HELPER_1(reset, noreturn, env)
DEF_HELPER_1(rfi, void, env)
DEF_HELPER_1(rfi_r, void, env)
+DEF_HELPER_FLAGS_2(b_gate_priv, TCG_CALL_NO_WG, i64, env, i64)
DEF_HELPER_FLAGS_2(write_interval_timer, TCG_CALL_NO_RWG, void, env, tl)
DEF_HELPER_FLAGS_2(write_eirr, TCG_CALL_NO_RWG, void, env, tl)
DEF_HELPER_FLAGS_2(swap_system_mask, TCG_CALL_NO_RWG, tl, env, tl)
diff --git a/target/hppa/mem_helper.c b/target/hppa/mem_helper.c
index 2929226874..b984f730aa 100644
--- a/target/hppa/mem_helper.c
+++ b/target/hppa/mem_helper.c
@@ -691,13 +691,6 @@ target_ulong HELPER(lpa)(CPUHPPAState *env, target_ulong addr)
return phys;
}
-/* Return the ar_type of the TLB at VADDR, or -1. */
-int hppa_artype_for_page(CPUHPPAState *env, target_ulong vaddr)
-{
- HPPATLBEntry *ent = hppa_find_tlb(env, vaddr);
- return ent ? ent->ar_type : -1;
-}
-
/*
* diag_btlb() emulates the PDC PDC_BLOCK_TLB firmware call to
* allow operating systems to modify the Block TLB (BTLB) entries.
@@ -793,3 +786,30 @@ void HELPER(diag_btlb)(CPUHPPAState *env)
break;
}
}
+
+uint64_t HELPER(b_gate_priv)(CPUHPPAState *env, uint64_t iaoq_f)
+{
+ uint64_t gva = hppa_form_gva(env, env->iasq_f, iaoq_f);
+ HPPATLBEntry *ent = hppa_find_tlb(env, gva);
+
+ if (ent == NULL) {
+ raise_exception_with_ior(env, EXCP_ITLB_MISS, GETPC(), gva, false);
+ }
+
+ /*
+ * There should be no need to check page permissions, as that will
+ * already have been done by tb_lookup via get_page_addr_code.
+ * All we need at this point is to check the ar_type.
+ *
+ * No change for non-gateway pages or for priv decrease.
+ */
+ if (ent->ar_type & 4) {
+ int old_priv = iaoq_f & 3;
+ int new_priv = ent->ar_type & 3;
+
+ if (new_priv < old_priv) {
+ iaoq_f = (iaoq_f & -4) | new_priv;
+ }
+ }
+ return iaoq_f;
+}
diff --git a/target/hppa/translate.c b/target/hppa/translate.c
index 2d8410b8ea..fa79116d5b 100644
--- a/target/hppa/translate.c
+++ b/target/hppa/translate.c
@@ -3960,6 +3960,7 @@ static bool trans_bl(DisasContext *ctx, arg_bl *a)
static bool trans_b_gate(DisasContext *ctx, arg_b_gate *a)
{
int64_t disp = a->disp;
+ bool indirect = false;
/* Trap if PSW[B] is set. */
if (ctx->psw_xb & PSW_B) {
@@ -3969,24 +3970,22 @@ static bool trans_b_gate(DisasContext *ctx, arg_b_gate *a)
nullify_over(ctx);
#ifndef CONFIG_USER_ONLY
- if (ctx->tb_flags & PSW_C) {
- int type = hppa_artype_for_page(cpu_env(ctx->cs), ctx->base.pc_next);
- /* If we could not find a TLB entry, then we need to generate an
- ITLB miss exception so the kernel will provide it.
- The resulting TLB fill operation will invalidate this TB and
- we will re-translate, at which point we *will* be able to find
- the TLB entry and determine if this is in fact a gateway page. */
- if (type < 0) {
- gen_excp(ctx, EXCP_ITLB_MISS);
- return true;
- }
- /* No change for non-gateway pages or for priv decrease. */
- if (type >= 4 && type - 4 < ctx->privilege) {
- disp -= ctx->privilege;
- disp += type - 4;
- }
+ if (ctx->privilege == 0) {
+ /* Privilege cannot decrease. */
+ } else if (!(ctx->tb_flags & PSW_C)) {
+ /* With paging disabled, priv becomes 0. */
+ disp -= ctx->privilege;
} else {
- disp -= ctx->privilege; /* priv = 0 */
+ /* Adjust the dest offset for the privilege change from the PTE. */
+ TCGv_i64 off = tcg_temp_new_i64();
+
+ gen_helper_b_gate_priv(off, tcg_env,
+ tcg_constant_i64(ctx->iaoq_first
+ + ctx->iaq_f.disp));
+
+ ctx->iaq_j.base = off;
+ ctx->iaq_j.disp = disp + 8;
+ indirect = true;
}
#endif
@@ -3999,6 +3998,9 @@ static bool trans_b_gate(DisasContext *ctx, arg_b_gate *a)
save_gpr(ctx, a->l, tmp);
}
+ if (indirect) {
+ return do_ibranch(ctx, 0, false, a->n);
+ }
return do_dbranch(ctx, disp, 0, a->n);
}
--
2.34.1
next prev parent reply other threads:[~2024-05-13 7:53 UTC|newest]
Thread overview: 100+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-05-13 7:46 [PATCH v2 00/45] target/hppa: Misc improvements Richard Henderson
2024-05-13 7:46 ` [PATCH v2 01/45] target/hppa: Move cpu_get_tb_cpu_state out of line Richard Henderson
2024-05-14 13:49 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 02/45] target/hppa: Use hppa_form_gva_psw in hppa_cpu_get_pc Richard Henderson
2024-05-14 14:05 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 03/45] target/hppa: Move constant destination check into use_goto_tb Richard Henderson
2024-05-14 14:06 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 04/45] target/hppa: Pass displacement to do_dbranch Richard Henderson
2024-05-14 14:07 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 05/45] target/hppa: Allow prior nullification in do_ibranch Richard Henderson
2024-05-14 14:09 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 06/45] target/hppa: Use CF_BP_PAGE instead of cpu_breakpoint_test Richard Henderson
2024-05-14 14:12 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 07/45] target/hppa: Add install_iaq_entries Richard Henderson
2024-05-14 14:23 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 08/45] target/hppa: Add install_link Richard Henderson
2024-05-14 14:37 ` Helge Deller
2024-05-14 15:43 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 09/45] target/hppa: Delay computation of IAQ_Next Richard Henderson
2024-05-14 14:39 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 10/45] target/hppa: Skip nullified insns in unconditional dbranch path Richard Henderson
2024-05-14 14:40 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 11/45] target/hppa: Simplify TB end Richard Henderson
2024-05-14 14:43 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 12/45] target/hppa: Add IASQ entries to DisasContext Richard Henderson
2024-05-14 15:23 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 13/45] target/hppa: Add space arguments to install_iaq_entries Richard Henderson
2024-05-14 15:27 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 14/45] target/hppa: Add space argument to do_ibranch Richard Henderson
2024-05-14 15:35 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 15/45] target/hppa: Use umax in do_ibranch_priv Richard Henderson
2024-05-13 11:18 ` Philippe Mathieu-Daudé
2024-05-13 13:23 ` Richard Henderson
2024-05-13 14:15 ` Philippe Mathieu-Daudé
2024-05-13 7:46 ` [PATCH v2 16/45] target/hppa: Always make a copy " Richard Henderson
2024-05-13 10:33 ` Philippe Mathieu-Daudé
2024-05-13 7:46 ` [PATCH v2 17/45] target/hppa: Introduce and use DisasIAQE for branch management Richard Henderson
2024-05-14 15:48 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 18/45] target/hppa: Use displacements in DisasIAQE Richard Henderson
2024-05-14 15:54 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 19/45] target/hppa: Rename cond_make_* helpers Richard Henderson
2024-05-13 9:27 ` Philippe Mathieu-Daudé
2024-05-14 16:17 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 20/45] target/hppa: Use TCG_COND_TST* in do_cond Richard Henderson
2024-05-14 16:23 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 21/45] target/hppa: Use TCG_COND_TST* in do_log_cond Richard Henderson
2024-05-14 16:27 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 22/45] target/hppa: Use TCG_COND_TST* in do_unit_zero_cond Richard Henderson
2024-05-14 16:28 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 23/45] target/hppa: Use TCG_COND_TST* in do_unit_addsub Richard Henderson
2024-05-13 9:37 ` Philippe Mathieu-Daudé
2024-05-14 16:29 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 24/45] target/hppa: Use TCG_COND_TST* in trans_bb_imm Richard Henderson
2024-05-13 10:18 ` Philippe Mathieu-Daudé
2024-05-14 16:36 ` Helge Deller
2024-05-15 7:28 ` Richard Henderson
2024-05-13 7:46 ` [PATCH v2 25/45] target/hppa: Use registerfields.h for FPSR Richard Henderson
2024-05-14 18:03 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 26/45] target/hppa: Use TCG_COND_TST* in trans_ftest Richard Henderson
2024-05-13 10:27 ` Philippe Mathieu-Daudé
2024-05-14 18:05 ` Helge Deller
2024-05-13 7:46 ` [PATCH v2 27/45] target/hppa: Remove cond_free Richard Henderson
2024-05-13 10:24 ` Philippe Mathieu-Daudé
2024-05-14 18:15 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 28/45] target/hppa: Introduce DisasDelayException Richard Henderson
2024-05-14 18:49 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 29/45] target/hppa: Use delay_excp for conditional traps Richard Henderson
2024-05-14 18:55 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 30/45] target/hppa: Use delay_excp for conditional trap on overflow Richard Henderson
2024-05-14 19:00 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 31/45] linux-user/hppa: Force all code addresses to PRIV_USER Richard Henderson
2024-05-14 19:58 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 32/45] target/hppa: Store full iaoq_f and page offset of iaoq_b in TB Richard Henderson
2024-05-14 20:11 ` Helge Deller
2024-05-15 7:35 ` Richard Henderson
2024-05-13 7:47 ` [PATCH v2 33/45] target/hppa: Do not mask in copy_iaoq_entry Richard Henderson
2024-05-14 20:13 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 34/45] target/hppa: Improve hppa_cpu_dump_state Richard Henderson
2024-05-14 20:16 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 35/45] target/hppa: Split PSW X and B into their own field Richard Henderson
2024-05-13 10:30 ` Philippe Mathieu-Daudé
2024-05-14 20:22 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 36/45] target/hppa: Manage PSW_X and PSW_B in translator Richard Henderson
2024-05-14 21:18 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 37/45] target/hppa: Implement PSW_B Richard Henderson
2024-05-14 21:19 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 38/45] target/hppa: Implement PSW_X Richard Henderson
2024-05-14 21:22 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 39/45] target/hppa: Drop tlb_entry return from hppa_get_physical_address Richard Henderson
2024-05-13 9:26 ` Philippe Mathieu-Daudé
2024-05-14 21:23 ` Helge Deller
2024-05-13 7:47 ` Richard Henderson [this message]
2024-05-14 21:26 ` [PATCH v2 40/45] target/hppa: Adjust priv for B,GATE at runtime Helge Deller
2024-05-13 7:47 ` [PATCH v2 41/45] target/hppa: Implement CF_PCREL Richard Henderson
2024-05-14 21:32 ` Helge Deller
2024-05-13 7:47 ` [PATCH v2 42/45] target/hppa: Implement PSW_T Richard Henderson
2024-05-13 7:47 ` [PATCH v2 43/45] target/hppa: Implement PSW_H, PSW_L Richard Henderson
2024-05-13 7:47 ` [PATCH v2 44/45] target/hppa: Log cpu state at interrupt Richard Henderson
2024-05-13 7:47 ` [PATCH v2 45/45] target/hppa: Log cpu state on return-from-interrupt Richard Henderson
2024-05-14 14:02 ` [PATCH v2 00/45] target/hppa: Misc improvements Helge Deller
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=20240513074717.130949-41-richard.henderson@linaro.org \
--to=richard.henderson@linaro.org \
--cc=deller@gmx.de \
--cc=qemu-devel@nongnu.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).