qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: Ilya Leoshkevich <iii@linux.ibm.com>
To: Richard Henderson <richard.henderson@linaro.org>, qemu-devel@nongnu.org
Cc: David Hildenbrand <david@redhat.com>,
	Thomas Huth <thuth@redhat.com>,
	qemu-s390x@nongnu.org
Subject: Re: [PATCH v3 13/20] target/s390x: Drop free_compare
Date: Mon, 06 Mar 2023 11:50:34 +0100	[thread overview]
Message-ID: <7e64c76121afe5e0d158fd542b77755d65530d35.camel@linux.ibm.com> (raw)
In-Reply-To: <20230304181900.1097116-14-richard.henderson@linaro.org>

On Sat, 2023-03-04 at 10:18 -0800, Richard Henderson wrote:
> Translators are no longer required to free tcg temporaries.
> Remove the g1 and g2 members of DisasCompare, as they were
> used to track which temps needed to be freed.
> 
> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
> ---
> Cc: David Hildenbrand <david@redhat.com>
> Cc: Ilya Leoshkevich <iii@linux.ibm.com>
> Cc: Thomas Huth <thuth@redhat.com>
> Cc: qemu-s390x@nongnu.org
> ---
>  target/s390x/tcg/translate.c | 46 +---------------------------------
> --
>  1 file changed, 1 insertion(+), 45 deletions(-)
> 
> diff --git a/target/s390x/tcg/translate.c
> b/target/s390x/tcg/translate.c
> index 811049ea28..76a1233946 100644
> --- a/target/s390x/tcg/translate.c
> +++ b/target/s390x/tcg/translate.c
> @@ -156,8 +156,6 @@ struct DisasContext {
>  typedef struct {
>      TCGCond cond:8;
>      bool is_64;
> -    bool g1;
> -    bool g2;
>      union {
>          struct { TCGv_i64 a, b; } s64;
>          struct { TCGv_i32 a, b; } s32;
> @@ -722,7 +720,6 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>          c->cond = (mask ? TCG_COND_ALWAYS : TCG_COND_NEVER);
>          c->u.s32.a = cc_op;
>          c->u.s32.b = cc_op;
> -        c->g1 = c->g2 = true;
>          c->is_64 = false;
>          return;
>      }
> @@ -839,7 +836,6 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>  
>      /* Load up the arguments of the comparison.  */
>      c->is_64 = true;
> -    c->g1 = c->g2 = false;
>      switch (old_cc_op) {
>      case CC_OP_LTGT0_32:
>          c->is_64 = false;
> @@ -861,13 +857,11 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>      case CC_OP_FLOGR:
>          c->u.s64.a = cc_dst;
>          c->u.s64.b = tcg_constant_i64(0);
> -        c->g1 = true;
>          break;
>      case CC_OP_LTGT_64:
>      case CC_OP_LTUGTU_64:
>          c->u.s64.a = cc_src;
>          c->u.s64.b = cc_dst;
> -        c->g1 = c->g2 = true;
>          break;
>  
>      case CC_OP_TM_32:
> @@ -882,7 +876,6 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>      case CC_OP_SUBU:
>          c->is_64 = true;
>          c->u.s64.b = tcg_constant_i64(0);
> -        c->g1 = true;
>          switch (mask) {
>          case 8 | 2:
>          case 4 | 1: /* result */
> @@ -900,7 +893,6 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>      case CC_OP_STATIC:
>          c->is_64 = false;
>          c->u.s32.a = cc_op;
> -        c->g1 = true;
>          switch (mask) {
>          case 0x8 | 0x4 | 0x2: /* cc != 3 */
>              cond = TCG_COND_NE;
> @@ -916,7 +908,6 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>              break;
>          case 0x8 | 0x2: /* cc == 0 || cc == 2 => (cc & 1) == 0 */
>              cond = TCG_COND_EQ;
> -            c->g1 = false;
>              c->u.s32.a = tcg_temp_new_i32();
>              c->u.s32.b = tcg_constant_i32(0);
>              tcg_gen_andi_i32(c->u.s32.a, cc_op, 1);
> @@ -935,7 +926,6 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>              break;
>          case 0x4 | 0x1: /* cc == 1 || cc == 3 => (cc & 1) != 0 */
>              cond = TCG_COND_NE;
> -            c->g1 = false;
>              c->u.s32.a = tcg_temp_new_i32();
>              c->u.s32.b = tcg_constant_i32(0);
>              tcg_gen_andi_i32(c->u.s32.a, cc_op, 1);
> @@ -959,7 +949,6 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>          default:
>              /* CC is masked by something else: (8 >> cc) & mask.  */
>              cond = TCG_COND_NE;
> -            c->g1 = false;
>              c->u.s32.a = tcg_temp_new_i32();
>              c->u.s32.b = tcg_constant_i32(0);
>              tcg_gen_shr_i32(c->u.s32.a, tcg_constant_i32(8), cc_op);
> @@ -974,24 +963,6 @@ static void disas_jcc(DisasContext *s,
> DisasCompare *c, uint32_t mask)
>      c->cond = cond;
>  }
>  
> -static void free_compare(DisasCompare *c)
> -{
> -    if (!c->g1) {
> -        if (c->is_64) {
> -            tcg_temp_free_i64(c->u.s64.a);
> -        } else {
> -            tcg_temp_free_i32(c->u.s32.a);
> -        }
> -    }
> -    if (!c->g2) {
> -        if (c->is_64) {
> -            tcg_temp_free_i64(c->u.s64.b);
> -        } else {
> -            tcg_temp_free_i32(c->u.s32.b);
> -        }
> -    }
> -}
> -
>  /*
> =====================================================================
> = */
>  /* Define the insn format enumeration.  */
>  #define F0(N)                         FMT_##N,
> @@ -1302,7 +1273,6 @@ static DisasJumpType help_branch(DisasContext
> *s, DisasCompare *c,
>      }
>  
>   egress:
> -    free_compare(c);
>      return ret;
>  }
>  
> @@ -1612,8 +1582,6 @@ static DisasJumpType op_bct32(DisasContext *s,
> DisasOps *o)
>  
>      c.cond = TCG_COND_NE;
>      c.is_64 = false;
> -    c.g1 = false;
> -    c.g2 = false;
>  
>      t = tcg_temp_new_i64();
>      tcg_gen_subi_i64(t, regs[r1], 1);
> @@ -1635,8 +1603,6 @@ static DisasJumpType op_bcth(DisasContext *s,
> DisasOps *o)
>  
>      c.cond = TCG_COND_NE;
>      c.is_64 = false;
> -    c.g1 = false;
> -    c.g2 = false;
>  
>      t = tcg_temp_new_i64();
>      tcg_gen_shri_i64(t, regs[r1], 32);
> @@ -1659,8 +1625,6 @@ static DisasJumpType op_bct64(DisasContext *s,
> DisasOps *o)
>  
>      c.cond = TCG_COND_NE;
>      c.is_64 = true;
> -    c.g1 = true;
> -    c.g2 = false;
>  
>      tcg_gen_subi_i64(regs[r1], regs[r1], 1);
>      c.u.s64.a = regs[r1];
> @@ -1680,8 +1644,6 @@ static DisasJumpType op_bx32(DisasContext *s,
> DisasOps *o)
>  
>      c.cond = (s->insn->data ? TCG_COND_LE : TCG_COND_GT);
>      c.is_64 = false;
> -    c.g1 = false;
> -    c.g2 = false;
>  
>      t = tcg_temp_new_i64();
>      tcg_gen_add_i64(t, regs[r1], regs[r3]);
> @@ -1708,15 +1670,12 @@ static DisasJumpType op_bx64(DisasContext *s,
> DisasOps *o)
>  
>      if (r1 == (r3 | 1)) {
>          c.u.s64.b = load_reg(r3 | 1);
> -        c.g2 = false;
>      } else {
>          c.u.s64.b = regs[r3 | 1];
> -        c.g2 = true;
>      }
>  
>      tcg_gen_add_i64(regs[r1], regs[r1], regs[r3]);
>      c.u.s64.a = regs[r1];
> -    c.g1 = true;
>  
>      return help_branch(s, &c, is_imm, imm, o->in2);
>  }
> @@ -1731,7 +1690,7 @@ static DisasJumpType op_cj(DisasContext *s,
> DisasOps *o)
>      if (s->insn->data) {
>          c.cond = tcg_unsigned_cond(c.cond);
>      }
> -    c.is_64 = c.g1 = c.g2 = true;
> +    c.is_64 = true;
>      c.u.s64.a = o->in1;
>      c.u.s64.b = o->in2;
>  
> @@ -2925,13 +2884,11 @@ static DisasJumpType op_loc(DisasContext *s,
> DisasOps *o)
>      if (c.is_64) {
>          tcg_gen_movcond_i64(c.cond, o->out, c.u.s64.a, c.u.s64.b,
>                              o->in2, o->in1);
> -        free_compare(&c);
>      } else {
>          TCGv_i32 t32 = tcg_temp_new_i32();
>          TCGv_i64 t, z;
>  
>          tcg_gen_setcond_i32(c.cond, t32, c.u.s32.a, c.u.s32.b);
> -        free_compare(&c);
>  
>          t = tcg_temp_new_i64();
>          tcg_gen_extu_i32_i64(t, t32);
> @@ -4022,7 +3979,6 @@ static DisasJumpType op_soc(DisasContext *s,
> DisasOps *o)
>      } else {
>          tcg_gen_brcond_i32(c.cond, c.u.s32.a, c.u.s32.b, lab);
>      }
> -    free_compare(&c);
>  
>      r1 = get_field(s, r1);
>      a = get_address(s, 0, get_field(s, b2), get_field(s, d2));

Reviewed-by: Ilya Leoshkevich <iii@linux.ibm.com>

  reply	other threads:[~2023-03-06 10:51 UTC|newest]

Thread overview: 38+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-03-04 18:18 [PATCH v3 00/20] tcg: drop tcg_temp_free from translators Richard Henderson
2023-03-04 18:18 ` [PATCH v3 01/20] target/i386: Drop tcg_temp_free Richard Henderson
2023-03-05 17:43   ` Peter Maydell
2023-03-04 18:18 ` [PATCH v3 02/20] target/mips: Drop tcg_temp_free from micromips_translate.c.inc Richard Henderson
2023-03-04 18:18 ` [PATCH v3 03/20] target/mips: Drop tcg_temp_free from mips16e_translate.c.inc Richard Henderson
2023-03-04 22:23   ` Jiaxun Yang
2023-03-04 18:18 ` [PATCH v3 04/20] target/mips: Drop tcg_temp_free from msa_translate.c Richard Henderson
2023-03-04 18:18 ` [PATCH v3 05/20] target/mips: Drop tcg_temp_free from mxu_translate.c Richard Henderson
2023-03-04 18:18 ` [PATCH v3 06/20] target/mips: Drop tcg_temp_free from nanomips_translate.c.inc Richard Henderson
2023-03-04 18:18 ` [PATCH v3 07/20] target/mips: Drop tcg_temp_free from octeon_translate.c Richard Henderson
2023-03-04 18:18 ` [PATCH v3 08/20] target/mips: Drop tcg_temp_free from translate_addr_const.c Richard Henderson
2023-03-04 18:18 ` [PATCH v3 09/20] target/mips: Drop tcg_temp_free from tx79_translate.c Richard Henderson
2023-03-04 18:18 ` [PATCH v3 10/20] target/mips: Fix trans_mult_acc return Richard Henderson
2023-03-04 18:18 ` [PATCH v3 11/20] target/mips: Drop tcg_temp_free from vr54xx_translate.c Richard Henderson
2023-03-04 18:18 ` [PATCH v3 12/20] target/mips: Drop tcg_temp_free from translate.c Richard Henderson
2023-03-04 18:18 ` [PATCH v3 13/20] target/s390x: Drop free_compare Richard Henderson
2023-03-06 10:50   ` Ilya Leoshkevich [this message]
2023-03-06 11:00   ` David Hildenbrand
2023-03-04 18:18 ` [PATCH v3 14/20] target/s390x: Drop tcg_temp_free from translate_vx.c.inc Richard Henderson
2023-03-06 10:51   ` Ilya Leoshkevich
2023-03-06 11:01   ` David Hildenbrand
2023-03-04 18:18 ` [PATCH v3 15/20] target/s390x: Drop tcg_temp_free from translate.c Richard Henderson
2023-03-06 10:52   ` Ilya Leoshkevich
2023-03-06 11:01   ` David Hildenbrand
2023-03-04 18:18 ` [PATCH v3 16/20] target/s390x: Remove assert vs g_in2 Richard Henderson
2023-03-06 10:53   ` Ilya Leoshkevich
2023-03-06 11:01   ` David Hildenbrand
2023-03-04 18:18 ` [PATCH v3 17/20] target/s390x: Remove g_out, g_out2, g_in1, g_in2 from DisasContext Richard Henderson
2023-03-06 11:02   ` David Hildenbrand
2023-03-06 11:06   ` Ilya Leoshkevich
2023-03-04 18:18 ` [PATCH v3 18/20] target/tricore: Drop tcg_temp_free Richard Henderson
2023-03-05 17:42   ` Peter Maydell
2023-03-04 18:18 ` [PATCH v3 19/20] tracing: remove transform.py Richard Henderson
2023-03-05 17:19   ` Alex Bennée
2023-03-06 17:41   ` Stefan Hajnoczi
2023-03-04 18:19 ` [PATCH v3 20/20] tcg: Create tcg/tcg-temp-internal.h Richard Henderson
2023-03-05 17:20   ` Alex Bennée
2023-03-06  8:06 ` [PATCH v3 00/20] tcg: drop tcg_temp_free from translators Philippe Mathieu-Daudé

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=7e64c76121afe5e0d158fd542b77755d65530d35.camel@linux.ibm.com \
    --to=iii@linux.ibm.com \
    --cc=david@redhat.com \
    --cc=qemu-devel@nongnu.org \
    --cc=qemu-s390x@nongnu.org \
    --cc=richard.henderson@linaro.org \
    --cc=thuth@redhat.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 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).