From a69d14b8ebc028dddc689658b08d42d3e83f5e38 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sat, 1 Aug 2026 14:19:20 +0800
Subject: [CodeGen] Add constant and jump table state

Add stable, tombstone-preserving MachineConstantPool and MachineJumpTableInfo ownership. Define the versioned TargetConstant contract and integrate all table references with builders, verification, and deterministic deep cloning.
---
 backend/include/rcc/CodeGen/MachineFunction.h | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

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

diff --git a/backend/include/rcc/CodeGen/MachineFunction.h b/backend/include/rcc/CodeGen/MachineFunction.h
index 3e3fecb..38d88f9 100644
--- a/backend/include/rcc/CodeGen/MachineFunction.h
+++ b/backend/include/rcc/CodeGen/MachineFunction.h
@@ -3,8 +3,10 @@
 #ifndef RCC_CODEGEN_MACHINEFUNCTION_H
 #define RCC_CODEGEN_MACHINEFUNCTION_H
 
+#include "rcc/CodeGen/MachineConstantPool.h"
 #include "rcc/CodeGen/MachineFrameInfo.h"
 #include "rcc/CodeGen/MachineFunctionProperties.h"
+#include "rcc/CodeGen/MachineJumpTableInfo.h"
 #include "rcc/CodeGen/MachineRegisterInfo.h"
 #include "rcc/CodeGen/StableID.h"
 #include "rcc/Support/Error.h"
@@ -61,6 +63,22 @@ public:
     return FrameInfo;
   }
 
+  [[nodiscard]] MachineConstantPool &constantPool() noexcept {
+    return ConstantPool;
+  }
+
+  [[nodiscard]] const MachineConstantPool &constantPool() const noexcept {
+    return ConstantPool;
+  }
+
+  [[nodiscard]] MachineJumpTableInfo &jumpTableInfo() noexcept {
+    return JumpTables;
+  }
+
+  [[nodiscard]] const MachineJumpTableInfo &jumpTableInfo() const noexcept {
+    return JumpTables;
+  }
+
   [[nodiscard]] MachineFunctionProperties &properties() noexcept {
     return Properties;
   }
@@ -120,6 +138,8 @@ private:
   MachineFunctionStableID StableID;
   MachineRegisterInfo RegInfo;
   MachineFrameInfo FrameInfo;
+  MachineConstantPool ConstantPool;
+  MachineJumpTableInfo JumpTables;
   MachineFunctionProperties Properties;
   MachineBasicBlock *FirstBlock = nullptr;
   MachineBasicBlock *LastBlock = nullptr;
-- 
cgit v1.2.3