From 3431f83e7c4a0224c72a05cea359ce370deccfe5 Mon Sep 17 00:00:00 2001 From: chentianya Date: Mon, 24 Aug 2026 16:18:00 +0800 Subject: [PATCH] =?UTF-8?q?=E6=96=87=E6=A1=A3=E7=BB=B4=E6=8A=A4=EF=BC=9AC1?= =?UTF-8?q?/C3/C6=20=E8=A1=8C=E5=90=8C=E6=AD=A5=E5=AE=9A=E6=A1=88=E6=A0=87?= =?UTF-8?q?=E8=AE=B0=E3=80=81=C2=A79.2=20=E6=A0=87=E6=B3=A8=E5=85=A8?= =?UTF-8?q?=E9=83=A8=E9=97=AD=E5=90=88=E3=80=81=E5=8E=86=E5=8F=B2=E8=AE=B0?= =?UTF-8?q?=E5=BD=95=E4=BF=AE=E6=AD=A3?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Doc/isa/指令集优化.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Doc/isa/指令集优化.md b/Doc/isa/指令集优化.md index 5deedd8..39c477d 100644 --- a/Doc/isa/指令集优化.md +++ b/Doc/isa/指令集优化.md @@ -208,12 +208,12 @@ | # | 项 | 说明 | |---|---|---| -| C1 | 元数据段格式（原 A1） | 结构体/字符串表 schema——v1 预留但格式未定；建议 v1 定「0 长度占位段，schema 延后」 | +| ~~C1~~ | ~~元数据段格式（原 A1）~~ | **已定案（U12）**：v1 0 长度占位（offset_meta=0），schema 延后 | | ~~C2~~ | ~~头 128B 布局终稿~~ | **已定案（U7 修正版）**：见 §2.5（offset_meta/max_stack/values_size 等） | -| C3 | machine.toml `[[fb]]` 表 schema | fb_id/name/字段类型（含单/双字计数 width 列）细则——随 B3 定 | +| C3 | machine.toml `[[fb]]` 表 schema | **字段/布局已定案**（指令集清单 §8.1）；`[[fb]]` **配置格式**并入 N5（machine.toml V2 schema，阶段 1） | | ~~C4~~ | ~~CALL/CAL 的 rd 恒 0 成文~~ | **已定案（U14）**：已写入指令编码.md §5 | | C5 | line1 推演重算 | 实施阶段（阶段 5）才需要 | -| C6 | CTU/CTD/CTUD 字段表终稿 | pv/cv 定 INT/DINT 后，字段宽度/对齐/偏移终稿（随 B3 定） | +| ~~C6~~ | ~~计数器字段表终稿~~ | **已定案**：指令集清单 §8.1（CTU 8B / DCTU 16B / CTUD 10B / DCTUD 16B） | ## 8. 待讨论（用户反问） @@ -289,8 +289,8 @@ V2 的 op 位段仅 6 位（64 个），FB 占 8 个不划算，且 machine.toml - 整数除法语义 A 定案：除零返回被除数、MIN/-1 饱和、截断除法、MOD 符号随被除数（延续 V1 饱和算术家族） - A10 定案（B1/B2）：1 CAL + fb_id 16 位（查 [[fb]] 表）；V1 的 8 个 CAL_* opcode 作废 - B4 定案：领域指令（运动控制/通信）不进指令集，一律 FB 库；无 EXT 服务指令 -- B3/B5 说明中待确认：单/双字计数编码（CAL type 位段）、op 位段预算 -- 未定项记录：C1 元数据段 / C2 头终稿 / C3 fb 表 schema / C4 rd 约定成文 / C5 line1 推演 / C6 计数器字段表 +- B3/B5 说明中待确认：单/双字计数编码、op 位段预算（均已随 U5/U6 定案） +- 未定项记录：C1..C6（均已闭合：C1=U12、C2=U7、C3=字段表已定+配置格式入 N5、C4=U14、C5=实施阶段、C6=§8.1 字段表终稿） ## 9. 确认核验清单（2026-08-24 核对） @@ -328,7 +328,7 @@ V2 的 op 位段仅 6 位（64 个），FB 占 8 个不划算，且 machine.toml | K25 | fmt 位段取消，形态全前缀分区（零查表） | 「010区也换成前缀编码，这样所有指令都统一了」 | | K26 | MOVE 只搬宽度，不管符号/浮点；类型不匹配编译期报错 | 「move指令只管宽度和搬运...类型不匹配，编译时就报错」 | -### 9.2 待确认（用户未明确回答） +### 9.2 待确认（用户未明确回答）——已全部闭合（2026-08-24） | # | 事项 | 当前文档写法 | 待表态 | |---|---|---|---|