qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
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



  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).