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/GlobalISel/RegBankSelect.cpp | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to 'backend/lib/CodeGen/GlobalISel/RegBankSelect.cpp')

diff --git a/backend/lib/CodeGen/GlobalISel/RegBankSelect.cpp b/backend/lib/CodeGen/GlobalISel/RegBankSelect.cpp
index a5747c3..3b7932b 100644
--- a/backend/lib/CodeGen/GlobalISel/RegBankSelect.cpp
+++ b/backend/lib/CodeGen/GlobalISel/RegBankSelect.cpp
@@ -56,17 +56,6 @@ registerConfigurationFingerprint(const MachineRegisterInfo &RegInfo) noexcept {
   return Result;
 }
 
-[[nodiscard]] Expected<void> requireProperties(const MachineFunction &Function,
-                                               const MachinePassContract &Contract) {
-  const MachineFunctionProperties Missing = Contract.Requires.missingFrom(Function.properties());
-  if (!Missing.empty()) {
-    return makeUnexpected(ErrorCode::VerificationError,
-                          "pass '" + Contract.Name +
-                              "' requires properties: " + Missing.toString());
-  }
-  return {};
-}
-
 [[nodiscard]] Expected<void> restoreRegisterConfiguration(
     MachineRegisterInfo &RegInfo,
     const std::vector<std::pair<Register, std::pair<std::optional<RegisterBankID>,
@@ -299,10 +288,6 @@ Expected<MachinePassResult> RegBankSelect::run(MachineFunction &Function,
   if (Info == nullptr)
     return std::unexpected(passFailure("register-bank select has no target behavior interface",
                                        ErrorCode::InvalidArgument));
-  auto Required = requireProperties(Function, contract());
-  if (!Required)
-    return std::unexpected(Required.error());
-
   MachinePassResult Result;
   MachineRegisterInfo &RegInfo = Function.registerInfo();
   const std::uint64_t RegisterConfigurationBefore = registerConfigurationFingerprint(RegInfo);
-- 
cgit v1.2.3