vm-bytecode #1

2026-06-26T09:17:56+08:00

elmma commented

2026-06-26 09:17:56 +08:00

VM字节码

elmma added 6 commits 2026-06-26 09:17:57 +08:00

feat: 字节码VM基础设施 — 编译器、VM执行循环、Runtime trait d854b22006

Phase 1-3: 基础VM架构
- 新增 Runtime trait: 抽象树遍历解释器和VM的共同接口
- NativeFn 改为接受 &mut dyn Runtime
- 重构所有内置函数使用新签名
- vm/opcode.rs: 33个字节码指令 + 编码/解码辅助函数
- vm/compiler.rs: AST→字节码编译器，支持变量解析、跳转回填、作用域
- vm/vm.rs: 栈式VM执行循环，支持全局变量、原生函数调用
- lib.rs: 新增 run_file_vm() + --vm CLI标志
- 修复: 跳转偏移计算、对象字面量编译

工作特性: 算术、变量、while/for循环、条件、数组、对象、字符串
待完成: 用户定义函数调用、闭包/upvalue捕获、完整require支持

Release模式: 1M算术循环 VM 0.44s vs 树遍历 0.89s (2.0x加速)

feat: VM函数调用、闭包、upvalue捕获支持 299003a718

- 实现用户定义函数调用 (CallFrame创建、参数传递、返回)
- 实现闭包/upvalue捕获 (编译器解析、VM捕获、LoadUpvalue/StoreUpvalue)
- 修复栈管理: StoreLocal peek语义、局部变量槽位分配
- 修复跳转偏移计算 (移除错误的-3偏置)
- 修复对象字面量编译 (每字段后Pop)
- 修复函数声明栈泄漏 (DefineGlobal后Pop)
- 添加ForInNext值Pop (避免栈累积)
- 添加OpCode::from_u8对非连续值的支持

通过: 算术、循环、条件、数组、对象、字符串、递归、闭包、upvalue
部分通过: for-in迭代器 (基本工作，复杂嵌套场景待修复)
未实现: VM版require()、复合upvalue赋值

测试: 327/327 通过

feat: 重构for-in为预计算+隐藏局部变量模式 9c9a17b149

ForInInit: 改为预计算所有迭代元素为数组
ForInNext: 接收items_slot+idx_slot操作数，从局部变量读取
编译器: for-in迭代器使用隐藏局部变量(items, idx)，隔离于value stack
修复: for-in在函数调用嵌套场景下栈对齐问题
修复: break路径在for-in中正确弹出循环变量
修复: ForInNext退出时push Nil以保持栈平衡
修复: 跳转偏移计算(移除emit_loop_jump中错误的-3)

通过: 17/18 benchmark测试 (全部for-in相关测试通过)
已知限制: 3层嵌套闭包(10c)需传递式upvalue支持

feat: 传递式upvalue — 3层嵌套闭包支持 ddee395f52

- upvalues改为Rc<RefCell<Vec<Upvalue>>>支持跨编译器共享
- resolve_upvalue: 通过grandparent_upvalues级联创建upvalue链
- compile_nested_function: 传递完整enclosing_locals链 + grandparent_upvalues
- Upvalue添加name字段用于传递式查找

测试: 327/327 通过 | Benchmark: 18/18 全部通过

feat: VM版require()模块加载支持 9a193fd7ca

- Vm实现Runtime::require: lex→parse→compile→execute
- 模块隔离执行: 独立Vm实例，共享builtins
- Closure传递: 模块导出的函数闭包注册到父Vm
- 循环require支持: 缓存占位符机制

测试: 327/327 通过
验证: use_math.ast (add=42, mul=42, add(mul(2,3),1)=7)

chore: 消除所有编译器警告 7b9bded5ee

- 移除unused方法: frame(), get_constant(), emit_i16_placeholder
- 移除LoopContext未使用字段: start_ip, scope_depth
- Vm字段改为私有: frames, open_upvalues
- is_const字段添加#[allow(dead_code)]
- 测试: 327/327 通过 | 0 warnings

elmma self-assigned this 2026-06-26 09:19:16 +08:00

elmma commented

2026-06-26 09:23:22 +08:00

可以合并

elmma marked the pull request as ready for review 2026-06-26 09:24:49 +08:00

elmma merged commit 1cfa31abcc into master

2026-06-26 09:25:11 +08:00

elmma referenced this issue from a commit

2026-06-26 09:25:12 +08:00

Merge pull request 'vm-bytecode' (#1) from vm-bytecode into master

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: elmma/aster#1