From 638e0ef058314f68380051e99932b9ca3b37fd19 Mon Sep 17 00:00:00 2001 From: chentianya Date: Mon, 24 Aug 2026 16:17:00 +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=9A=E6=95=B4=E6=95=B0=E9=99=A4=E6=B3=95=E8=AF=AD=E4=B9=89?= =?UTF-8?q?=20A=20=E5=AE=9A=E6=A1=88=E5=86=99=E5=85=A5=EF=BC=88=E9=99=A4?= =?UTF-8?q?=E9=9B=B6=E8=BF=94=E5=9B=9E=E8=A2=AB=E9=99=A4=E6=95=B0=E3=80=81?= =?UTF-8?q?MIN/-1=20=E9=A5=B1=E5=92=8C=E3=80=81=E6=88=AA=E6=96=AD=E9=99=A4?= =?UTF-8?q?=E6=B3=95=E3=80=81MOD=20=E7=AC=A6=E5=8F=B7=E9=9A=8F=E8=A2=AB?= =?UTF-8?q?=E9=99=A4=E6=95=B0=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Doc/isa/指令集优化.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Doc/isa/指令集优化.md b/Doc/isa/指令集优化.md index f5dd9fe..5deedd8 100644 --- a/Doc/isa/指令集优化.md +++ b/Doc/isa/指令集优化.md @@ -106,6 +106,7 @@ | 9 | USINT | 1B | 无 | uint8_t | 19..31 | 预留 | | | | - **type 位段红利**：CMP/算术按类型自动语义——无符号类型无符号比较、整数饱和到类型宽度（模板化）、浮点走 IEEE 754（无饱和，溢出→±inf）、读取按宽度+符号/零扩展 +- **整数除法语义（A 定案）**：除零 → **返回被除数**（结果保持，Fail-safe）；MIN/-1 溢出 → **饱和夹界**（各宽度模板化）；截断除法（向零，C 风格）；**MOD 符号随被除数**（-7 MOD 3 = -1，与除法一致），除零同 DIV - **DATE/TOD/DT（U13 定案）**：DATE=uint32（天数）、TOD=uint32（当日 ms）、DT=uint64 **{date:32 \| tod:32} 拼接**（高 32 位日期）；DT→DATE 取高 32 位、DT→TOD 取低 32 位（CONV/移位展开）；v1 无日期运算仅存取/比较 - **浮点表示**：REAL 4B / LREAL 8B，值区 4/8 字节对齐；寄存器 int64 位模式搬运（REAL 低 4 字节），运算时按 type 重解释 - **常量表契约（A2 定案）**：条目 = **8 字节原始值（无 tag）**，按位模式去重； @@ -285,6 +286,7 @@ V2 的 op 位段仅 6 位（64 个），FB 占 8 个不划算，且 machine.toml - U14 定案：CALL/CAL rd 字段恒 0（按指令编码/指令集清单文档）——**全部 U 项闭合，V2 规格冻结** - 版本线确认：当前设计 = **V2**（V1 为已实现简化版）；头 version = 2，型号 STATOR2 - 帧头 12B 成文（fn_id/ret_pc/ret_fn_id）+ max_stack 计算细则（MAIN 计入、DAG 最长路径） +- 整数除法语义 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 位段预算