[llvm] GlobalISel: Use MIPatternMatch in GIMatchTableExecutor (PR #216601)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Mon Aug 17 02:43:02 PDT 2026


https://github.com/arsenm updated https://github.com/llvm/llvm-project/pull/216601

>From 2fc8f5e9a230f9d10ce790500d2d0de5eb59660c Mon Sep 17 00:00:00 2001
From: Matt Arsenault <Matthew.Arsenault at amd.com>
Date: Sat, 15 Aug 2026 14:40:36 +0200
Subject: [PATCH] GlobalISel: Use MIPatternMatch in GIMatchTableExecutor

Replace the getVRegDef + opcode-check idiom in isBaseWithConstantOffset with
mi_match using m_GPtrAdd and m_GConstant.

Co-authored-by: Claude (Opus 4.8) <noreply at anthropic.com>
---
 .../CodeGen/GlobalISel/GIMatchTableExecutor.cpp    | 14 ++++----------
 1 file changed, 4 insertions(+), 10 deletions(-)

diff --git a/llvm/lib/CodeGen/GlobalISel/GIMatchTableExecutor.cpp b/llvm/lib/CodeGen/GlobalISel/GIMatchTableExecutor.cpp
index 1edfc09310554..3daad161f63d3 100644
--- a/llvm/lib/CodeGen/GlobalISel/GIMatchTableExecutor.cpp
+++ b/llvm/lib/CodeGen/GlobalISel/GIMatchTableExecutor.cpp
@@ -12,6 +12,7 @@
 //===----------------------------------------------------------------------===//
 
 #include "llvm/CodeGen/GlobalISel/GIMatchTableExecutor.h"
+#include "llvm/CodeGen/GlobalISel/MIPatternMatch.h"
 #include "llvm/CodeGen/GlobalISel/Utils.h"
 #include "llvm/CodeGen/MachineInstr.h"
 #include "llvm/CodeGen/MachineOperand.h"
@@ -20,6 +21,7 @@
 #define DEBUG_TYPE "gi-match-table-executor"
 
 using namespace llvm;
+using namespace MIPatternMatch;
 
 GIMatchTableExecutor::MatcherState::MatcherState(unsigned MaxRenderers)
     : Renderers(MaxRenderers) {}
@@ -47,16 +49,8 @@ bool GIMatchTableExecutor::isBaseWithConstantOffset(
   if (!Root.isReg())
     return false;
 
-  MachineInstr *RootI = MRI.getVRegDef(Root.getReg());
-  if (RootI->getOpcode() != TargetOpcode::G_PTR_ADD)
-    return false;
-
-  MachineOperand &RHS = RootI->getOperand(2);
-  MachineInstr *RHSI = MRI.getVRegDef(RHS.getReg());
-  if (RHSI->getOpcode() != TargetOpcode::G_CONSTANT)
-    return false;
-
-  return true;
+  GConstant *RHSI;
+  return mi_match(Root.getReg(), MRI, m_GPtrAdd(m_Reg(), m_GConstant(RHSI)));
 }
 
 bool GIMatchTableExecutor::isObviouslySafeToFold(MachineInstr &MI,



More information about the llvm-commits mailing list