File _service:tar_scm:0148-LoongArch-Remove-unused-a... of Package gcc

File _service:tar_scm:0148-LoongArch-Remove-unused-and-incorrect-sge-u-_-X-mode.patch of Package gcc

From acc00029aab3cdd1186f1ed4a93db2205cdd166c Mon Sep 17 00:00:00 2001
From: Xi Ruoyao <xry111@xry111.site>
Date: Wed, 13 Mar 2024 20:44:38 +0800
Subject: [PATCH 148/188] LoongArch: Remove unused and incorrect
 "sge_<X:mode><GPR:mode>" define_insn

If this insn is really used, we'll have something like

slti $r4,$r0,$r5

in the code.  The assembler will reject it because slti wants 2
register operands and 1 immediate operand.  But we've not got any bug
report for this, indicating this define_insn is unused at all.

Note that do_store_flag (in expr.cc) is already converting x >= 1 to
x > 0 unconditionally, so this define_insn is indeed unused and we can
just remove it.

gcc/ChangeLog:

* config/loongarch/loongarch.md (any_ge): Remove.
	(sge_<X:mode><GPR:mode>): Remove.
---
 gcc/config/loongarch/loongarch.md | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/gcc/config/loongarch/loongarch.md b/gcc/config/loongarch/loongarch.md
index d2c7c3b05..1b3525dde 100644
--- a/gcc/config/loongarch/loongarch.md
+++ b/gcc/config/loongarch/loongarch.md
@@ -517,7 +517,6 @@
 ;; These code iterators allow the signed and unsigned scc operations to use
 ;; the same template.
 (define_code_iterator any_gt [gt gtu])
-(define_code_iterator any_ge [ge geu])
 (define_code_iterator any_lt [lt ltu])
 (define_code_iterator any_le [le leu])
 
@@ -3355,15 +3354,6 @@
 [(set_attr "type" "slt")
 (set_attr "mode" "<X:MODE>")])
 
-(define_insn "*sge_<X:mode><GPR:mode>"
- [(set (match_operand:GPR 0 "register_operand" "=r")
-	(any_ge:GPR (match_operand:X 1 "register_operand" "r")
-		 (const_int 1)))]
- ""
- "slti\t%0,%.,%1"
- [(set_attr "type" "slt")
- (set_attr "mode" "<X:MODE>")])
-
 (define_insn "*slt_<X:mode><GPR:mode>"
 [(set (match_operand:GPR 0 "register_operand" "=r")
 	(any_lt:GPR (match_operand:X 1 "register_operand" "r")
-- 
2.43.0