ITStudio_OUC/OxideJS
Archived
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
697 Commits 2 Branches 0 Tags
ed964b5e2b7587d931ec645859460695ae428611
Commit Graph

43 Commits

Author SHA1 Message Date
pjh123 b62348eb5d perf: IC 多态化 4 槽缓存（FIFO 滚动写回）消除多态场景 miss 重解析 
每条 IC 指令扩展字 3→8（4 槽 × [shape_id|proto_depth, slot]），命中槽 0
单态快路径零额外成本，槽 1..3 懒解码遍历，miss 写回 FIFO 滚动（新条目进
槽 0、最老丢弃）。修复原型链 IC 深度解析多走一步与 prop_forge 模板不匹配
不写回两个使缓存恒失效的问题。ic_cache 基准命中率 34.8%→78.9%，
耗时 -29%；单态 prop_access 因扩展字布局膨胀有 ~20% 取指回归（后续
side-table 方案可根除）。
 2026-08-15 06:40:19 +08:00
pjh123 12ebdb8c0e perf: 对象字面量批量构造键序预建 shape 2026-08-14 04:47:15 +08:00
爱特每羊队 4303462d19 feat: compiler/test262 runner 接线 + 模块顶层 this 绑定 
- Compiler::compile_module：Emitter::emit_program_module → 统一 IR 管线（DCE/regalloc/lower/flatten）
- CompiledModule.is_es_module：VM run 时模块顶层 this=undefined（脚本仍为全局对象）
- 全局注册 __moduleLinkGet
- test262 runner：Test262ModuleLoader（相对路径解析 + import attributes 判定 json/text/bytes），is_module 走 compile_module
 2026-08-12 17:37:33 +08:00
爱特每羊队 1a4663dcab fix: class 方法/访问器/constructor/prototype 属性描述符（非枚举/只读），新增 DEFINE_PROP_ATTRS/DEFINE_ACCESSOR_ATTRS 
- opcode.rs/inst.rs/contract.rs/vm.rs/vm_dispatch_ctrl.rs：新增两个带 attrs 扩展字的 define 指令
  （attrs bit0=writable, bit1=enumerable, bit2=configurable，与 PropAttributes 一致）
- class/method.rs：方法与非计算访问器改按规范非枚举安装（DefineMethod 语义）
- class/prototype.rs：proto.constructor 非枚举；ctor.prototype 三标志全 false（MakeConstructor）
- 效果：language/statements/class 1782 pass/948 fail -> 1910 pass/716 fail（+128/-232）
 2026-08-12 14:11:02 +08:00
爱特每羊队 67c6d3a53a fix: preserve high template expression registers 2026-08-11 17:17:30 +08:00
爱特每羊队 51da7ed3d9 feat: 新增 DEFINE_ACCESSOR_DYNAMIC opcode 支持计算键对象访问器 2026-08-10 23:28:18 +08:00
爱特每羊队 d3ed1113ef feat: 编译管线/类型层 crate 补全多级日志宏 + 关键路径日志 2026-08-10 17:56:28 +08:00
爱特每羊队 c90c610e15 perf: 子模块树改 Arc 共享，run() 免深拷贝模块树 2026-08-10 17:23:29 +08:00
爱特每羊队 eaf4825e4f perf: 函数调用 bytecode 改 Arc 共享（O(1) 帧切换 + IC 写时复制） 2026-08-10 15:08:51 +08:00
爱特每羊队 223f1a04e7 refactor: opcode 语义单张声明式表（def/use/pure/jump/term/ic 六维收敛） 2026-08-10 12:23:19 +08:00
爱特每羊队 d18b2adf08 fix: 私有字段 brand 检查 own 槽（字段不跨原型，规避 cell 值缺陷） 2026-08-10 11:23:52 +08:00
爱特每羊队 06951dcec3 feat: 循环 let/const 每迭代绑定（MAKE_CELL_FRESH + 解构捕获修复） 2026-08-10 10:18:39 +08:00
爱特每羊队 4d37614e49 fix: 脚本顶层 var/function 声明落 globalThis（DEFINE_GLOBAL_PROP 非可配置数据属性） 2026-08-10 03:52:17 +08:00
爱特每羊队 012a8e5110 feat: for-await-of + Symbol.asyncIterator + AsyncFromSyncIterator 2026-08-10 03:21:37 +08:00
爱特每羊队 da586082cc feat: rest 参数（function f(...args)），实参区收集数组 2026-08-10 00:33:25 +08:00
爱特每羊队 0d9e6eabc9 feat: async/await 语法支持（AWAIT 帧快照挂起/恢复 + 微任务驱动 + AsyncFunction intrinsics） 2026-08-09 22:02:15 +08:00
爱特每羊队 c4e7080883 feat: 实现 yield* 委托语法（内层迭代器 next/return/throw 转发） 2026-08-09 20:00:16 +08:00
爱特每羊队 6f80c12ac9 feat: 生成器基础支持（YIELD 帧快照挂起/恢复 + GeneratorPrototype next/return/throw） 
- 新增 YIELD/SUSPEND_BODY opcode；function* 识别与 yield emit
- GeneratorState 全量快照 VM 执行上下文（regs/pc/bytecode/spill/save/try/cell 栈段/迭代器）
- 调用时参数初始化（默认值/解构副作用与异常在 g() 时刻生效）
- %GeneratorPrototype%/%GeneratorFunction.prototype% 内建对象与 next/return/throw
- session GC trace 生成器状态 JsValues；闭包捕获分析补 yield/赋值目标扫描
 2026-08-09 18:02:08 +08:00
