diff mbox series

[v5,58/67] accel/tcg: Report unaligned atomics for user-only

Message ID 20211015041053.2769193-59-richard.henderson@linaro.org
State Superseded
Headers show
Series user-only: Cleanup SIGSEGV and SIGBUS handling | expand

Commit Message

Richard Henderson Oct. 15, 2021, 4:10 a.m. UTC
Use the new cpu_loop_exit_sigbus for atomic_mmu_lookup, which
has access to complete alignment info from the TCGMemOpIdx arg.

Reviewed-by: Alex Bennée <alex.bennee@linaro.org>

Signed-off-by: Richard Henderson <richard.henderson@linaro.org>

---
 accel/tcg/user-exec.c | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

-- 
2.25.1

Comments

Warner Losh Oct. 15, 2021, 7:08 p.m. UTC | #1
On Thu, Oct 14, 2021 at 10:14 PM Richard Henderson <
richard.henderson@linaro.org> wrote:

> Use the new cpu_loop_exit_sigbus for atomic_mmu_lookup, which

> has access to complete alignment info from the TCGMemOpIdx arg.

>

> Reviewed-by: Alex Bennée <alex.bennee@linaro.org>

> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>

> ---

>  accel/tcg/user-exec.c | 13 ++++++++++++-

>  1 file changed, 12 insertions(+), 1 deletion(-)

>


Reviewed-by: Warner Losh <imp@bsdimp.com>




> diff --git a/accel/tcg/user-exec.c b/accel/tcg/user-exec.c

> index 5646f8e527..92cbffd7c6 100644

> --- a/accel/tcg/user-exec.c

> +++ b/accel/tcg/user-exec.c

> @@ -476,11 +476,22 @@ static void *atomic_mmu_lookup(CPUArchState *env,

> target_ulong addr,

>                                 MemOpIdx oi, int size, int prot,

>                                 uintptr_t retaddr)

>  {

> +    MemOp mop = get_memop(oi);

> +    int a_bits = get_alignment_bits(mop);

> +    void *ret;

> +

> +    /* Enforce guest required alignment.  */

> +    if (unlikely(addr & ((1 << a_bits) - 1))) {

> +        MMUAccessType t = prot == PAGE_READ ? MMU_DATA_LOAD :

> MMU_DATA_STORE;

> +        cpu_loop_exit_sigbus(env_cpu(env), addr, t, retaddr);

> +    }

> +

>      /* Enforce qemu required alignment.  */

>      if (unlikely(addr & (size - 1))) {

>          cpu_loop_exit_atomic(env_cpu(env), retaddr);

>      }

> -    void *ret = g2h(env_cpu(env), addr);

> +

> +    ret = g2h(env_cpu(env), addr);

>      set_helper_retaddr(retaddr);

>      return ret;

>  }

> --

> 2.25.1

>

>
<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Oct 14, 2021 at 10:14 PM Richard Henderson &lt;<a href="mailto:richard.henderson@linaro.org">richard.henderson@linaro.org</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Use the new cpu_loop_exit_sigbus for atomic_mmu_lookup, which<br>
has access to complete alignment info from the TCGMemOpIdx arg.<br>
<br>
Reviewed-by: Alex Bennée &lt;<a href="mailto:alex.bennee@linaro.org" target="_blank">alex.bennee@linaro.org</a>&gt;<br>

Signed-off-by: Richard Henderson &lt;<a href="mailto:richard.henderson@linaro.org" target="_blank">richard.henderson@linaro.org</a>&gt;<br>

---<br>
 accel/tcg/user-exec.c | 13 ++++++++++++-<br>
 1 file changed, 12 insertions(+), 1 deletion(-)<br></blockquote><div><br></div><div><div>Reviewed-by: Warner Losh &lt;<a href="mailto:imp@bsdimp.com">imp@bsdimp.com</a>&gt;</div><div><br></div></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
