From 77884c967d1cbc48afcbaef7e5a35adcb3c5da1b Mon Sep 17 00:00:00 2001 From: Richard-Qin-X Date: Sat, 8 Aug 2026 04:14:34 +0800 Subject: [CodeGen] Implement machine SSA exit --- backend/include/rcc/CodeGen/MachineSSAExit.h | 49 ++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) create mode 100644 backend/include/rcc/CodeGen/MachineSSAExit.h (limited to 'backend/include/rcc/CodeGen/MachineSSAExit.h') diff --git a/backend/include/rcc/CodeGen/MachineSSAExit.h b/backend/include/rcc/CodeGen/MachineSSAExit.h new file mode 100644 index 0000000..d98c0b9 --- /dev/null +++ b/backend/include/rcc/CodeGen/MachineSSAExit.h @@ -0,0 +1,49 @@ +// SPDX-License-Identifier: GPL-3.0-or-later + +#ifndef RCC_CODEGEN_MACHINESSAEXIT_H +#define RCC_CODEGEN_MACHINESSAEXIT_H + +#include "rcc/CodeGen/MachinePass.h" +#include "rcc/CodeGen/TargetCodeGen.h" + +namespace rcc { + +class PHIEliminationPass final : public MachineFunctionPass { +public: + PHIEliminationPass() noexcept = default; + explicit PHIEliminationPass(const TargetSSAInfo &Info) noexcept : Info(&Info) {} + + [[nodiscard]] const MachinePassContract &contract() const noexcept override; + [[nodiscard]] Expected run(MachineFunction &Function, + const TargetDescription &Target, + MachineAnalysisManager &Analyses) override; + +private: + [[nodiscard]] Expected runImplementation(MachineFunction &Function, + const TargetDescription &Target, + MachineAnalysisManager &Analyses); + + const TargetSSAInfo *Info = nullptr; +}; + +class TwoAddressRewritePass final : public MachineFunctionPass { +public: + TwoAddressRewritePass() noexcept = default; + explicit TwoAddressRewritePass(const TargetSSAInfo &Info) noexcept : Info(&Info) {} + + [[nodiscard]] const MachinePassContract &contract() const noexcept override; + [[nodiscard]] Expected run(MachineFunction &Function, + const TargetDescription &Target, + MachineAnalysisManager &Analyses) override; + +private: + [[nodiscard]] Expected runImplementation(MachineFunction &Function, + const TargetDescription &Target, + MachineAnalysisManager &Analyses); + + const TargetSSAInfo *Info = nullptr; +}; + +} // namespace rcc + +#endif // RCC_CODEGEN_MACHINESSAEXIT_H -- cgit v1.2.3