爱特每羊队 c65d7e0373 feat: 函数 length 属性（字节码函数/bind 包装器）+ getter/setter name 前缀 2026-08-09 15:38:45 +08:00
爱特每羊队 8f8c9a39ff feat: 解构模式语义补齐（REST 枚举/getter/computed 排除、IteratorClose、RegAlloc def 干涉、for-in 捕获遮蔽） 2026-08-09 15:01:31 +08:00
爱特每羊队 915dedb151 feat: class 私有成员语义（字段/方法/访问器 + brand 检查 + 契约修复） 2026-08-09 11:08:36 +08:00
爱特每羊队 38abdfd9ab feat: class 公有字段 define 语义 + computed key 类定义期求值一次 2026-08-09 09:35:24 +08:00
爱特每羊队 2f8f1c3b71 feat: with 语句、成员位/移位复合赋值、CALL_NATIVE 无目标修复 
with 语句：新增 emit 支持，with 体内自由标识符动态解析（对象属性优先，
回退外层），支持读/写/复合赋值/自增自减/delete/var 初始化动态化，
TO_OBJECT opcode 处理原始值对象，顶层 this 绑定全局对象。

复合赋值：新增 6 个 COMPOUND_MEMBER_BIT_* opcode 支持成员位/移位复合赋值，
修复 computed member 复合赋值覆盖 bug，with 内标识符复合赋值动态化。

CALL_NATIVE：实现全局 isNaN/isFinite 并绑定，用户覆盖 builtin 名时
回退通用调用路径而非报错，局部遮蔽 builtin 名走普通 CALL。

test262: with 34 pass（基线 0），compound-assignment 320 pass（基线 223）
 2026-08-09 07:22:46 +08:00
爱特每羊队 a814dd0700 fix: try/finally 支持 break/continue/return 穿越 finally（completion 机制） 2026-08-08 12:38:25 +08:00
爱特每羊队 6c7b10d6c5 feat: 对象字面量 spread（{...obj} 展开可枚举自有属性） 2026-08-08 11:24:09 +08:00
爱特每羊队 2777b00c82 feat: 调用实参 spread（f(...args) / new F(...args) / super(...args)） 2026-08-08 10:33:16 +08:00
爱特每羊队 a206d0ef82 feat(vm): arguments 对象绑定（CREATE_ARGUMENTS + 帧实参 spill 区） 2026-08-08 00:01:22 +08:00
爱特每羊队 f4d95f373e fix(vm): 链式 upvalue 捕获支持多层嵌套函数引用深层变量 2026-08-07 14:56:51 +08:00
爱特每羊队 d1675c217d fix(vm): 子模块全局扁平化根治逃逸闭包上下文错位 2026-08-07 10:49:15 +08:00
爱特每羊队 328b8a3ddc docs: 补充注释与格式化 2026-08-06 23:10:27 +08:00
爱特每羊队 a763e7ab75 feat(compiler): 管线接入 liveness/精确DCE/RegAlloc + --no-regalloc flag（D-17/D-18） 2026-08-06 17:56:55 +08:00
爱特每羊队 f4e0fdf14e feat(dce): liveness 驱动的精确二轮 dce_precise + is_top_level 标志（D-17/D-19/D-20） 2026-08-06 16:55:26 +08:00
爱特每羊队 fc4924c2c9 feat(ir): 新增 MOV/SPILL/UNSPILL opcode 登记 + 构造 API + 契约层（D-06/D-07） 2026-08-06 16:34:25 +08:00
爱特每羊队 38d6c7a60e refactor(emit): 寄存器号 u8→u32 全链放宽，vreg 化去 checkpoint/reg_overflow（B005） 2026-08-06 16:31:16 +08:00
爱特每羊队 604ecca793 test(ir): 迁移 lowering 测试到 oxide_ir（测试随实现落位） 2026-08-06 14:11:54 +08:00
爱特每羊队 f7111b4658 refactor(ir): 拆分寄存器契约（def/use/is_pure）为 contract 独立模块 2026-08-06 14:05:53 +08:00
爱特每羊队 50216d7d00 fix(dce): STORE_VAR 一律判有副作用，修复顶层变量赋值被误删 2026-08-06 13:29:07 +08:00
爱特每羊队 d33ec31532 feat(ir): 实现 is_pure 精确纯表（Pattern 1 全表 + LOAD_VAR/STORE_VAR 特判） 2026-08-06 10:50:18 +08:00
爱特每羊队 c7b5df23ea test(ir): 新增 is_pure 纯表单测（Pattern 1 各族正负例 + 特判分支） 2026-08-06 10:49:08 +08:00
爱特每羊队 2e74124ba0 feat(ir): 实现 def_reg/use_regs 寄存器扫描契约（Pattern 2 全表） 2026-08-06 10:47:56 +08:00
爱特每羊队 69d139af74 test(ir): 新增 def_reg/use_regs 契约单测（Pattern 2 反直觉槽位） 2026-08-06 10:45:10 +08:00
爱特每羊队 f461235f04 docs: 添加 Rustdoc 注释 2026-08-05 21:46:47 +08:00
爱特每羊队 9f02985a82 refactor(ir): 拆分 oxide_ir 为独立 crate 2026-08-05 19:34:44 +08:00