diff mbox series

[v2,for-2.9,1/2] tcg/sparc: Zero extend data argument to store helpers

Message ID 1490871151-29029-2-git-send-email-peter.maydell@linaro.org
State Accepted
Commit 709a340d679d95a0c6cbb9b5f654498f04345b50
Headers show
Series tcg/sparc: zero extend ld/st helper args | expand

Commit Message

Peter Maydell March 30, 2017, 10:52 a.m. UTC
The C store helper functions take the data argument as a uint8_t,
uint16_t, etc depending on the store size. The SPARC calling
convention requires that data types smaller than the register
size must be extended by the caller. We weren't doing this,
which meant that if QEMU was compiled with optimizations enabled
we could end up storing incorrect values to guest memory.
(In particular the i386 guest BIOS would crash on startup.)

Add code to the trampolines that call the store helpers to
do the zero extension as required.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

---
v1->v2: fix incorrect argument order to emit_extend() for
sparc32 codepath; switch on op & MO_SIZE rather than just op.
---
 tcg/sparc/tcg-target.inc.c | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

-- 
2.7.4

Comments

Philippe Mathieu-Daudé March 30, 2017, 5:45 p.m. UTC | #1
On 03/30/2017 07:52 AM, Peter Maydell wrote:
> The C store helper functions take the data argument as a uint8_t,

> uint16_t, etc depending on the store size. The SPARC calling

> convention requires that data types smaller than the register

> size must be extended by the caller. We weren't doing this,

> which meant that if QEMU was compiled with optimizations enabled

> we could end up storing incorrect values to guest memory.

> (In particular the i386 guest BIOS would crash on startup.)

>

> Add code to the trampolines that call the store helpers to

> do the zero extension as required.

>

> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>


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


> ---

> v1->v2: fix incorrect argument order to emit_extend() for

> sparc32 codepath; switch on op & MO_SIZE rather than just op.

> ---

>  tcg/sparc/tcg-target.inc.c | 25 +++++++++++++++++++++++++

>  1 file changed, 25 insertions(+)

>

> diff --git a/tcg/sparc/tcg-target.inc.c b/tcg/sparc/tcg-target.inc.c

> index d1f4c0d..ab34039 100644

> --- a/tcg/sparc/tcg-target.inc.c

> +++ b/tcg/sparc/tcg-target.inc.c

> @@ -843,6 +843,29 @@ static void tcg_out_mb(TCGContext *s, TCGArg a0)

>  static tcg_insn_unit *qemu_ld_trampoline[16];

>  static tcg_insn_unit *qemu_st_trampoline[16];

>

> +static void emit_extend(TCGContext *s, TCGReg r, int op)

> +{

> +    /* Emit zero extend of 8, 16 or 32 bit data as

> +     * required by the MO_* value op; do nothing for 64 bit.

> +     */

> +    switch (op & MO_SIZE) {

> +    case MO_8:

> +        tcg_out_arithi(s, r, r, 0xff, ARITH_AND);

> +        break;

> +    case MO_16:

> +        tcg_out_arithi(s, r, r, 16, SHIFT_SLL);

> +        tcg_out_arithi(s, r, r, 16, SHIFT_SRL);

> +        break;

> +    case MO_32:

> +        if (SPARC64) {

> +            tcg_out_arith(s, r, r, 0, SHIFT_SRL);

> +        }

> +        break;

> +    case MO_64:

> +        break;

> +    }

> +}

> +

>  static void build_trampolines(TCGContext *s)

>  {

>      static void * const qemu_ld_helpers[16] = {

> @@ -910,6 +933,7 @@ static void build_trampolines(TCGContext *s)

>          qemu_st_trampoline[i] = s->code_ptr;

>

>          if (SPARC64) {

> +            emit_extend(s, TCG_REG_O2, i);

>              ra = TCG_REG_O4;

>          } else {

>              ra = TCG_REG_O1;

> @@ -925,6 +949,7 @@ static void build_trampolines(TCGContext *s)

>                  tcg_out_arithi(s, ra, ra + 1, 32, SHIFT_SRLX);

>                  ra += 2;

>              } else {

> +                emit_extend(s, ra, i);

>                  ra += 1;

>              }

>              /* Skip the oi argument.  */

>
diff mbox series

Patch

diff --git a/tcg/sparc/tcg-target.inc.c b/tcg/sparc/tcg-target.inc.c
index d1f4c0d..ab34039 100644
--- a/tcg/sparc/tcg-target.inc.c
+++ b/tcg/sparc/tcg-target.inc.c
@@ -843,6 +843,29 @@  static void tcg_out_mb(TCGContext *s, TCGArg a0)
 static tcg_insn_unit *qemu_ld_trampoline[16];
 static tcg_insn_unit *qemu_st_trampoline[16];
 
+static void emit_extend(TCGContext *s, TCGReg r, int op)
+{
+    /* Emit zero extend of 8, 16 or 32 bit data as
+     * required by the MO_* value op; do nothing for 64 bit.
+     */
+    switch (op & MO_SIZE) {
+    case MO_8:
+        tcg_out_arithi(s, r, r, 0xff, ARITH_AND);
+        break;
+    case MO_16:
+        tcg_out_arithi(s, r, r, 16, SHIFT_SLL);
+        tcg_out_arithi(s, r, r, 16, SHIFT_SRL);
+        break;
+    case MO_32:
+        if (SPARC64) {
+            tcg_out_arith(s, r, r, 0, SHIFT_SRL);
+        }
+        break;
+    case MO_64:
+        break;
+    }
+}
+
 static void build_trampolines(TCGContext *s)
 {
     static void * const qemu_ld_helpers[16] = {
@@ -910,6 +933,7 @@  static void build_trampolines(TCGContext *s)
         qemu_st_trampoline[i] = s->code_ptr;
 
         if (SPARC64) {
+            emit_extend(s, TCG_REG_O2, i);
             ra = TCG_REG_O4;
         } else {
             ra = TCG_REG_O1;
@@ -925,6 +949,7 @@  static void build_trampolines(TCGContext *s)
                 tcg_out_arithi(s, ra, ra + 1, 32, SHIFT_SRLX);
                 ra += 2;
             } else {
+                emit_extend(s, ra, i);
                 ra += 1;
             }
             /* Skip the oi argument.  */