From 3ece3d09f4c4b8253f08b5065a5adfd954cd9380 Mon Sep 17 00:00:00 2001
From: lzkk <956449176@qq.com>
Date: Thu, 28 May 2026 01:47:56 +0800
Subject: [PATCH] =?UTF-8?q?perf(mir):=20CMP=E5=B8=B8=E9=87=8Flhs=E4=BA=A4?=
 =?UTF-8?q?=E6=8D=A2=E2=80=94=E2=80=94mov+cmp=E4=BC=98=E5=8C=96=E4=B8=BAcm?=
 =?UTF-8?q?p#imm+=E6=9D=A1=E4=BB=B6=E7=BF=BB=E8=BD=AC?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/mir/Lowering.cpp | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/src/mir/Lowering.cpp b/src/mir/Lowering.cpp
index 2efce285..6242b004 100644
--- a/src/mir/Lowering.cpp
+++ b/src/mir/Lowering.cpp
@@ -344,13 +344,30 @@ namespace mir
                                 scalar_slots, array_slots, block);
 
           // 立即数折叠：常量 rhs 直接用 CmpImm
+          // 常量 lhs 则交换并翻转条件
           int cmp_imm = 0;
+          CondCode cond = GetCondCodeForCompareOpcode(bin->GetOpcode());
           if (TryGetConstantInt(bin->GetRhs(), cmp_imm) && static_cast<unsigned int>(cmp_imm) <= 4095)
           {
             block.Append(Opcode::CmpImm,
                          {Operand::VReg(lhs, VRegClass::Int),
                           Operand::Imm(cmp_imm)});
           }
+          else if (TryGetConstantInt(bin->GetLhs(), cmp_imm) && static_cast<unsigned int>(cmp_imm) <= 4095)
+          {
+            // 交换：cmp rhs, #lhs 并翻转条件
+            block.Append(Opcode::CmpImm,
+                         {Operand::VReg(rhs, VRegClass::Int),
+                          Operand::Imm(cmp_imm)});
+            switch (cond)
+            {
+            case CondCode::LT: cond = CondCode::GT; break;
+            case CondCode::LE: cond = CondCode::GE; break;
+            case CondCode::GT: cond = CondCode::LT; break;
+            case CondCode::GE: cond = CondCode::LE; break;
+            default: break;
+            }
+          }
           else
           {
             block.Append(Opcode::CmpRR,
@@ -359,7 +376,7 @@ namespace mir
           int dst = function.CreateVReg(VRegClass::Int);
           block.Append(Opcode::CSet,
                        {Operand::VReg(dst, VRegClass::Int),
-                        Operand::Imm(static_cast<int>(GetCondCodeForCompareOpcode(bin->GetOpcode())))});
+                        Operand::Imm(static_cast<int>(cond))});
           value_vregs[value] = dst;
           return dst;
         }