From 384e681ef3f1a9f9f0fee8feb1fbb354d8a53641 Mon Sep 17 00:00:00 2001 From: chentianya Date: Wed, 26 Aug 2026 09:48:05 +0800 Subject: [PATCH] =?UTF-8?q?=E6=96=87=E6=A1=A3=EF=BC=9A=E9=98=B6=E6=AE=B54?= =?UTF-8?q?=20=E6=89=A7=E8=A1=8C=E6=AD=A5=E9=AA=A4=E7=BB=86=E5=8C=96?= =?UTF-8?q?=EF=BC=884-1a..4-4=EF=BC=8C=E4=B8=80=E6=AC=A1=E4=B8=80=E4=B8=AA?= =?UTF-8?q?=EF=BC=8Cisa/vm=20=E8=BF=9E=E7=BB=AD=E5=AE=8C=E6=88=90=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Doc/isa/阶段4-执行侧V2.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/Doc/isa/阶段4-执行侧V2.md b/Doc/isa/阶段4-执行侧V2.md index 564fe8b..81da1d3 100644 --- a/Doc/isa/阶段4-执行侧V2.md +++ b/Doc/isa/阶段4-执行侧V2.md @@ -5,6 +5,23 @@ ## 阶段 4：isa 重构 + vm 同步（执行侧 V2） +### 0. 执行步骤总览（细化为子步骤，一次一个） + +| 步骤 | 内容 | 验证 | +|---|---|---| +| 4-1a | isa/Types.h：func 宽度/符号表 + 饱和模板（除法 A）+ 删 TypeTag | 编译 | +| 4-1b | isa/Op.h：前缀分区 + 指令表 + uses_* 直推 | 编译 | +| 4-1c | isa/Instr.h：变长 instr_len + 位号 get/set + enc_*（**JC off@55..24**） | 编译 | +| 4-1d | isa/Encode.h/.cpp：encode/decode/disasm（类型后缀 + CAL fb 名） | 编译 | +| 4-1e | isa_test V2 重写（饱和/前缀/位号往返/disasm/uses_*） | isa_test 绿 | +| 4-2a | vm/Image.h/.cpp V2（头 128B/6 段校验/槽表访问器/常量 8B） | 编译 | +| 4-2b | vm/Machine.h/.cpp V2（变长取指/槽表两级/栈方案 C/CAL 15 条/LOAD_OFF） | 编译 | +| 4-2c | vm_test V2 重写（手拼 + 产物执行/定时器/确定性） | vm_test 绿 | +| 4-3 | executor 适配（Image 新接口/I-Q 采样） | executor_version 绿 | +| 4-4 | 验证：vm_cycles 恢复 + line1 端到端执行（Q 对照真值表） | ctest 13/14 | + +> 说明：isa 重构会破坏 vm 编译（Machine.cpp 89 处引用）——**isa 与 vm 在同一阶段内连续完成**（4-1 后立即 4-2），中间态不提交（或提交 isa 时标注 vm 暂破）。 + ### 4.1 isa 重构（4 文件 + isa_test） | 文件 | 内容 |