fix: 顶层 count pass 镜像 emit 的函数提升顺序，消除跳转目标漂移导致的死循环

2026-06-30 16:01:00 +08:00
parent c871396300
commit 05b149b275
2 changed files with 32 additions and 1 deletions
@@ -866,8 +866,19 @@ impl Compiler {
        let mut ctx = CompileCtx::new();
        ctx.pre_register_builtins();

+        // The emit pass below hoists FunctionDeclarations to the front. The count pass
+        // must walk in that same order: counting in source order would record jump-target
+        // labels at source-order PCs while emit places code at hoisted-order PCs, drifting
+        // every jump that sits after a hoisted function declaration (infinite loops at run).
        for stmt in &program.body {
-            self.count_statement(stmt, &mut ctx);
+            if matches!(stmt, Statement::FunctionDeclaration(_)) {
+                self.count_statement(stmt, &mut ctx);
+            }
+        }
+        for stmt in &program.body {
+            if !matches!(stmt, Statement::FunctionDeclaration(_)) {
+                self.count_statement(stmt, &mut ctx);
+            }
        }
        crate::compiler_debug!("counter: {} instructions estimated", ctx.projected_pc);
        ctx.max_regs = ctx.max_regs.max(1);