ITStudio_OUC/OxideJS-New
0
1
Fork 0
mirror of https://github.com/pjh456/OxideJS.git synced 2026-10-24 02:31:13 +08:00
Code Issues Packages Projects Releases Wiki Activity
1,561 Commits 1 Branch 0 Tags
3fc6e86f644eb129461e3c1d8da717b1a2ad6c21
Commit Graph

38 Commits

Author SHA1 Message Date
pjh123 013c0eb3cf fix: CFG 异常边覆盖 try 体全部块，补全干涉图 keep 与 callee 边 2026-10-05 22:00:50 +00:00
pjh123 1d613001ed perf: Kemp 染色工作列表改两集合，弹出取首元素消除二次方扫描 2026-09-28 17:53:56 +00:00
pjh123 a44229bee7 perf: 染色图构建按活点预分组 fresh，消除逐指令全扫描 2026-09-27 16:59:57 +00:00
pjh123 70e03c6a62 feat: 类体计算键访问器落地动态定义访问器指令 2026-09-24 09:16:08 +00:00
pjh123 e26b5a8172 docs: 修正寄存器取色同源注释的表述 2026-09-17 16:16:04 +00:00
pjh123 d81777e8b2 docs: 清理寄存器分配注释并重命名样例测试 2026-09-17 16:05:45 +00:00
pjh123 3986aec50e test: alloc 与 AllocMap 单测移入 regalloc 集成测试 2026-09-15 20:25:46 +00:00
pjh123 2a2db136de test: 染色决策单测移入 regalloc 集成测试 2026-09-15 20:12:47 +00:00
pjh123 8224057987 test: 调用窗口编码单测移入 regalloc 集成测试 2026-09-15 20:10:30 +00:00
pjh123 586d00f64b perf: 建图只遍历活集 + rewrite use 点按指令分组 
graph 建边由逐指令全 node 扫描（O(insts × nodes)，活集小也扫全表）
改为只遍历该指令活集中置位的 vreg（u64 位集 trailing_zeros 升序，
与 node 表升序遍历逐字节同序，确定性不漂移）。rewrite 主循环对每
指令全扫全局 uses 表（O(insts × spills) 二次方）改为按指令分组的
use 点列表，只取本指令的 use 点。

实测（debug，test262 identifiers 最大样本）：plain 17.0.0
16.9s → 1.06s（-94%），class 9.0.0 7.0s → 1.61s（-77%），
均低于 2s 达标线；identifiers 子集 268/268 全 PASS（原 32 个
10s 超时全部转 PASS）。
 2026-08-16 03:26:57 +08:00
pjh123 b8611d2c4b perf: live 集改 u64 位集 + 不动点缓冲复用 
LiveInfo 四矩阵由逐位 Vec<bool>（1 字节/位，长度 = max_vreg+1）改为
u64 压缩位集（1 字 64 位，长度 ÷8），dataflow 不动点 out/input 缓冲
提为循环外复用（clear + 覆盖，免逐迭代逐块分配）。dce_precise /
graph 建图 / call_window 三处消费方同步改为字内位移查询，越界语义
与旧 Vec<bool>::get 一致（越界 = 不 live）。位集遍历（call_window
存活上界）按 trailing_zeros 只走实际置位，活集小则近 O(活集) 而非
O(254)。

实测（debug，start-unicode-17.0.0.js）：liveness 三趟合计
~536ms → ~118ms（-78%），矩阵内存 ÷8；graph 全 node 扫描为剩余
瓶颈，另行跟进。
 2026-08-16 03:20:02 +08:00
pjh123 3962a329bd perf: LiveInfo 维度守卫改 Cow 借用，合法路径免全量复制 
alloc 与 encode_call_window 在 LiveInfo 维度匹配（正常路径）时仍全量
clone 稠密 bitset 矩阵，随后只读消费。改为 Cow::Borrowed 借用原分析
结果，维度不符才 Cow::Owned 重建。零语义变化，消除每次 alloc/编码
的无谓内存复制。
 2026-08-16 03:03:55 +08:00
pjh123 6a5ed5c78e fix: 含 try 指令的函数跳过调用窗口编码防异常 handler 丢存活寄存器 
异常边只从 TRY 标记所在 BB 发出，分支/循环 BB 内调用点的 liveness 不含仅
catch/finally 存活的寄存器；按存活上界截断窗口会使 unwind 恢复后 handler 读到
callee 残留垃圾值（可为悬垂对象指针）。含 TRY_BEGIN/TRY_FINALLY_BEGIN 的函数
整体跳过窗口编码（回退全量窗口），恢复基线保守行为，普通函数不受影响。
补分支内调用 + catch 读 try 前变量的 Red/Green 测试与 finally 回归锚点。
 2026-08-15 11:41:58 +08:00
pjh123 d9acda7417 perf: 字节码调用压帧窗口按调用点存活上界拷贝减少整窗搬移 
RegAlloc 改写后补第三次 liveness，为每条 CALL/NEW/SUPER_CALL 计算调用点
存活上界（最大存活物理槽号 + 1，254/255 由帧单独保存不计入），编码进
ext 高 8 位（nargs 低 8 位不变）。三处手写压帧窗口 = min(调用方活动寄存
器, 存活上界)，restore_frame 按窗口回拷；CallFrame 新增
caller_active_reg_limit 保存调用方真实活动上限，恢复时不随截断窗口缩水。
生成器/异步函数体调用点保持全量窗口。spread 调用与运行时发起压帧
（accessor/内联）走全量路径不受影响。
 2026-08-15 09:56:22 +08:00
