From a72a7a4323fb6eef8e15cc2f1229bcca14879e94 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Wed, 26 Aug 2026 23:28:39 +0800
Subject: [CodeGen] Centralize machine pass property validation

---
 backend/lib/CodeGen/MachineFinalization.cpp | 7 -------
 1 file changed, 7 deletions(-)

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

diff --git a/backend/lib/CodeGen/MachineFinalization.cpp b/backend/lib/CodeGen/MachineFinalization.cpp
index a9e08d5..6f16d97 100644
--- a/backend/lib/CodeGen/MachineFinalization.cpp
+++ b/backend/lib/CodeGen/MachineFinalization.cpp
@@ -92,9 +92,6 @@ const MachinePassContract &FinalizeEmissionPseudosPass::contract() const noexcep
 Expected<MachinePassResult> FinalizeEmissionPseudosPass::run(MachineFunction &Function,
                                                              const TargetDescription &Target,
                                                              MachineFunctionAnalysisManager &) {
-  if (!Function.properties().containsAll(contract().Requires))
-    return makeUnexpected(ErrorCode::VerificationError,
-                          "emission-pseudo finalization requires finalized allocated MIR");
   for (MachineInstr *Instruction : Function.allInstructions()) {
     if (Instruction == nullptr || Instruction->parent() == nullptr)
       continue;
@@ -125,10 +122,6 @@ const MachinePassContract &FinalEncodabilityVerifierPass::contract() const noexc
 Expected<MachinePassResult> FinalEncodabilityVerifierPass::run(MachineFunction &Function,
                                                                const TargetDescription &Target,
                                                                MachineFunctionAnalysisManager &) {
-  if (!Function.properties().containsAll(contract().Requires))
-    return makeUnexpected(ErrorCode::FinalEncodabilityFailed,
-                          "final encodability requires NoExecutablePseudos and finalized MIR");
-
   std::unordered_map<const MachineBasicBlock *, std::uint64_t> BlockOffsets;
   std::unordered_map<const MachineInstr *, std::uint64_t> InstructionOffsets;
   std::uint64_t Offset = 0;
-- 
cgit v1.2.3