[PULL,30/39] tcg/sparc64: Support TCG_COND_TST{EQ,NE}

Message ID	20240204214052.5639-31-richard.henderson@linaro.org
State	New
Headers	show Delivered-To: patch@linaro.org Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; From: Richard Henderson <richard.henderson@linaro.org> To: qemu-devel@nongnu.org Cc: =?utf-8?q?Philippe_Mathieu-Daud=C3=A9?= <philmd@linaro.org> Subject: [PULL 30/39] tcg/sparc64: Support TCG_COND_TST{EQ,NE} Date: Mon, 5 Feb 2024 07:40:43 +1000 Message-Id: <20240204214052.5639-31-richard.henderson@linaro.org> In-Reply-To: <20240204214052.5639-1-richard.henderson@linaro.org> References: <20240204214052.5639-1-richard.henderson@linaro.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2607:f8b0:4864:20::62d; envelope-from=richard.henderson@linaro.org; helo=mail-pl1-x62d.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action Precedence: list Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: qemu-devel-bounces+patch=linaro.org@nongnu.org
Series	[PULL,01/39] tcg: Introduce TCG_COND_TST{EQ,NE} \| expand [PULL,01/39] tcg: Introduce TCG_COND_TST{EQ,NE} [PULL,02/39] tcg: Introduce TCG_TARGET_HAS_tst [PULL,03/39] tcg/optimize: Split out arg_is_const_val [PULL,04/39] tcg/optimize: Split out do_constant_folding_cond1 [PULL,05/39] tcg/optimize: Do swap_commutative2 in do_constant_folding_cond2 [PULL,06/39] tcg/optimize: Handle TCG_COND_TST{EQ,NE} [PULL,07/39] tcg/optimize: Lower TCG_COND_TST{EQ,NE} if unsupported [PULL,08/39] target/alpha: Pass immediate value to gen_bcond_internal() [PULL,09/39] target/alpha: Use TCG_COND_TST{EQ,NE} for BLB{C,S} [PULL,10/39] target/alpha: Use TCG_COND_TST{EQ,NE} for CMOVLB{C,S} [PULL,11/39] target/alpha: Use TCG_COND_TSTNE for gen_fold_mzero [PULL,12/39] target/m68k: Use TCG_COND_TST{EQ,NE} in gen_fcc_cond [PULL,13/39] target/sparc: Use TCG_COND_TSTEQ in gen_op_mulscc [PULL,14/39] target/s390x: Use TCG_COND_TSTNE for CC_OP_{TM,ICM} [PULL,15/39] target/s390x: Improve general case of disas_jcc [PULL,16/39] tcg: Add TCGConst argument to tcg_target_const_match [PULL,17/39] tcg/aarch64: Support TCG_COND_TST{EQ,NE} [PULL,18/39] tcg/aarch64: Massage tcg_out_brcond() [PULL,19/39] tcg/aarch64: Generate TBZ, TBNZ [PULL,20/39] tcg/aarch64: Generate CBNZ for TSTNE of UINT32_MAX [PULL,21/39] tcg/arm: Split out tcg_out_cmp() [PULL,22/39] tcg/arm: Support TCG_COND_TST{EQ,NE} [PULL,23/39] tcg/i386: Pass x86 condition codes to tcg_out_cmov [PULL,24/39] tcg/i386: Move tcg_cond_to_jcc[] into tcg_out_cmp [PULL,25/39] tcg/i386: Support TCG_COND_TST{EQ,NE} [PULL,26/39] tcg/i386: Improve TSTNE/TESTEQ vs powers of two [PULL,27/39] tcg/i386: Use TEST r,r to test 8/16/32 bits [PULL,28/39] tcg/sparc64: Hoist read of tcg_cond_to_rcond [PULL,29/39] tcg/sparc64: Pass TCGCond to tcg_out_cmp [PULL,30/39] tcg/sparc64: Support TCG_COND_TST{EQ,NE} [PULL,31/39] tcg/ppc: Sink tcg_to_bc usage into tcg_out_bc [PULL,32/39] tcg/ppc: Use cr0 in tcg_to_bc and tcg_to_isel [PULL,33/39] tcg/ppc: Tidy up tcg_target_const_match [PULL,34/39] tcg/ppc: Add TCG_CT_CONST_CMP [PULL,35/39] tcg/ppc: Support TCG_COND_TST{EQ,NE} [PULL,36/39] tcg/s390x: Split constraint A into J+U [PULL,37/39] tcg/s390x: Add TCG_CT_CONST_CMP [PULL,38/39] tcg/s390x: Support TCG_COND_TST{EQ,NE} [PULL,39/39] tcg/tci: Support TCG_COND_TST{EQ,NE}

Message ID

20240204214052.5639-31-richard.henderson@linaro.org

