[CodeGen] Centralize machine pass property validation

1 files changed, 0 insertions, 15 deletions

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);