refactor(furc/ssa): add exit instruction awareness

Refs: #2
2026-06-12 23:09:36 +02:00
parent abd975be23
commit 97c01bc96c
1 changed files with 8 additions and 0 deletions
@@ -200,6 +200,14 @@ void ssa::optimize(const std::unique_ptr<furlang::ir::function>& func) {
            }
        }

+        for (auto& operand : block->exit()->sources()) {
+            if (operand->type() != furlang::ir::operand_t::Register) continue;
+            auto orig = operand->reg();
+            if (!regVerStacks[orig].empty()) {
+                operand->reg().ver = regVerStacks[orig].top();
+            }
+        }
+
        for (auto succIndex : successors[blockIndex]) {
            const auto& succ = func->blocks()[succIndex];
            for (auto& instr : succ->instructions()) {