From 77884c967d1cbc48afcbaef7e5a35adcb3c5da1b Mon Sep 17 00:00:00 2001
From: Richard-Qin-X <richard.qin.001@gmail.com>
Date: Sat, 8 Aug 2026 04:14:34 +0800
Subject: [CodeGen] Implement machine SSA exit

---
 backend/include/rcc/CodeGen/MachineCFGUpdater.h | 6 ++++++
 1 file changed, 6 insertions(+)

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

diff --git a/backend/include/rcc/CodeGen/MachineCFGUpdater.h b/backend/include/rcc/CodeGen/MachineCFGUpdater.h
index 4359538..70fb9aa 100644
--- a/backend/include/rcc/CodeGen/MachineCFGUpdater.h
+++ b/backend/include/rcc/CodeGen/MachineCFGUpdater.h
@@ -10,6 +10,7 @@ namespace rcc {
 
 class MachineBasicBlock;
 class MachineFunction;
+class MachineInstr;
 
 class MachineCFGUpdater final {
 public:
@@ -22,11 +23,16 @@ public:
   [[nodiscard]] Expected<void> replaceSuccessor(MachineBasicBlock &From,
                                                 MachineBasicBlock &OldTarget,
                                                 MachineBasicBlock &NewTarget);
+  [[nodiscard]] Expected<void> splitEdge(MachineBasicBlock &From, MachineBasicBlock &To,
+                                         MachineBasicBlock &EdgeBlock);
   [[nodiscard]] Expected<void> updateBranchProbability(MachineBasicBlock &From,
                                                        MachineBasicBlock &To,
                                                        BranchProbability Probability);
   [[nodiscard]] Expected<void> transferSuccessors(MachineBasicBlock &From, MachineBasicBlock &To);
   [[nodiscard]] Expected<void> disconnectBlock(MachineBasicBlock &Block);
+  [[nodiscard]] Expected<MachineBasicBlock *> splitBlock(MachineBasicBlock &Block,
+                                                         MachineInstr &SplitBefore);
+  [[nodiscard]] Expected<void> deleteBlock(MachineBasicBlock &Block);
 
 private:
   [[nodiscard]] Expected<void> verifyOwnership(const MachineBasicBlock &Block) const;
-- 
cgit v1.2.3