From e0c77d80585428818c32886eb8c26755ea8ed159 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sat, 1 Aug 2026 18:17:33 +0800
Subject: [CodeGen] Track debug instruction identities

Add monotonic MIR debug instruction numbers and structured value substitutions. Verify live number uniqueness, meta-instruction exclusion, substitution graph integrity, and target subregister references while preserving debug identities during cloning.
---
 .../include/rcc/CodeGen/MachineFunctionRecords.h   | 28 ++++++++++++++++++++++
 1 file changed, 28 insertions(+)

(limited to 'backend/include/rcc/CodeGen/MachineFunctionRecords.h')

diff --git a/backend/include/rcc/CodeGen/MachineFunctionRecords.h b/backend/include/rcc/CodeGen/MachineFunctionRecords.h
index 7050072..7929ed3 100644
--- a/backend/include/rcc/CodeGen/MachineFunctionRecords.h
+++ b/backend/include/rcc/CodeGen/MachineFunctionRecords.h
@@ -18,6 +18,25 @@ namespace rcc {
 
 class MachineFunctionCloneContext;
 
+inline constexpr std::uint32_t MachineDebugMemoryOperandNumber = 1'000'000;
+
+struct MachineDebugValueReference final {
+  std::uint32_t InstructionNumber = 0;
+  std::uint32_t OperandNumber = 0;
+
+  friend constexpr bool operator==(MachineDebugValueReference Left,
+                                   MachineDebugValueReference Right) noexcept = default;
+};
+
+struct MachineDebugValueSubstitution final {
+  MachineDebugValueReference Source;
+  MachineDebugValueReference Destination;
+  SubRegIndex Subregister;
+
+  friend constexpr bool operator==(MachineDebugValueSubstitution Left,
+                                   MachineDebugValueSubstitution Right) noexcept = default;
+};
+
 struct MachineCallSiteArgument final {
   PhysicalRegister Reg;
   std::uint16_t ArgumentNumber = 0;
@@ -95,6 +114,14 @@ public:
 
   [[nodiscard]] Expected<void> addPrefetchTarget(MachinePrefetchTarget Target);
 
+  [[nodiscard]] std::span<const MachineDebugValueSubstitution>
+  debugValueSubstitutions() const noexcept {
+    return DebugValueSubstitutions;
+  }
+
+  [[nodiscard]] Expected<void>
+  addDebugValueSubstitution(MachineDebugValueSubstitution Substitution);
+
   [[nodiscard]] Expected<void> verify() const;
   [[nodiscard]] Expected<MachineFunctionRecords>
   clone(const MachineFunctionCloneContext &CloneContext) const;
@@ -107,6 +134,7 @@ private:
   std::vector<MachineCallSiteInfo> CallSites;
   std::vector<MachineCalledGlobal> CalledGlobals;
   std::vector<MachinePrefetchTarget> PrefetchTargets;
+  std::vector<MachineDebugValueSubstitution> DebugValueSubstitutions;
 };
 
 } // namespace rcc
-- 
cgit v1.2.3