State

New

Headers

Received-SPF: pass (google.com: domain of
 qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as
 permitted sender) client-ip=209.51.188.17;
From: Richard Henderson <richard.henderson@linaro.org>
To: qemu-devel@nongnu.org
Cc: =?utf-8?q?Philippe_Mathieu-Daud=C3=A9?= <philmd@linaro.org>
Subject: [PULL 30/39] tcg/sparc64: Support TCG_COND_TST{EQ,NE}
Date: Mon,  5 Feb 2024 07:40:43 +1000
Message-Id: <20240204214052.5639-31-richard.henderson@linaro.org>
In-Reply-To: <20240204214052.5639-1-richard.henderson@linaro.org>
References: <20240204214052.5639-1-richard.henderson@linaro.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=2607:f8b0:4864:20::62d;
 envelope-from=richard.henderson@linaro.org; helo=mail-pl1-x62d.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001,
 T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: qemu-devel@nongnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
 <mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <https://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
 <mailto:qemu-devel-request@nongnu.org?subject=subscribe>
Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org
Sender: qemu-devel-bounces+patch=linaro.org@nongnu.org

Series

[PULL,01/39] tcg: Introduce TCG_COND_TST{EQ,NE} | expand

Commit Message

Richard Henderson Feb. 4, 2024, 9:40 p.m. UTC

Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
---
 tcg/sparc64/tcg-target.h     |  2 +-
 tcg/sparc64/tcg-target.c.inc | 16 ++++++++++++++--
 2 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/tcg/sparc64/tcg-target.h b/tcg/sparc64/tcg-target.h
index ae2910c4ee..a18906a14e 100644
--- a/tcg/sparc64/tcg-target.h
+++ b/tcg/sparc64/tcg-target.h
@@ -149,7 +149,7 @@  extern bool use_vis3_instructions;
 
 #define TCG_TARGET_HAS_qemu_ldst_i128   0
 
-#define TCG_TARGET_HAS_tst              0
+#define TCG_TARGET_HAS_tst              1
 
 #define TCG_AREG0 TCG_REG_I0
 
diff --git a/tcg/sparc64/tcg-target.c.inc b/tcg/sparc64/tcg-target.c.inc
index 10fb8a1a0d..176c98740b 100644
--- a/tcg/sparc64/tcg-target.c.inc
+++ b/tcg/sparc64/tcg-target.c.inc
@@ -607,9 +607,11 @@  static void tcg_out_div32(TCGContext *s, TCGReg rd, TCGReg rs1,
                    uns ? ARITH_UDIV : ARITH_SDIV);
 }
 
-static const uint8_t tcg_cond_to_bcond[] = {
+static const uint8_t tcg_cond_to_bcond[16] = {
     [TCG_COND_EQ] = COND_E,
     [TCG_COND_NE] = COND_NE,
+    [TCG_COND_TSTEQ] = COND_E,
+    [TCG_COND_TSTNE] = COND_NE,
     [TCG_COND_LT] = COND_L,
     [TCG_COND_GE] = COND_GE,
     [TCG_COND_LE] = COND_LE,
@@ -649,7 +651,8 @@  static void tcg_out_bpcc(TCGContext *s, int scond, int flags, TCGLabel *l)
 static void tcg_out_cmp(TCGContext *s, TCGCond cond,
                         TCGReg c1, int32_t c2, int c2const)
 {
-    tcg_out_arithc(s, TCG_REG_G0, c1, c2, c2const, ARITH_SUBCC);
+    tcg_out_arithc(s, TCG_REG_G0, c1, c2, c2const,
+                   is_tst_cond(cond) ? ARITH_ANDCC : ARITH_SUBCC);
 }
 
 static void tcg_out_brcond_i32(TCGContext *s, TCGCond cond, TCGReg arg1,
@@ -744,6 +747,15 @@  static void tcg_out_setcond_i32(TCGContext *s, TCGCond cond, TCGReg ret,
         cond = (cond == TCG_COND_EQ ? TCG_COND_GEU : TCG_COND_LTU);
 	break;
 
+    case TCG_COND_TSTEQ:
+    case TCG_COND_TSTNE:
+        /* Transform to inequality vs zero.  */
+        tcg_out_arithc(s, TCG_REG_T1, c1, c2, c2const, ARITH_AND);
+        c1 = TCG_REG_G0;
+        c2 = TCG_REG_T1, c2const = 0;
+        cond = (cond == TCG_COND_TSTEQ ? TCG_COND_GEU : TCG_COND_LTU);
+	break;
+
     case TCG_COND_GTU:
     case TCG_COND_LEU:
         /* If we don't need to load a constant into a register, we can

[PULL,30/39] tcg/sparc64: Support TCG_COND_TST{EQ,NE}

Commit Message

Patch