From 76d89700953ddd81cf31ab8f260eddf67e93aa85 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Fri, 7 Aug 2026 01:27:41 +0800
Subject: [MIR] Complete document parsing and printing

Implement the single LLVM-compatible MIR document path with structured\nembedded-IR references, YAML mappings, constants, and deterministic printing.\n\nKeep pointer LLT widths DataLayout-derived, reject layout-dependent output\nwhen embedded IR is omitted, and record the fixed-baseline compatibility\ncontract and regression coverage.
---
 backend/lib/CodeGen/MachineVerifier.cpp | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

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

diff --git a/backend/lib/CodeGen/MachineVerifier.cpp b/backend/lib/CodeGen/MachineVerifier.cpp
index 3ebe683..f6f5640 100644
--- a/backend/lib/CodeGen/MachineVerifier.cpp
+++ b/backend/lib/CodeGen/MachineVerifier.cpp
@@ -211,6 +211,7 @@ private:
         return fail("block layout contains a cycle or duplicate block");
       if (!Block->isLinked() || Block->previous() != Previous)
         return fail("block layout ownership or previous link is inconsistent");
+      LinkedBlockIDs.insert(Block->stableID());
       if (Block->denseNumber() != LayoutIndex || Block->layoutIndex() != LayoutIndex) {
         return fail("block dense number or layout index is stale");
       }
@@ -427,6 +428,30 @@ private:
   }
 
   [[nodiscard]] Expected<void> verifyFrameLifetimes() const {
+    auto VerifyPoints =
+        [this](std::span<const MachineFrameSaveRestorePoint> Points,
+               std::string_view Kind) -> Expected<void> {
+      for (const MachineFrameSaveRestorePoint &Point : Points) {
+        if (!LinkedBlockIDs.contains(Point.Block)) {
+          return fail(std::string("frame ") + std::string(Kind) +
+                      " point references a detached or unknown block");
+        }
+        for (const PhysicalRegister Reg : Point.Registers) {
+          if (!Target.registers().isKnownPhysicalRegister(Reg)) {
+            return fail(std::string("frame ") + std::string(Kind) +
+                        " point references an unknown physical register");
+          }
+        }
+      }
+      return {};
+    };
+    auto SaveResult = VerifyPoints(Function.frameInfo().state().SavePoints, "save");
+    if (!SaveResult)
+      return SaveResult;
+    auto RestoreResult = VerifyPoints(Function.frameInfo().state().RestorePoints, "restore");
+    if (!RestoreResult)
+      return RestoreResult;
+
     for (const StackObject &Object : Function.frameInfo().objects()) {
       const StackObjectDesc *Description = Object.description();
       if (Description == nullptr)
@@ -442,6 +467,10 @@ private:
         if (!DebugInfoResult)
           return failWith("stack object debug information", DebugInfoResult.error());
       }
+      if (Description->CalleeSavedRegister &&
+          !Target.registers().isKnownPhysicalRegister(*Description->CalleeSavedRegister)) {
+        return fail("callee-saved stack object references an unknown physical register");
+      }
     }
     return {};
   }
@@ -794,6 +823,7 @@ private:
   MachineVerifierOptions Options;
   std::unordered_set<const MachineBasicBlock *> RegisteredBlocks;
   std::unordered_set<const MachineBasicBlock *> LinkedBlocks;
+  std::unordered_set<MachineBlockStableID> LinkedBlockIDs;
   std::unordered_set<const MachineInstr *> RegisteredInstructions;
   std::unordered_set<const MachineInstr *> LinkedInstructions;
   std::unordered_set<MachineInstrStableID> LinkedInstructionIDs;
-- 
cgit v1.2.3