From 495c675771f43cfa12ab7a426a538be72fec1805 Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sun, 9 Aug 2026 17:03:19 +0800
Subject: [CodeGen] Implement machine optimization and scheduling

---
 .../include/rcc/CodeGen/MachineCombinerPattern.h   | 82 ++++++++++++++++++++++
 1 file changed, 82 insertions(+)
 create mode 100644 backend/include/rcc/CodeGen/MachineCombinerPattern.h

(limited to 'backend/include/rcc/CodeGen/MachineCombinerPattern.h')

diff --git a/backend/include/rcc/CodeGen/MachineCombinerPattern.h b/backend/include/rcc/CodeGen/MachineCombinerPattern.h
new file mode 100644
index 0000000..69df70a
--- /dev/null
+++ b/backend/include/rcc/CodeGen/MachineCombinerPattern.h
@@ -0,0 +1,82 @@
+// SPDX-License-Identifier: GPL-3.0-or-later
+
+#ifndef RCC_CODEGEN_MACHINECOMBINERPATTERN_H
+#define RCC_CODEGEN_MACHINECOMBINERPATTERN_H
+
+#include "rcc/CodeGen/MachineIRTypes.h"
+#include "rcc/Support/Error.h"
+
+#include <cstddef>
+#include <cstdint>
+#include <span>
+#include <string>
+#include <unordered_map>
+#include <vector>
+
+namespace rcc {
+
+enum class MachineCombinerStage : std::uint8_t {
+  SelectedSSA,
+  PreRegisterAllocation,
+  PostRegisterAllocation,
+  PostFrame,
+};
+
+using MachineCombinerStageMask = std::uint8_t;
+
+[[nodiscard]] constexpr MachineCombinerStageMask
+machineCombinerStageMask(MachineCombinerStage Stage) noexcept {
+  return static_cast<MachineCombinerStageMask>(1U << static_cast<std::uint8_t>(Stage));
+}
+
+enum class MachineCombinerPredicateKind : std::uint8_t {
+  ImmediateEquals,
+  RegisterEquals,
+  PhysicalRegisterEquals,
+  RegisterIsVirtual,
+  RegisterIsPhysical,
+};
+
+struct MachineCombinerPredicate final {
+  MachineCombinerPredicateKind Kind = MachineCombinerPredicateKind::ImmediateEquals;
+  std::size_t Operand = 0;
+  std::size_t OtherOperand = 0;
+  std::int64_t Value = 0;
+};
+
+enum class MachineCombinerActionKind : std::uint8_t {
+  ReplaceDefWithOperandAndErase,
+};
+
+struct MachineCombinerAction final {
+  MachineCombinerActionKind Kind = MachineCombinerActionKind::ReplaceDefWithOperandAndErase;
+  std::size_t DefinitionOperand = 0;
+  std::size_t SourceOperand = 0;
+};
+
+struct MachineCombinerPattern final {
+  std::string Name;
+  Opcode RootOpcode;
+  MachineCombinerStageMask Stages = 0;
+  std::vector<MachineCombinerPredicate> Predicates;
+  MachineCombinerAction Action;
+};
+
+class TargetMachineCombinerInfo final {
+public:
+  [[nodiscard]] static Expected<TargetMachineCombinerInfo>
+  create(std::vector<MachineCombinerPattern> Patterns);
+
+  [[nodiscard]] std::span<const MachineCombinerPattern> patterns(Opcode RootOpcode) const noexcept;
+
+private:
+  explicit TargetMachineCombinerInfo(std::vector<MachineCombinerPattern> Patterns)
+      : Patterns(std::move(Patterns)) {}
+
+  std::vector<MachineCombinerPattern> Patterns;
+  std::unordered_map<Opcode, std::vector<MachineCombinerPattern>> MatchTable;
+};
+
+} // namespace rcc
+
+#endif // RCC_CODEGEN_MACHINECOMBINERPATTERN_H
-- 
cgit v1.2.3