From 19d8e4f562a8583b002dbaa837ec0083e7768a4f Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sat, 1 Aug 2026 13:24:09 +0800
Subject: [CodeGen] Add strict MachineIR verification

Verify arena catalogs, intrusive layouts, reciprocal CFG edges, operand ownership, exact def-use coverage, instruction descriptors, pseudo deadlines, and MachineFunctionProperties. Preserve monotonic-arena history while rejecting detached objects that retain live state.
---
 backend/include/rcc/CodeGen/MachineRegisterInfo.h |  4 +++
 backend/include/rcc/CodeGen/MachineVerifier.h     | 36 +++++++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 backend/include/rcc/CodeGen/MachineVerifier.h

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

diff --git a/backend/include/rcc/CodeGen/MachineRegisterInfo.h b/backend/include/rcc/CodeGen/MachineRegisterInfo.h
index 495853a..da0f530 100644
--- a/backend/include/rcc/CodeGen/MachineRegisterInfo.h
+++ b/backend/include/rcc/CodeGen/MachineRegisterInfo.h
@@ -108,6 +108,9 @@ public:
   [[nodiscard]] Expected<void> eraseVirtualRegister(Register Reg);
 
   [[nodiscard]] bool isKnownVirtualRegister(Register Reg) const noexcept;
+  [[nodiscard]] std::span<const VirtualRegisterInfo> virtualRegisters() const noexcept {
+    return VirtualRegisters;
+  }
   [[nodiscard]] Expected<std::reference_wrapper<VirtualRegisterInfo>>
   virtualRegisterInfo(Register Reg);
   [[nodiscard]] Expected<std::reference_wrapper<const VirtualRegisterInfo>>
@@ -146,6 +149,7 @@ public:
   [[nodiscard]] Expected<std::size_t> replaceRegWith(Register OldReg, Register NewReg);
 
   [[nodiscard]] Expected<void> verifyDefUseChains() const;
+  [[nodiscard]] bool isLinkedOperand(const MachineOperand &Operand) const noexcept;
 
 private:
   struct RegOperandListHead final {
diff --git a/backend/include/rcc/CodeGen/MachineVerifier.h b/backend/include/rcc/CodeGen/MachineVerifier.h
new file mode 100644
index 0000000..b1035a2
--- /dev/null
+++ b/backend/include/rcc/CodeGen/MachineVerifier.h
@@ -0,0 +1,36 @@
+// SPDX-License-Identifier: GPL-3.0-or-later
+
+#ifndef RCC_CODEGEN_MACHINEVERIFIER_H
+#define RCC_CODEGEN_MACHINEVERIFIER_H
+
+#include "rcc/CodeGen/InstructionDescriptor.h"
+#include "rcc/Support/Error.h"
+
+#include <cstdint>
+#include <optional>
+
+namespace rcc {
+
+class MachineFunction;
+
+enum class MachineVerifierMode : std::uint8_t {
+  Generic,
+  PreLegalizer,
+};
+
+struct MachineVerifierOptions final {
+  MachineVerifierMode Mode = MachineVerifierMode::Generic;
+  std::optional<PipelineStage> Stage;
+  bool VerifyProperties = true;
+};
+
+class MachineVerifier final {
+public:
+  [[nodiscard]] static Expected<void> verify(const MachineFunction &Function,
+                                             const InstructionSet &Instructions,
+                                             MachineVerifierOptions Options = {});
+};
+
+} // namespace rcc
+
+#endif // RCC_CODEGEN_MACHINEVERIFIER_H
-- 
cgit v1.2.3