test(cfg): 各 Pass 模块补模块级单测，测试随实现拆分

2026-08-06 14:09:03 +08:00
parent f7111b4658
commit ca46cf842e
4 changed files with 217 additions and 0 deletions
@@ -33,3 +33,51 @@ pub(super) fn add_exception_edges(f: &IRFunction, blocks: &mut [BasicBlock]) {
        }
    }
 }
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+    use crate::BasicBlock;
+    use oxide_ir::inst::Inst;
+
+    /// TRY_BEGIN 所在 BB 出发 Exception 边 → catch 入口块（D-07/D-08 仅起始 BB）。
+    #[test]
+    fn try_begin_emits_exception_edge_to_handler() {
+        let mut f = IRFunction::new();
+        f.insts.push(Inst::try_begin(0)); // 0: TRY_BEGIN → catch（label 0 → inst 2）
+        f.insts.push(Inst::new(OpCode::NOP, Operand::None, Operand::None, Operand::None)); // 1
+        f.insts.push(Inst::new(OpCode::NOP, Operand::None, Operand::None, Operand::None)); // 2: catch 入口
+        f.label_pos = vec![Some(2)];
+        f.label_count = 1;
+
+        let mut blocks = vec![
+            BasicBlock { inst_range: 0..2, preds: Vec::new(), succs: Vec::new() },
+            BasicBlock { inst_range: 2..3, preds: Vec::new(), succs: Vec::new() },
+        ];
+        add_exception_edges(&f, &mut blocks);
+        assert_eq!(blocks[0].succs, vec![(1, EdgeKind::Exception)], "TRY_BEGIN 所在 BB 出 Exception 边");
+        assert!(blocks[1].succs.is_empty(), "catch 入口块无出边");
+    }
+
+    /// 块内多个 TRY 标记指向同一目标：Exception 边去重（Pitfall 4）。
+    #[test]
+    fn duplicate_exception_targets_deduplicated() {
+        let mut f = IRFunction::new();
+        f.insts.push(Inst::try_begin(0)); // 0: TRY_BEGIN → L0
+        f.insts.push(Inst::try_finally_begin(0)); // 1: TRY_FINALLY_BEGIN → 同一 L0
+        f.insts.push(Inst::new(OpCode::NOP, Operand::None, Operand::None, Operand::None)); // 2: L0 目标
+        f.label_pos = vec![Some(2)];
+        f.label_count = 1;
+
+        let mut blocks = vec![
+            BasicBlock { inst_range: 0..2, preds: Vec::new(), succs: Vec::new() },
+            BasicBlock { inst_range: 2..3, preds: Vec::new(), succs: Vec::new() },
+        ];
+        add_exception_edges(&f, &mut blocks);
+        assert_eq!(
+            blocks[0].succs,
+            vec![(1, EdgeKind::Exception)],
+            "两个 TRY 标记指向同一目标只保留一条 Exception 边"
+        );
+    }
+}