From d38d78c942337c3e4ad75571870b2f9a3eb48605 Mon Sep 17 00:00:00 2001 From: chentianya Date: Mon, 24 Aug 2026 16:03:27 +0800 Subject: [PATCH] =?UTF-8?q?=E6=8C=87=E4=BB=A4=E9=9B=86=E4=BC=98=E5=8C=96?= =?UTF-8?q?=EF=BC=9AU12=20=E5=AE=9A=E6=A1=88=E2=80=94=E2=80=94=E5=85=83?= =?UTF-8?q?=E6=95=B0=E6=8D=AE=E6=AE=B5=20v1=200=20=E9=95=BF=E5=BA=A6?= =?UTF-8?q?=E5=8D=A0=E4=BD=8D=EF=BC=88offset=5Fmeta=3D0=EF=BC=89=EF=BC=8Cs?= =?UTF-8?q?chema=20=E5=BB=B6=E5=90=8E?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Doc/isa/指令集优化.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Doc/isa/指令集优化.md b/Doc/isa/指令集优化.md index 570ed67..d15ab52 100644 --- a/Doc/isa/指令集优化.md +++ b/Doc/isa/指令集优化.md @@ -276,6 +276,7 @@ V2 的 op 位段仅 6 位（64 个），FB 占 8 个不划算，且 machine.toml - U8 定案：槽表条目 {addr:u32, 预留:u32} 8B - U9 定案：值段 1/2/4/8B 对齐编译器保证 - U10 定案：寄存器/调用约定维持现状、帧按 nregs 动态分配；栈方案 C（预分配栈区 + max_stack@116 编译期算 + 字节/深度双检查）；递归 = 链接层环检测编译期报错 +- U12 定案：元数据段 v1 0 长度占位（offset_meta=0），schema 延后 - A10 定案（B1/B2）：1 CAL + fb_id 16 位（查 [[fb]] 表）；V1 的 8 个 CAL_* opcode 作废 - B4 定案：领域指令（运动控制/通信）不进指令集，一律 FB 库；无 EXT 服务指令 - B3/B5 说明中待确认：单/双字计数编码（CAL type 位段）、op 位段预算 @@ -332,7 +333,7 @@ V2 的 op 位段仅 6 位（64 个），FB 占 8 个不划算，且 machine.toml | ~~U9~~ | ~~值段对齐~~ | **已定案**：1/2/4/8B 对齐由编译器布局保证（值段起点 16 对齐，见 U7） | | ~~U10~~ | ~~寄存器与调用栈~~ | **已定案**：寄存器 int64 不变；调用约定不变；CALL/RET 全宽复制；帧按 nregs 动态分配（§2.2 表述修正）；栈方案 C（预分配 + max_stack@116 + 字节/深度双检查 + 递归编译器报错） | | ~~U11~~ | ~~CAL 编码布局~~ | **已定案**：010 101 分区，操作数区 fb_id16=31..16 + slot32=63..32 | -| U12 | **C1 元数据段**：v1 定 0 长度占位、schema 延后 | §4 建议 | 确认 / 改 | +| ~~U12~~ | ~~元数据段占位~~ | **已定案**：v1 定 0 长度占位（offset_meta=0 = 空段，接口预留），字段表 schema 延后（有使用方时再定） | | U13 | **DATE/TOD/DT 表示**（uint32 天 / uint32 当日ms / uint64） | §2.4 已写 | 确认 / 改 | | U14 | **CALL/CAL 的 rd 恒 0 约定**成文 | 讨论过未成文 | 确认 / 改 | | ~~U15~~ | ~~无类型指令 type=NONE~~ | **已被 func=0 取代**（func 位段，无类型指令编码 0 不使用） |