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/lib/CodeGen/MachineIRBuilder.cpp | 38 +++++++++++++++++++++++++++++++-
 1 file changed, 37 insertions(+), 1 deletion(-)

(limited to 'backend/lib/CodeGen/MachineIRBuilder.cpp')

diff --git a/backend/lib/CodeGen/MachineIRBuilder.cpp b/backend/lib/CodeGen/MachineIRBuilder.cpp
index 185b7df..74ca55b 100644
--- a/backend/lib/CodeGen/MachineIRBuilder.cpp
+++ b/backend/lib/CodeGen/MachineIRBuilder.cpp
@@ -342,6 +342,21 @@ Expected<void> MachineInstrBuilder::validateFrameReference(FrameIndex Index) con
   return {};
 }
 
+Expected<void> MachineInstrBuilder::validateConstantPoolReference(ConstantPoolIndex Index) const {
+  if (Function->constantPool().entry(Index) == nullptr) {
+    return makeUnexpected(ErrorCode::InvalidArgument,
+                          "builder references an unknown constant pool entry");
+  }
+  return {};
+}
+
+Expected<void> MachineInstrBuilder::validateJumpTableReference(JumpTableIndex Index) const {
+  if (Function->jumpTableInfo().table(Index) == nullptr) {
+    return makeUnexpected(ErrorCode::InvalidArgument, "builder references an unknown jump table");
+  }
+  return {};
+}
+
 Expected<void> MachineInstrBuilder::validateOperandOwnership(const MachineOperand &Operand) const {
   if (Operand.parent() != nullptr) {
     return makeUnexpected(ErrorCode::InvalidArgument,
@@ -364,6 +379,16 @@ Expected<void> MachineInstrBuilder::validateOperandOwnership(const MachineOperan
     if (!FrameResult)
       return FrameResult;
   }
+  if (const auto *Constant = Operand.getIf<ConstantPoolOperand>(); Constant != nullptr) {
+    auto ConstantResult = validateConstantPoolReference(Constant->Index);
+    if (!ConstantResult)
+      return ConstantResult;
+  }
+  if (const auto *JumpTable = Operand.getIf<JumpTableOperand>(); JumpTable != nullptr) {
+    auto JumpTableResult = validateJumpTableReference(JumpTable->Index);
+    if (!JumpTableResult)
+      return JumpTableResult;
+  }
   return {};
 }
 
@@ -405,11 +430,22 @@ Expected<MachineInstr *> MachineInstrBuilder::build() {
       return std::unexpected(Ownership.error());
   }
   for (const MachineMemOperand *MemOperand : MemOperands) {
-    if (const auto Frame = MemOperand->description().Base.frameIndex()) {
+    const MemoryBase &Base = MemOperand->description().Base;
+    if (const auto Frame = Base.frameIndex()) {
       auto FrameResult = validateFrameReference(*Frame);
       if (!FrameResult)
         return std::unexpected(FrameResult.error());
     }
+    if (const auto Constant = Base.constantPoolIndex()) {
+      auto ConstantResult = validateConstantPoolReference(*Constant);
+      if (!ConstantResult)
+        return std::unexpected(ConstantResult.error());
+    }
+    if (const auto JumpTable = Base.jumpTableIndex()) {
+      auto JumpTableResult = validateJumpTableReference(*JumpTable);
+      if (!JumpTableResult)
+        return std::unexpected(JumpTableResult.error());
+    }
   }
 
   auto ExplicitValidation = Instructions->validateExplicitOperands(
-- 
cgit v1.2.3