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/MachineBranchOptimization.cpp | 4 ----
 1 file changed, 4 deletions(-)

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

diff --git a/backend/lib/CodeGen/MachineBranchOptimization.cpp b/backend/lib/CodeGen/MachineBranchOptimization.cpp
index 07a67ed..e03b0d9 100644
--- a/backend/lib/CodeGen/MachineBranchOptimization.cpp
+++ b/backend/lib/CodeGen/MachineBranchOptimization.cpp
@@ -581,10 +581,6 @@ const MachinePassContract &MachineBranchOptimizationPass::contract() const noexc
 Expected<MachinePassResult> MachineBranchOptimizationPass::run(MachineFunction &Function,
                                                                const TargetDescription &Target,
                                                                MachineFunctionAnalysisManager &) {
-  if (!Function.properties().containsAll(contract().Requires)) {
-    return makeUnexpected(ErrorCode::VerificationError,
-                          "branch folding requires PHI-free MachineIR");
-  }
   auto Trial = cloneMachineFunction(
       Function, Target,
       MachineFunctionCloneOptions{.NewStableID = Function.stableID(), .NewName = std::nullopt});
-- 
cgit v1.2.3