[CodeGen] Model machine debug metadata

Replace marker-based metadata operands with scoped references and inline DIExpression values. Add structured DILocation chains, instruction debug attachments, stack variable records, and entry values with unified verification, builder support, and deterministic cloning.

1 files changed, 5 insertions, 1 deletions

diff --git a/backend/include/rcc/CodeGen/MachineIRBuilder.h b/backend/include/rcc/CodeGen/MachineIRBuilder.h
index 08ec9ba..918f389 100644
--- a/backend/include/rcc/CodeGen/MachineIRBuilder.h
+++ b/backend/include/rcc/CodeGen/MachineIRBuilder.h
@@ -70,7 +70,8 @@ public:
                                                std::uint32_t TargetFlags = 0);
   [[nodiscard]] Expected<void> addRegisterMask(std::shared_ptr<const RegisterMask> Mask,
                                                std::uint32_t TargetFlags = 0);
-  [[nodiscard]] Expected<void> addMetadata(std::string Marker, std::uint32_t TargetFlags = 0);
+  [[nodiscard]] Expected<void> addMetadata(MachineMetadataValue Value,
+                                           std::uint32_t TargetFlags = 0);
   [[nodiscard]] Expected<void> addTargetIndex(TargetIndex Index, std::int64_t Offset = 0,
                                               std::uint32_t TargetFlags = 0);
   [[nodiscard]] Expected<void> addMCSymbol(std::string Name, std::int64_t Offset = 0,
@@ -83,6 +84,8 @@ public:
 
   [[nodiscard]] Expected<void> setSourceLocation(SourceLocation NewLocation);
   [[nodiscard]] Expected<void> clearSourceLocation();
+  [[nodiscard]] Expected<void> setDebugLocation(MachineDebugLocation NewLocation);
+  [[nodiscard]] Expected<void> clearDebugLocation();
 
   [[nodiscard]] Expected<void> setOrigin(OriginID NewOrigin);
   [[nodiscard]] Expected<void> clearOrigin();
@@ -116,6 +119,7 @@ private:
   std::vector<const MachineMemOperand *> MemOperands;
   MachineInstrFlags Flags;
   std::optional<SourceLocation> Location;
+  std::optional<MachineDebugLocation> DebugLocation;
   std::optional<OriginID> Origin;
   bool IsBuilt = false;