Commit Graph

451 Commits

Author SHA1 Message Date
pjh123 2724592cbb test: 补全 Pass C 单测与不动域断言(D-13/D-14/D-04/D-03)
- pass_c_sweep 尾部加 debug_assert 越界防御(T-04-03,空尾块映射合法透传)
- 存活 label 新旧下标对应、死 label 置 None、原 None 保持
- 空函数退化、幂等性(dce 两次一致)
- label_count/n_registers/constants/nested 不动断言
2026-08-06 11:35:58 +08:00
pjh123 213a9820de feat: 实现 Pass A 可达性 + Pass B use 计数迭代删除
- Pass A 消费 build_cfg,entry 沿 succs DFS(含 Exception 边保守,Pitfall 4)展开指令粒度 keep
- Pass B 可达存活指令聚合 use 计数,def 无 use 且 is_pure 迭代删至不动点(D-02 连锁)
- Pass C 最小 mark-sweep 重建 insts + label_pos 重映射(死 label 置 None)
- 依赖 oxide_bytecode(测试需 OpCode 常量,Rust 无 crate 传递可见性,与 oxide_cfg 骨架一致)
- 单测 8 条:死链/负例/STORE_VAR 特判/if-else/死块/Exception 保守/死闭包/连锁
2026-08-06 11:33:27 +08:00
pjh123 b0ba874844 feat: 新建 oxide_dce crate 骨架并接入 workspace
- workspace.members 在 oxide_cfg 后追加 crates/oxide_dce
- Cargo.toml 骨架照抄 oxide_cfg(oxide_ir + oxide_cfg 依赖,dev-deps parser/emit/vm)
- lib.rs 中文文档头 + pub fn dce 入口(空函数退化先例,非空路径 Task 2/3 骨架)
2026-08-06 11:27:44 +08:00
pjh123 100f78fdca feat: 实现 is_pure 精确纯表(Pattern 1 全表 + LOAD_VAR/STORE_VAR 特判) 2026-08-06 10:50:18 +08:00
pjh123 a0f6ede4db test: 新增 is_pure 纯表单测(Pattern 1 各族正负例 + 特判分支) 2026-08-06 10:49:08 +08:00
pjh123 64431d4a08 feat: 实现 def_reg/use_regs 寄存器扫描契约(Pattern 2 全表) 2026-08-06 10:47:56 +08:00
pjh123 1306efdc78 test: 新增 def_reg/use_regs 契约单测(Pattern 2 反直觉槽位) 2026-08-06 10:45:10 +08:00
pjh123 d4b64a2cc9 refactor: 拆分 build_cfg 四阶段为独立模块纯函数链 2026-08-06 01:10:56 +08:00
pjh123 261c62a37e fix: 修复 date_to_json 测试时区敏感断言(UTC+8 下用显式 UTC 时间戳) 2026-08-06 01:05:56 +08:00
pjh123 4a7d96d7f2 test: 新增真实编译产物集成回归锚(parse→emit→build_cfg) 2026-08-06 00:49:07 +08:00
pjh123 af93f6702d fix: 修复 clippy 阻塞(doc comment 空行 + single_match_else) 2026-08-06 00:45:49 +08:00
pjh123 acd8e54e59 feat: 新建 oxide_cfg crate(BB 划分 + CFG 构建 pass) 2026-08-06 00:45:48 +08:00
pjh123 3246d768d9 fix: 修复 main.rs:20 悬空 doc comment 恢复 workspace 构建 2026-08-06 00:39:33 +08:00
pjh123 263fd255b6 docs: 添加 Rustdoc 注释 2026-08-05 21:46:47 +08:00
pjh123 7c8f19f61a refactor: 拆分 oxide_emit 为独立 emit pass crate(依赖倒置) 2026-08-05 20:13:18 +08:00
pjh123 4f670eb7fd refactor: 拆分 oxide_ir 为独立 crate 2026-08-05 19:34:44 +08:00
pjh123 3ae2eeee42 refactor: 拆分闭包分析与预扫描模块,拆分函数体编译子步骤 2026-08-05 19:29:02 +08:00
pjh123 050f75c952 fix: 完善闭包捕获(cell 索引稳定、参数遮蔽、函数/类名捕获、b 槽立即数) 2026-08-05 19:19:29 +08:00
pjh123 179960ed75 fix: 重写闭包捕获分析为 AST 级,修复 MAKE_CELL 时序 2026-08-05 18:41:48 +08:00
pjh123 0028a1787e chore: 清理过时 dead_code 标注与空代码块 2026-08-05 18:26:46 +08:00
pjh123 1171c53ff6 test: 补 IR 结构测试 2026-08-05 18:03:21 +08:00
pjh123 90f932680d test: 补薄弱域字节码断言测试 2026-08-05 18:01:42 +08:00
pjh123 76e650ce82 refactor: 抽取 assemble_ir 共用出口组装 2026-08-05 17:55:32 +08:00
pjh123 f34f791b9a refactor: 原子切换 emit 产出符号化 IR 2026-08-05 17:52:42 +08:00
pjh123 ef3cd65eb6 feat: 实现 IRFunction 到字节码的 lowering 转换 2026-08-05 17:24:35 +08:00
pjh123 e9e1ad8acd feat: 新增 Operand/Inst/IRFunction 类型系统与构造 API 2026-08-05 17:17:51 +08:00
pjh123 2f7fe3cedf fix: 修复不符合 JS 语义约束的错误行为测试 2026-08-05 15:44:22 +08:00
pjh123 c250f5cb2b fix: 修复编译阶段缺失的预注册顶层 var 名步骤 2026-08-05 15:21:00 +08:00
pjh123 dce335e766 fix: 逐个按顺序处理 field 与 block 以符合 JS 类元素源码顺序语义 2026-08-05 15:04:44 +08:00
pjh123 94576d60c5 fix: 编译阶段预扫描 builtin 避免寄存器分配问题 2026-08-05 13:28:51 +08:00
pjh123 77d11fb18c refactor: 单趟编译收尾 2026-08-05 10:27:30 +08:00
pjh123 489fe5e6bb refactor: 移除 class 计数辅助 2026-08-05 10:27:29 +08:00
pjh123 76fb0b5b88 refactor: 移除表达式计数辅助 2026-08-05 10:27:29 +08:00
pjh123 c4ea84bda1 refactor: 移除迭代计数辅助 2026-08-05 10:27:29 +08:00
pjh123 fd978b7ef8 refactor: 移除语句跳转计数辅助 2026-08-05 10:27:28 +08:00
pjh123 dfc14cfce9 refactor: 移除简单表达式计数辅助 2026-08-05 10:27:28 +08:00
pjh123 198bb7d428 refactor: 移除语句计数辅助 2026-08-05 10:27:28 +08:00
pjh123 c4ea281985 refactor: 模块编译改单趟完成 2026-08-05 00:49:13 +08:00
pjh123 b043c0272b refactor: 逻辑赋值跳转改经 fixup 解析 2026-08-05 00:42:02 +08:00
pjh123 3bbdc3f562 refactor: 可选链跳转改经 fixup 延迟发射 2026-08-05 00:38:11 +08:00
pjh123 f51eaca6a8 refactor: 逻辑运算跳转改经 fixup 延迟发射 2026-08-05 00:34:39 +08:00
pjh123 7519f3e9c3 refactor: 循环跳转改经 fixup 延迟发射 2026-08-05 00:30:45 +08:00
pjh123 865bf8091a refactor: 控制流跳转改经 fixup 延迟发射 2026-08-05 00:24:12 +08:00
pjh123 b413bd7890 feat: 编译器新增延迟跳转 fixup 机制 2026-08-04 21:10:10 +08:00
pjh123 aee2db5cf3 refactor: 拆分 class 相关编译逻辑 2026-07-05 19:13:58 +08:00
pjh123 ea70e3965d refactor: 清除旧代码并展开 crate 2026-07-05 18:43:22 +08:00
pjh123 9e3ed194e1 Merge branch 'pr-develop' into 'main' 2026-07-05 15:59:48 +08:00
pjh123 e57d09d751 fix: 修复 SET_PROP_DYNAMIC 额外寄存器计数问题 2026-07-05 15:55:27 +08:00
pjh123 d608fc3236 refactor: 按逻辑归类 emit 和 count 函数,并消除通配导入 2026-07-05 15:35:58 +08:00
pjh123 194d65c2b5 refactor: 拆分编译流水线过程以避免逻辑漂移 2026-07-05 14:41:08 +08:00