指令集优化:U12 定案——元数据段 v1 0 长度占位(offset_meta=0),schema 延后

This commit is contained in:
2026-08-24 16:03:27 +08:00
parent 6869624f09
commit d38d78c942
+2 -1
View File
@@ -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 不使用) |