From 49d70380a6a95e4039f6b5e5ccce09671d5b4796 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sun, 2 Aug 2026 02:56:39 +0800
Subject: [CodeGen] Add machine metadata graphs

Model ordered function-local metadata tuples with explicit embedded-IR and MachineFunction reference scopes. Preserve slot zero, distinct nodes, forward references, and cyclic graphs while verifying function-local closure and cloning the graph deterministically.
---
 backend/include/rcc/CodeGen/MachineFunction.h |  10 ++
 backend/include/rcc/CodeGen/MachineMetadata.h | 131 ++++++++++++++++++++++++++
 2 files changed, 141 insertions(+)
 create mode 100644 backend/include/rcc/CodeGen/MachineMetadata.h

(limited to 'backend/include')

diff --git a/backend/include/rcc/CodeGen/MachineFunction.h b/backend/include/rcc/CodeGen/MachineFunction.h
index 8addd4e..7b325d4 100644
--- a/backend/include/rcc/CodeGen/MachineFunction.h
+++ b/backend/include/rcc/CodeGen/MachineFunction.h
@@ -10,6 +10,7 @@
 #include "rcc/CodeGen/MachineFunctionProperties.h"
 #include "rcc/CodeGen/MachineFunctionRecords.h"
 #include "rcc/CodeGen/MachineJumpTableInfo.h"
+#include "rcc/CodeGen/MachineMetadata.h"
 #include "rcc/CodeGen/MachineRegisterInfo.h"
 #include "rcc/CodeGen/StableID.h"
 #include "rcc/CodeGen/TargetFunctionState.h"
@@ -108,6 +109,14 @@ public:
     return Records;
   }
 
+  [[nodiscard]] MachineMetadataInfo &metadata() noexcept {
+    return Metadata;
+  }
+
+  [[nodiscard]] const MachineMetadataInfo &metadata() const noexcept {
+    return Metadata;
+  }
+
   [[nodiscard]] const TargetFunctionState &targetState() const noexcept {
     return TargetState;
   }
@@ -189,6 +198,7 @@ private:
   MachineFunctionProperties Properties;
   MachineFunctionAttributes Attributes;
   MachineFunctionRecords Records;
+  MachineMetadataInfo Metadata;
   TargetFunctionState TargetState;
   MachineCompilationStatus CompilationStatus;
   MachineBasicBlock *FirstBlock = nullptr;
diff --git a/backend/include/rcc/CodeGen/MachineMetadata.h b/backend/include/rcc/CodeGen/MachineMetadata.h
new file mode 100644
index 0000000..577d5da
--- /dev/null
+++ b/backend/include/rcc/CodeGen/MachineMetadata.h
@@ -0,0 +1,131 @@
+// SPDX-License-Identifier: GPL-3.0-or-later
+
+#ifndef RCC_CODEGEN_MACHINEMETADATA_H
+#define RCC_CODEGEN_MACHINEMETADATA_H
+
+#include "rcc/Support/Error.h"
+
+#include <cstddef>
+#include <cstdint>
+#include <span>
+#include <string>
+#include <unordered_map>
+#include <utility>
+#include <variant>
+#include <vector>
+
+namespace rcc {
+
+enum class MachineMetadataScope : std::uint8_t {
+  EmbeddedIR,
+  MachineFunction,
+};
+
+class MachineMetadataReference final {
+public:
+  constexpr MachineMetadataReference() noexcept = default;
+
+  [[nodiscard]] static constexpr MachineMetadataReference embeddedIR(std::uint32_t Slot) noexcept {
+    return MachineMetadataReference(MachineMetadataScope::EmbeddedIR, Slot);
+  }
+
+  [[nodiscard]] static constexpr MachineMetadataReference
+  machineFunction(std::uint32_t Slot) noexcept {
+    return MachineMetadataReference(MachineMetadataScope::MachineFunction, Slot);
+  }
+
+  [[nodiscard]] constexpr bool isValid() const noexcept {
+    return Valid;
+  }
+
+  [[nodiscard]] constexpr MachineMetadataScope scope() const noexcept {
+    return Scope;
+  }
+
+  [[nodiscard]] constexpr std::uint32_t slot() const noexcept {
+    return Slot;
+  }
+
+  friend constexpr bool operator==(MachineMetadataReference Left,
+                                   MachineMetadataReference Right) noexcept = default;
+
+private:
+  constexpr MachineMetadataReference(MachineMetadataScope Scope, std::uint32_t Slot) noexcept
+      : Scope(Scope), Slot(Slot), Valid(true) {}
+
+  MachineMetadataScope Scope = MachineMetadataScope::EmbeddedIR;
+  std::uint32_t Slot = 0;
+  bool Valid = false;
+};
+
+class MachineMetadataElement final {
+public:
+  MachineMetadataElement() = default;
+
+  [[nodiscard]] static Expected<MachineMetadataElement>
+  reference(MachineMetadataReference Reference);
+  [[nodiscard]] static MachineMetadataElement string(std::string Value);
+
+  [[nodiscard]] bool isValid() const noexcept {
+    return !std::holds_alternative<std::monostate>(Storage);
+  }
+
+  [[nodiscard]] const MachineMetadataReference *reference() const noexcept {
+    return std::get_if<MachineMetadataReference>(&Storage);
+  }
+
+  [[nodiscard]] const std::string *string() const noexcept {
+    return std::get_if<std::string>(&Storage);
+  }
+
+  friend bool operator==(const MachineMetadataElement &Left,
+                         const MachineMetadataElement &Right) = default;
+
+private:
+  explicit MachineMetadataElement(MachineMetadataReference Reference) : Storage(Reference) {}
+  explicit MachineMetadataElement(std::string Value) : Storage(std::move(Value)) {}
+
+  std::variant<std::monostate, MachineMetadataReference, std::string> Storage;
+};
+
+struct MachineMetadataNode final {
+  std::uint32_t Slot = 0;
+  bool IsDistinct = false;
+  std::vector<MachineMetadataElement> Elements;
+
+  friend bool operator==(const MachineMetadataNode &Left,
+                         const MachineMetadataNode &Right) = default;
+};
+
+class MachineMetadataInfo final {
+public:
+  MachineMetadataInfo() = default;
+  MachineMetadataInfo(const MachineMetadataInfo &) = delete;
+  MachineMetadataInfo &operator=(const MachineMetadataInfo &) = delete;
+  MachineMetadataInfo(MachineMetadataInfo &&) noexcept = default;
+  MachineMetadataInfo &operator=(MachineMetadataInfo &&) noexcept = default;
+  ~MachineMetadataInfo() = default;
+
+  [[nodiscard]] Expected<void> addNode(MachineMetadataNode Node);
+
+  [[nodiscard]] const MachineMetadataNode *node(std::uint32_t Slot) const noexcept;
+
+  [[nodiscard]] std::span<const MachineMetadataNode> nodes() const noexcept {
+    return Nodes;
+  }
+
+  [[nodiscard]] Expected<void> verify() const;
+  [[nodiscard]] Expected<MachineMetadataInfo> clone() const;
+
+  friend bool operator==(const MachineMetadataInfo &Left, const MachineMetadataInfo &Right) {
+    return Left.Nodes == Right.Nodes;
+  }
+
+private:
+  std::vector<MachineMetadataNode> Nodes;
+  std::unordered_map<std::uint32_t, std::size_t> SlotToIndex;
+};
+
+} // namespace rcc
+
+#endif // RCC_CODEGEN_MACHINEMETADATA_H
-- 
cgit v1.2.3