diff --git a/accel/tcg/user-exec.c b/accel/tcg/user-exec.c<br>
index 5646f8e527..92cbffd7c6 100644<br>
--- a/accel/tcg/user-exec.c<br>
+++ b/accel/tcg/user-exec.c<br>
@@ -476,11 +476,22 @@ static void *atomic_mmu_lookup(CPUArchState *env, target_ulong addr,<br>
                                MemOpIdx oi, int size, int prot,<br>
                                uintptr_t retaddr)<br>
 {<br>
+    MemOp mop = get_memop(oi);<br>
+    int a_bits = get_alignment_bits(mop);<br>
+    void *ret;<br>
+<br>
+    /* Enforce guest required alignment.  */<br>
+    if (unlikely(addr &amp; ((1 &lt;&lt; a_bits) - 1))) {<br>
+        MMUAccessType t = prot == PAGE_READ ? MMU_DATA_LOAD : MMU_DATA_STORE;<br>
+        cpu_loop_exit_sigbus(env_cpu(env), addr, t, retaddr);<br>
+    }<br>
+<br>
     /* Enforce qemu required alignment.  */<br>
     if (unlikely(addr &amp; (size - 1))) {<br>
         cpu_loop_exit_atomic(env_cpu(env), retaddr);<br>
     }<br>
-    void *ret = g2h(env_cpu(env), addr);<br>
+<br>
+    ret = g2h(env_cpu(env), addr);<br>
     set_helper_retaddr(retaddr);<br>
     return ret;<br>
 }<br>
-- <br>
2.25.1<br>
<br>
</blockquote></div></div>
Philippe Mathieu-Daudé Oct. 29, 2021, 11:43 p.m. UTC | #2
On 10/15/21 06:10, Richard Henderson wrote:
> Use the new cpu_loop_exit_sigbus for atomic_mmu_lookup, which

> has access to complete alignment info from the TCGMemOpIdx arg.

> 

> Reviewed-by: Alex Bennée <alex.bennee@linaro.org>

> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>

> ---

>  accel/tcg/user-exec.c | 13 ++++++++++++-

>  1 file changed, 12 insertions(+), 1 deletion(-)

> 

> diff --git a/accel/tcg/user-exec.c b/accel/tcg/user-exec.c

> index 5646f8e527..92cbffd7c6 100644

> --- a/accel/tcg/user-exec.c

> +++ b/accel/tcg/user-exec.c

> @@ -476,11 +476,22 @@ static void *atomic_mmu_lookup(CPUArchState *env, target_ulong addr,

>                                 MemOpIdx oi, int size, int prot,

>                                 uintptr_t retaddr)

>  {

> +    MemOp mop = get_memop(oi);

> +    int a_bits = get_alignment_bits(mop);

> +    void *ret;

> +

> +    /* Enforce guest required alignment.  */

> +    if (unlikely(addr & ((1 << a_bits) - 1))) {


           QEMU_IS_ALIGNED(addr, 1 << a_bits) ?

> +        MMUAccessType t = prot == PAGE_READ ? MMU_DATA_LOAD : MMU_DATA_STORE;

> +        cpu_loop_exit_sigbus(env_cpu(env), addr, t, retaddr);

> +    }


Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
diff mbox series

Patch

diff --git a/accel/tcg/user-exec.c b/accel/tcg/user-exec.c
index 5646f8e527..92cbffd7c6 100644
--- a/accel/tcg/user-exec.c
+++ b/accel/tcg/user-exec.c
@@ -476,11 +476,22 @@  static void *atomic_mmu_lookup(CPUArchState *env, target_ulong addr,
                                MemOpIdx oi, int size, int prot,
                                uintptr_t retaddr)
 {
+    MemOp mop = get_memop(oi);
+    int a_bits = get_alignment_bits(mop);
+    void *ret;
+
+    /* Enforce guest required alignment.  */
+    if (unlikely(addr & ((1 << a_bits) - 1))) {
+        MMUAccessType t = prot == PAGE_READ ? MMU_DATA_LOAD : MMU_DATA_STORE;
+        cpu_loop_exit_sigbus(env_cpu(env), addr, t, retaddr);
+    }
+
     /* Enforce qemu required alignment.  */
     if (unlikely(addr & (size - 1))) {
         cpu_loop_exit_atomic(env_cpu(env), retaddr);
     }
-    void *ret = g2h(env_cpu(env), addr);
+
+    ret = g2h(env_cpu(env), addr);
     set_helper_retaddr(retaddr);
     return ret;
 }