pjh123 38a4f20743 perf: CONCAT_N 多操作数拼接单趟精确预分配替代逐次 ADD 
新增 CONCAT_N opcode（0x93）：连续加号左结合链摊平为单条指令，
字符串模式单趟精确总长预分配，消除 N-2 次中间串分配与逐次整串重拷贝。

- emit 只下钻 left 链、right 括号不拆（a+(b+c) 退化 ADD），求值序与
  f64 结合性保持左结合原义；摊平上限 14 防超长链寄存器压力
- dispatch 两阶段：数值前缀逐项复用 ADD 判定序列（int 溢出升 double、
  BigInt 混合 TypeError、对象 ToPrimitive 副作用序），遇字符串转入
  字符串模式单趟预分配拼接（concat_n_strings）
- RegAlloc graph/rewrite 登记 CONCAT_N ext 操作数（漏收集即错值）；
  ic_helper ext_word_count 登记（clear_ic_caches 字节定位）
- contract golden 显式 CONCAT_N 分支（规避 canonical_inst _ 兜底）
 2026-08-15 09:08:05 +08:00
pjh123 4e2d00fd0f fix: 嵌套内置对象寄存器映射同步 2026-08-11 18:06:42 +08:00
pjh123 e6d70664d3 fix: 模板表达式高位寄存器槽保留 2026-08-11 17:17:30 +08:00
pjh123 2287f9f4ce fix: 寄存器分配支持高位寄存器槽 2026-08-11 12:37:56 +08:00
pjh123 f96c351cf8 fix: builtin 槽恒等预着色号 >253 时改分配自由色，修复大函数晚引用全局报 too many registers 2026-08-11 00:19:29 +08:00
pjh123 b44bc3d7f2 feat: 新增 DEFINE_ACCESSOR_DYNAMIC opcode 支持计算键对象访问器 2026-08-10 23:28:18 +08:00
pjh123 8a53bfb584 feat: 编译管线/类型层 crate 补全多级日志宏 + 关键路径日志 2026-08-10 17:56:28 +08:00
pjh123 03b510b2ef refactor: opcode 语义单张声明式表（def/use/pure/jump/term/ic 六维收敛） 2026-08-10 12:23:19 +08:00
pjh123 9f6f694be9 fix: 私有字段 brand 检查 own 槽（字段不跨原型，规避 cell 值缺陷） 2026-08-10 11:23:52 +08:00
pjh123 80cb1c2feb feat: 循环 let/const 每迭代绑定（MAKE_CELL_FRESH + 解构捕获修复） 2026-08-10 10:18:39 +08:00
pjh123 36fb61fc74 feat: 解构模式语义补齐（REST 枚举/getter/computed 排除、IteratorClose、RegAlloc def 干涉、for-in 捕获遮蔽） 2026-08-09 15:01:31 +08:00
pjh123 6c79dbb21c feat: class 私有成员语义（字段/方法/访问器 + brand 检查 + 契约修复） 2026-08-09 11:08:36 +08:00
pjh123 cd214069cd fix: try/finally 支持 break/continue/return 穿越 finally（completion 机制） 2026-08-08 12:38:25 +08:00
pjh123 ab979dc47b feat: 调用实参 spread（f(...args) / new F(...args) / super(...args)） 2026-08-08 10:33:16 +08:00
pjh123 df69213849 fix: builtin 槽 vreg 预着色恒等排除出可分配集防 prologue 覆写 2026-08-07 17:40:09 +08:00
pjh123 76b3bcf6eb fix: 顶层模块 param_layout.base 改 0 防父槽误判 + regalloc/VM 诊断日志 2026-08-07 17:13:57 +08:00
pjh123 de67cc8eee fix: 链式 upvalue 捕获支持多层嵌套函数引用深层变量 2026-08-07 14:56:51 +08:00
pjh123 31e28a03a6 docs: 补充注释与格式化 2026-08-06 23:10:27 +08:00
pjh123 e36a69976e refactor: 清除 color() 冗余干涉图构建 + use_points 改用精确 use 判定 
- color() 入口移除无用的 graph::build（run 内重建），删掉 _graph 参数
- graph.rs reg_count 改名 inst_count（实为指令数）
- use_points 由 live_before 活集改为 inst.use_regs() 精确 use 点，消除冗余 UNSPILL，spill 压力测试 38s→6s
 2026-08-06 20:41:01 +08:00
pjh123 d65fa03de6 fix: nested 子模块引用父槽无预着色保护致读错物理槽 
子模块 alloc 时引用父槽的 LOAD_VAR.a/STORE_VAR.rd 被当作自身 vreg 染色移走，
父侧 collect_escaped 只保护父不移动槽，子侧无对称保护。以 param_layout.base
（inherited_reg_start 分界）识别父槽引用并预着色恒等，spill 自由色排除。

新增 nested_parent_slot_regress 回归测试（field/method + 高压力变量），
workspace 全绿 + clippy 干净。
 2026-08-06 20:34:55 +08:00
pjh123 50b843a72a fix: 调用参数打包连续寄存器 + 捕获参数建 cell + TEMPLATE_STR ext 重映射（修复 JSON/closures/template 回归） 2026-08-06 19:33:05 +08:00
pjh123 d3385bc838 feat: 管线接入 liveness/精确DCE/RegAlloc + --no-regalloc flag（D-17/D-18） 2026-08-06 17:56:55 +08:00
pjh123 08f061dfd3 feat: 指令改写 + 元数据回写 + alloc 入口，RegAlloc on/off 运行时等价（D-16/D-20） 2026-08-06 17:44:31 +08:00
pjh123 0b0d36fa85 feat: 新增 oxide_regalloc crate，干涉图 + graph coloring + spill 拆分（D-09/D-10/D-11） 2026-08-06 17:13:27 +08:00