From a72a7a4323fb6eef8e15cc2f1229bcca14879e94 Mon Sep 17 00:00:00 2001 From: Richard-Qin-X Date: Wed, 26 Aug 2026 23:28:39 +0800 Subject: [CodeGen] Centralize machine pass property validation --- backend/lib/CodeGen/GlobalISel/Legalizer.cpp | 15 --------------- 1 file changed, 15 deletions(-) (limited to 'backend/lib/CodeGen/GlobalISel/Legalizer.cpp') diff --git a/backend/lib/CodeGen/GlobalISel/Legalizer.cpp b/backend/lib/CodeGen/GlobalISel/Legalizer.cpp index 8f3f06f..ca31d56 100644 --- a/backend/lib/CodeGen/GlobalISel/Legalizer.cpp +++ b/backend/lib/CodeGen/GlobalISel/Legalizer.cpp @@ -177,17 +177,6 @@ private: return PostOrder; } -[[nodiscard]] Expected 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]] Error passFailure(std::string Message, ErrorCode Code = ErrorCode::VerificationError) { return Error(Code, std::move(Message)); @@ -267,10 +256,6 @@ Expected Legalizer::run(MachineFunction &Function, if (Info == nullptr) return std::unexpected( passFailure("legalizer has no target behavior interface", ErrorCode::InvalidArgument)); - auto Required = requireProperties(Function, contract()); - if (!Required) - return std::unexpected(Required.error()); - if (AbortMode != GlobalISelAbortMode::Enable) { if (AbortMode != GlobalISelAbortMode::Disable && AbortMode != GlobalISelAbortMode::DisableWithDiagnostic) { -- cgit v1.2.3