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/PHIElimination.cpp | 13 ------------- 1 file changed, 13 deletions(-) (limited to 'backend/lib/CodeGen/PHIElimination.cpp') diff --git a/backend/lib/CodeGen/PHIElimination.cpp b/backend/lib/CodeGen/PHIElimination.cpp index f57a950..2c536f5 100644 --- a/backend/lib/CodeGen/PHIElimination.cpp +++ b/backend/lib/CodeGen/PHIElimination.cpp @@ -64,15 +64,6 @@ struct PhiPlan final { std::vector IncomingValues; }; -[[nodiscard]] Expected requireProperties(const MachineFunction &Function, - const MachinePassContract &Contract) { - const MachineFunctionProperties Missing = Contract.Requires.missingFrom(Function.properties()); - if (Missing.empty()) - return {}; - return makeUnexpected(ErrorCode::VerificationError, - Contract.Name + " requires properties: " + Missing.toString()); -} - [[nodiscard]] bool isPhi(const MachineInstr &Instruction, const TargetDescription &Target) { const InstructionDescriptor *Descriptor = Target.instructionDescriptor(Instruction.opcode()); return Descriptor != nullptr && Descriptor->Flags.has(InstructionFlag::Phi); @@ -486,10 +477,6 @@ const MachinePassContract &PHIEliminationPass::contract() const noexcept { Expected PHIEliminationPass::run(MachineFunction &Function, const TargetDescription &Target, MachineFunctionAnalysisManager &Analyses) { - auto Required = requireProperties(Function, contract()); - if (!Required) - return std::unexpected(Required.error()); - auto Trial = cloneMachineFunction( Function, Target, MachineFunctionCloneOptions{.NewStableID = Function.stableID(), .NewName = std::nullopt}); -- cgit v1.2.3