From d54646c69a5117cbeef35f5c3f0d546f4c6bf0e7 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Wed, 26 Aug 2026 00:50:21 +0800
Subject: [CodeGen] Implement reaching-def analysis printing

---
 backend/lib/CodeGen/LiveVariables.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'backend/lib/CodeGen/LiveVariables.cpp')

diff --git a/backend/lib/CodeGen/LiveVariables.cpp b/backend/lib/CodeGen/LiveVariables.cpp
index 601fd05..3c91cfb 100644
--- a/backend/lib/CodeGen/LiveVariables.cpp
+++ b/backend/lib/CodeGen/LiveVariables.cpp
@@ -9,6 +9,7 @@
 #include "rcc/CodeGen/MachineInstr.h"
 #include "rcc/CodeGen/MachineOperand.h"
 #include "rcc/CodeGen/MachineRegisterInfo.h"
+#include "rcc/CodeGen/ReachingDefAnalysis.h"
 #include "rcc/CodeGen/RegisterMask.h"
 #include "rcc/CodeGen/SlotIndexes.h"
 #include "rcc/CodeGen/TargetDescription.h"
@@ -992,6 +993,7 @@ Expected<void> registerStage11MachineAnalyses(MachineFunctionAnalysisManager &An
       MachineFunctionAnalysisManager::id<LiveVariablesAnalysis>(),
       MachineFunctionAnalysisManager::id<LiveIntervalsAnalysis>(),
       MachineFunctionAnalysisManager::id<VirtRegMapAnalysis>(),
+      MachineFunctionAnalysisManager::id<ReachingDefAnalysis>(),
   };
   const std::size_t Registered = static_cast<std::size_t>(
       std::ranges::count_if(IDs, [&Analyses](AnalysisID ID) { return Analyses.isRegistered(ID); }));
@@ -1043,6 +1045,17 @@ Expected<void> registerStage11MachineAnalyses(MachineFunctionAnalysisManager &An
   });
   if (!Mapping)
     return std::unexpected(Mapping.error());
+  auto ReachingDefinitions = Staging.registerAnalysis<ReachingDefAnalysis>({
+      .Name = "ReachingDefAnalysis",
+      .Dependencies = {},
+      .InvalidatedBy = {MachinePassChange::Instructions, MachinePassChange::Operands,
+                        MachinePassChange::Registers, MachinePassChange::CFG,
+                        MachinePassChange::BlockLayout, MachinePassChange::Frame,
+                        MachinePassChange::TargetState},
+      .ThreadSafety = PassThreadSafety::ThreadSafe,
+  });
+  if (!ReachingDefinitions)
+    return std::unexpected(ReachingDefinitions.error());
   return Analyses.replaceRegistrations(std::move(Staging));
 }
 
-- 
cgit v1.2.3