From 786ccc115f851962f3a7d234846a50f4af8aad64 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sat, 1 Aug 2026 13:37:56 +0800
Subject: [CodeGen] Add explicit MachineFunction cloning

Deep-clone the live MachineIR graph with deterministic identity maps while rebuilding CFG, def-use, ties, register configuration, and memory operand ownership. Verify both source and destination and omit detached arena history.
---
 .../include/rcc/CodeGen/MachineFunctionCloner.h    | 49 ++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 backend/include/rcc/CodeGen/MachineFunctionCloner.h

(limited to 'backend/include/rcc/CodeGen')

diff --git a/backend/include/rcc/CodeGen/MachineFunctionCloner.h b/backend/include/rcc/CodeGen/MachineFunctionCloner.h
new file mode 100644
index 0000000..3abdf78
--- /dev/null
+++ b/backend/include/rcc/CodeGen/MachineFunctionCloner.h
@@ -0,0 +1,49 @@
+// SPDX-License-Identifier: GPL-3.0-or-later
+
+#ifndef RCC_CODEGEN_MACHINEFUNCTIONCLONER_H
+#define RCC_CODEGEN_MACHINEFUNCTIONCLONER_H
+
+#include "rcc/CodeGen/MachineIRTypes.h"
+#include "rcc/CodeGen/Register.h"
+#include "rcc/CodeGen/StableID.h"
+#include "rcc/Support/Error.h"
+
+#include <memory>
+#include <optional>
+#include <string>
+#include <unordered_map>
+
+namespace rcc {
+
+class InstructionSet;
+class MachineFunction;
+
+struct MachineFunctionCloneOptions final {
+  MachineFunctionStableID NewStableID;
+  std::optional<std::string> NewName;
+};
+
+struct MachineFunctionCloneResult final {
+  MachineFunctionCloneResult();
+  MachineFunctionCloneResult(const MachineFunctionCloneResult &) = delete;
+  MachineFunctionCloneResult &operator=(const MachineFunctionCloneResult &) = delete;
+  MachineFunctionCloneResult(MachineFunctionCloneResult &&) noexcept;
+  MachineFunctionCloneResult &operator=(MachineFunctionCloneResult &&) noexcept;
+  ~MachineFunctionCloneResult();
+
+  std::unique_ptr<MachineFunction> ClonedFunction;
+  std::unordered_map<MachineBlockStableID, MachineBlockStableID> BlockStableIDs;
+  std::unordered_map<MachineInstrStableID, MachineInstrStableID> InstructionStableIDs;
+  std::unordered_map<Register, Register> VirtualRegisters;
+  std::unordered_map<FrameIndex, FrameIndex> FrameIndices;
+  std::unordered_map<ConstantPoolIndex, ConstantPoolIndex> ConstantPoolIndices;
+  std::unordered_map<JumpTableIndex, JumpTableIndex> JumpTableIndices;
+};
+
+[[nodiscard]] Expected<MachineFunctionCloneResult>
+cloneMachineFunction(const MachineFunction &Source, const InstructionSet &Instructions,
+                     MachineFunctionCloneOptions Options);
+
+} // namespace rcc
+
+#endif // RCC_CODEGEN_MACHINEFUNCTIONCLONER_H
-- 
cgit v1.2.3