chentianya/Interpreter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
137 Commits 2 Branches 1 Tag
4f3da55ed7b58132b9eb4e9efd27d1a1f49f6c61
Commit Graph
79 Commits
Author SHA1 Message Date
Admin 384e681ef3 文档：阶段4 执行步骤细化（4-1a..4-4，一次一个，isa/vm 连续完成） 2026-08-26 09:48:05 +08:00
Admin 7b4961f7ed 阶段3-5：编译器验证——13 正例源码↔反汇编对照 + --dump-map 
- STCompiler --dump-map：编译后打印变量/槽映射（函数局部 r 寄存器、
  全局 slot/off/type/func、实例 slot/off/fb/size/字段偏移）
- CodegenMap 输出结构（codegen_project 可选参数）
- 修复参数循环 bug（i+1<argc 漏掉末尾单参数选项）
- 结构自检（临时 stbcheck）：13 用例寄存器/func/跳转/槽/长度全部通过
- 13 正例逐条对照全部通过，产出 Doc/compiler/用例反汇编对照.md
- 已知缺陷记录：LREAL 字面量装载按 REAL（TODO）
 2026-08-26 09:47:24 +08:00
Admin 316b252afc 文档：阶段4-执行侧V2 待办清单（isa 重构/vm 同步/executor/全链路/文档收尾） 2026-08-26 09:33:23 +08:00
Admin 6ab2195a6b 阶段3文档：L5 定案——--disasm 头 22 字段一行一个+中文注释、新增 slots 节 2026-08-26 09:07:12 +08:00
Admin 250a0c9fac 阶段3文档：L4/L6/L7/L8 定案（字面量 AST / FB 三层判定 / TypeKind 字符串化 / Linker 查 toml）——决策点全部闭合 2026-08-26 08:58:19 +08:00
Admin 1335283279 阶段3：A4 修订——V2 支持日期字面量（D#/TOD#/DT#，纪元 1970，无小数秒，年 1..9999） 2026-08-26 08:53:07 +08:00
Admin a7f89dc180 阶段3文档：L2/L9/L3 定案——变量禁隐式转换、整数/浮点字面量按上下文适配（冲突报错）、时间字面量格式要求 2026-08-26 08:48:24 +08:00
Admin 65ccd6c2b7 阶段3文档：L2 定案（禁止任何隐式类型转换，字面量类型化）+ 新增 L9（字面量类型化语法） 2026-08-25 20:29:11 +08:00
Admin f7de78e528 文档：阶段3-语言层V2 计划与待定决策点（L1..L8，逐个解决） 2026-08-25 20:26:00 +08:00
Admin fc76fea47b 修正：内建 FB 实为 15 条（fb_id 0..14：TON..F_TRIG 11 + SR/RS/PWM/RTC 4），文档统一'14 条'→'15 条' 2026-08-25 19:59:39 +08:00
Admin 7745dadd2d 阶段1-3：stb文件格式.md 重写为 V2 结构（头 128B/槽表段/值段/元数据段） 
- 段序：常量表→函数表→字节码→槽表段→值段→元数据段→SHA
- 头 128B 全字段表（version=2、n_slots/values_size/offset_meta/max_stack）
- 常量表 8B 无 tag、函数表 code_len 字节化、变长指令段 16 对齐
- 槽表 8B {addr,预留}、值段变宽紧凑（FB 布局引用清单 §8.1）
- 读取校验链（结构/SHA/型号）；line1 真实拆解标注阶段 5（C5）
 2026-08-25 17:35:29 +08:00
Admin 7caa407485 阶段1-2：指令配置.md 重写为 machine.toml V2 schema（N5 定稿） 
- op 表：prefix+op（分区内编号）替代 opcode；fmt 与前缀互锁；func 类别
  （none/width/full/float/dst）
- type 表：19 条（base 基元别名 + kind 语义 + func 显式映射，互锁强校验）
- fb 表：14 条（fb_id 0..14 + 字段类型，布局偏移编译期按 1/2/4/8 对齐算）
- 强校验清单 5 项 + 加东西流程 + 与 V1 schema 差异表
 2026-08-25 11:55:05 +08:00
Admin ec1df225e2 修正：TOD 为 4B 无符号，func = 4（非 6，与 DWORD/UDINT/DATE 同组）；func 6 仅 LWORD/ULINT/DT 2026-08-25 11:54:41 +08:00
Admin 59d7ff3159 阶段1-1：指令与映像.md 重写为 V2 规格（STATOR2） 
- §2 特性总表（变长指令/前缀分区/func/栈方案C/除法A）
- §3 指令编码（前缀分区表 + func 位段 + 操作数区位号 + uses_* 直推）
- §4 寄存器与调用栈（帧按 nregs、max_stack、递归编译期报错）
- §5 类型系统（19 类型→func 映射、BOOL 强制、日期表示）
- §6 指令语义（除法 A、浮点 IEEE、跳转字节化、内建 FB 14 条）
- §7 数据模型（槽表→值区）、§8 映像格式（头 128B/段序/校验）
- §9 sidecar、§10 反汇编（类型后缀）、§11 目录、§12 实现约定
 2026-08-25 11:29:15 +08:00
Admin 53df69f4be 文档：阶段1规格总览（V2 主参考）——定案速览 + 三份规范重写任务 + 延后项 
- §1 阶段 1 任务（重写指令与映像/指令配置/stb文件格式）
- §2..5 定案速览：指令编码/数据模型/执行语义/映像格式
- §6 machine.toml V2 schema 方向（N5，阶段 1 内定）
- §7 延后项（N1..N4、C5）；§8 参考文档索引
 2026-08-24 16:18:57 +08:00
Admin 3431f83e7c 文档维护：C1/C3/C6 行同步定案标记、§9.2 标注全部闭合、历史记录修正 2026-08-24 16:18:00 +08:00
Admin 638e0ef058 指令集优化：整数除法语义 A 定案写入（除零返回被除数、MIN/-1 饱和、截断除法、MOD 符号随被除数） 2026-08-24 16:17:00 +08:00
Admin 146abd2929 内建 FB 字段表终稿：14 条 IEC 风格字段 + 对齐/偏移/大小（C3/C6 闭合） 
- SR（S1/R/Q1 置位优先）、RS（SET/RESET1/Q1 复位优先）、PWM（in/pt/duty/q/et）、
  RTC（enable/date/tod）
- 字段布局终稿（1/2/4/8B 对齐）：TON 32B、CTU 8B、DCTU 16B、CTUD 10B、DCTUD 16B、
  TRIG 2B、SR/RS 3B、PWM 32B、RTC 12B
- RTC 时钟源 = 虚拟时钟（周期×dt_ms，确定性）；PWM/SR/RS 语义注记
 2026-08-24 16:12:37 +08:00
Admin 7769b515b0 文档维护：§4 表格清理（A1/C2/C4 同步定案）+ version=2 成文 + 帧头/max_stack 细则 
- M1~M3：A1（U12）、C2（U7）、C4（U14）行标记已定案
- §2.5 头布局：version=2（V2 格式，V1=1）单列
- §2.2 栈设计补全：帧头 {fn_id:u32, ret_pc:u32, ret_fn_id:u32} 12B；
  max_stack = MAIN + DAG 最坏路径 Σ(12+nregs×8)，写入 @116
 2026-08-24 16:09:09 +08:00
Admin 2cc09903c9 指令编码：CALL/CAL rd 恒 0 约定成文（U14） 2026-08-24 16:05:56 +08:00
Admin 721dfabf87 U13/U14 定案：DATE/TOD/DT 表示（DT={date:32|tod:32} 拼接）+ CALL/CAL rd 恒 0 —— 全部 U 项闭合，V2 规格冻结 2026-08-24 16:05:46 +08:00
Admin d38d78c942 指令集优化：U12 定案——元数据段 v1 0 长度占位（offset_meta=0），schema 延后 2026-08-24 16:03:27 +08:00
Admin 6869624f09 U10 定案：寄存器/调用约定维持 + 栈方案 C（预分配栈区 + max_stack 编译期算 + 双检查 + 递归编译期报错） 
- §2.2 修正：256 = 寻址上限（非每帧分配数）；帧按 nregs 动态分配
- 新增调用栈设计：max_stack@116（调用图最坏路径）、预分配零分配、
  字节/深度双检查、MAIN 帧常驻
- 递归 = 链接层环检测编译期报错（link error: recursive call）
- 编译器优化.md：max_stack 计算职责 + Linker 环检测
- §9.2 U10 闭合；影响面/决策历史同步
 2026-08-24 16:00:45 +08:00
Admin 44370c448e 指令集优化：U8/U9 定案——槽表条目 8B（{addr:u32,预留:u32}）、值段 1/2/4/8B 对齐编译器保证 2026-08-24 15:48:32 +08:00
Admin c9d7c16d6d 指令集优化：U7 定案——头 128B 修正版（offset_meta 占位、values_size 命名、n_i/n_q/n_m 保留恒 0、n_slots 关系、16 对齐） 2026-08-24 15:47:07 +08:00
Admin c193c760ef 指令集优化：U6 定案——op 预算按指令集清单/指令编码文档方案（前缀分区） 2026-08-24 15:41:58 +08:00
Admin c9024a060b U5 定案：内建 FB 14 条全部 v1 实现（6 计数拆条 + 定时/触发 5 + SR/RS、PWM、RTC 3） 
- 指令集清单 §8：SR/RS、PWM、RTC 状态 扩展→核心
- 指令集优化：§9.2 U5 闭合、§4 A3 行更新、决策历史补记
 2026-08-24 15:40:55 +08:00
Admin af7054480f 指令集优化：U4 定案——结构体 v1 只留编码不实现语法（预留） 2026-08-24 15:38:04 +08:00
Admin a6b6990834 指令集优化：清零已确认/作废项（U1/U2/U3/U11/U15/U16 标记闭合，A3 修正为 fb 表拆条，K 清单补 K24..K26） 
- U1 作废（fmt 位段取消）；U2/U3 被前缀编码取代；U11 已定案（010 101 分区）
- U15 被 func=0 取代；U16 随 K7 确认
- §4 A3 行修正：计数宽度 = fb 表拆条（U5 待最终确认）
- §9.1 补 K24 前缀分区 / K25 fmt 取消 / K26 MOVE 语义
 2026-08-24 15:37:17 +08:00
Admin ee1e06c628 指令编码：010 区也改前缀分区（形态位3+子op2），全部形态前缀直推、零查表 
- 010 000/001/010/011/100/101 = IMM/SLOT/JMP/JC/CALL/CAL
- 8 条指令编码更新：LOADK=01000000、LOAD=01000100、STORE=01000101、
  JMP=01001000、JT=01001100、JF=01001101、CALL=01010000、CAL=01010100
- uses_* 全部前缀直推（无查表）；三份文档同步
- 010 区预算：6 形态区 × 4 + 2 预留形态区
 2026-08-24 15:33:26 +08:00
Admin 1c0c4d02f2 指令集优化：§2.1 同步前缀分区方案（fmt/type 位段表述更新为前缀分区+func） 2026-08-24 15:31:14 +08:00
Admin 134f1748ec 指令编码：fmt 位段取消，形态改由前缀分区表达（Q1=010 查表 / Q2 空位待定 / Q3 全组分区） 
- 前缀分区：11=RR、10=NONE、011=RRR、010=其他8条（查表）、0010=SLOT+off、
  0011=IMM64、0001=预留（32B）
- 字节 1 = [func:4 | 空:4]（空位待全部编码后定）
- 指令集清单：全部 72 行编码按新分区重排；§1 位号表/位图更新
- uses_* 推导：前缀直推 + 010 区查表；编译器优化/指令集优化同步
- op 预算：RR 21/64、NONE 2/64、RRR 26/32、其他 8/32、SLOT+off 8/16、IMM64 1/16
 2026-08-24 15:30:59 +08:00
Admin fda4f7a3ec 指令集清单：新增 §1 fmt 格式与字段位号（opcode/func/imm/rs1/rs2/rd 逐位标注） 
- 1.1 通用头部位号表（长度前缀/opcode/func/fmt）
- 1.2 fmt 位号总表（11 形态 + 预留，操作数区 bit16 起）
- 1.3 各位图：RR/RRR/IMM/SLOT/JMP/JC/CALL/CAL/NONE/SLOT+off/IMM64
  逐位标注（含 pad 填充位）；32B 预留格式待定
- 16B 形态分配 fmt 9（SLOT+off）/10（IMM64）；指令编码.md 同步
- 原指令章节顺延为 2..12
 2026-08-24 15:01:54 +08:00
Admin ed78f06e29 指令集清单：全部指令按 RISC-V 式编码（前缀+op / func / fmt） 
- 4B 组 23 条（MOVE/NOP/NOT/RET/算术单目/浮点/舍入/CONV）
- 8B 组 34 条（算术/逻辑/移位/位操作/CMP/数据/调用/跳转）
- 16B 组 10 条（字段访问/LOADK64/字符串/数组长度）
- 32B 组 6 条预留（JTBL/复杂字符串/数组索引）
- func 语义按指令族（MOVE=宽度、LOAD/算术=全矩阵、浮点单目=8/9）
- 内建 FB fb_id 0..13（TON..RTC）；op 预算余量表
 2026-08-24 14:45:35 +08:00
Admin 5b10c2c826 文档：新建指令编码.md——RISC-V 式 op+func 编码定案存档 
- 前缀长度组（1/01/001/0001 定 4/8/16/32B）+ op 按组分治
- 字节 1 = [func:4|fmt:4]；func 10 组合（宽度×符号+F32/F64）语义随 op
- fmt 4 位 9 格式（格式合并作废，CALL/CAL 独立）
- 19 类型 → 10 func 编译期映射；BOOL 0/1 编译器强制
- 与 RISC-V 对照表 + 决策历史
 2026-08-24 14:43:16 +08:00
Admin 21c4b953f9 文档：指令集清单章节编号独立化 + 头部去重 2026-08-24 14:08:40 +08:00
Admin 770e92d109 文档：指令集清单拆分为独立文档（Doc/isa/指令集清单.md），优化文档保留引用 2026-08-24 14:08:34 +08:00
Admin e98054706c 指令集优化：§10 全功能指令集清单（草案，10 类 + op 预算） 
- 数据搬运/逻辑位运算/算术/比较/转换/控制流/内建FB/字符串/数组/系统
- 按长度组（前缀编码）与格式标注，状态列区分核心(v1)/扩展/预留
- 内建 FB 表 11 条核心（含 DCTU 双字）+ SR/PWM/RTC 扩展
- op 预算核对：4B组128 / 8B组64 / 16B组32 / 32B组16，各组远超需求
 2026-08-24 14:07:59 +08:00
Admin a91528a228 指令集优化：新增 §9 确认核验清单（K1..K23 已确认 / U1..U16 待确认，未回答≠同意） 2026-08-24 13:48:06 +08:00
Admin 8f7140be64 指令集优化：B1/B2/B4 定案（1 CAL+fb_id:16、领域指令不进指令集）、C1..C6 未定项记录 2026-08-24 11:57:38 +08:00
Admin 5e6f2b45fc 指令集优化：A9 定案（字面量按上下文适配，默认 DINT 兜底） 2026-08-24 11:42:38 +08:00
Admin 9e2a6e95f1 指令集优化：A3..A8 定案记录 + A9/A10 反问待讨论 
- A3 计数器单字（INT）/双字（DINT）两种；A4 日期字面量 v1 不支持
- A5 TIME 运算/浮点 IEEE 按推荐；A6 sidecar 绑定一致；A7 disasm 类型后缀
- A8 type 表=基元别名（REAL→float32、LREAL→float64）
- §8 新增待讨论：A9 字面量上下文恒存在（默认 DINT 仅兜底）；
  A10 FB 8 op 可收敛为 1 CAL + fb 类型 id（op 位段省 7 个）
 2026-08-24 11:40:08 +08:00
Admin 91fc00ed6d 指令集优化：A2 定案——LOADK 用 type 位段解释常量，常量表条目 8B 无 tag，IMM64 预留不发射 2026-08-24 11:26:05 +08:00
Admin 6e8b9896f2 指令集优化：V2 核心决策全部定案（type:5/格式合并/19 类型/禁隐式转换/进制前缀） 
- §2.1 字节布局 [len:2|op:6]+[type:5|fmt:3]；格式 9→7 形态（CALL→IMM、CAL→SLOT）
- §2.4 19 IEC 基础类型（+DATE/TOD/DT）+13 预留；浮点/进制前缀/禁隐式转换+字面量适配
- §2.6 LOADF 取消、FB 共享体定案（16B 变体=基址寻址）
- §4 改为 A1..A10 尚未确定细节（元数据段/常量内嵌/FB 字段类型化/日期字面量/
  算术语义/sidecar/disasm/machine.toml schema/字面量推断/CALL 确认）
- 编译器优化.md 同步定案状态
 2026-08-24 11:19:40 +08:00
Admin 109f9a7619 文档：编译器优化 V2 草案（编译策略层，与指令集优化.md 分层） 
- §2 V1 现状：FB 内联/FC CALL/CAL_* 三种调用、短路跳转、固定寄存器分配、
  调用约定、跳转回填、常量表去重
- §3 V2 变更：FB 基址寻址消除内联、type 位段驱动语义、槽表/值区布局职责、
  变长发射字节化回填、类型扩展与升宽规则
- §4 待确认（引用指令集优化 §4 编译器相关项）；§5 编译器侧影响面；§6 阶段；§7 决策历史
 2026-08-24 10:53:47 +08:00
Admin 3ec803c5a8 文档：指令集优化——补 REAL/LREAL（float/double）、FB/FC 内联现状与 V2 基址寻址方向 
- §2.4 类型表 16 种满编（type:4），含 C 对应列；浮点表示/常量 tag/字面量
- §2.7 新增：V1 三种调用处理（FB 内联/FC CALL/CAL_*）+ V2 基址寻址消除内联膨胀
- §3 差异表加 FB 行；§4 待确认加 FB 共享体与浮点字面量；§7 决策历史补记
 2026-08-24 10:52:46 +08:00
Admin b70bea6b54 文档：指令集优化 V2 草案（变长指令/槽表值区/IEC 类型扩展/待确认问题） 
- 动机：opcode 位域化、8B 定宽槽浪费、类型扩展、结构体预留、变长指令
- 已定案：变长指令（长度组在 opcode）、寄存器 8 位编号维持、槽表→值区
  两级模型、宽度编码进 opcode、初值同文件分段、全 32 位寻址、STATOR2
- 待确认：跳转字节化 / type:4 vs 5 / 长度组映射 / I/Q/M 合并 / 结构体范围
  / ST 层类型支持 / 转换规则 / 字面量
- 影响面清单 + 6 阶段实施计划 + 决策历史
 2026-08-24 10:46:25 +08:00
Admin 06a497636e 文档：executor 计划项——可选 --sidecar 参数（显式指定 I/O 绑定文件，缺省回退同名推导） 2026-08-24 09:31:51 +08:00
Admin 6873b5ee0b 文档同步：machine.toml 配置驱动架构收尾。 
- README.md：依赖方向（STCompiler→compiler 不链 isa）、模块表、isa 归执行器侧、
  数据流图（machine.toml + 型号/SHA）
- isa/README.md：重写——只管指令定义（Types/Op/Instr/Encode），删 Image 部分
- 指令与映像.md：依赖图与 CMake（compiler 不链 isa）
- 编译管线.md：管线首步加载 machine.toml、产物含型号/SHA
- 初步计划.md：12.10/12.13 修订（--machine、依赖方向）
- 扫描周期.md / 指令执行.md：12.9 步骤标注已落地、vm 读校验说明
- compiler/vm/executor README：依赖与边界同步
 2026-08-21 22:39:27 +08:00
Admin 0ebf193ff9 阶段 D 步骤 11：文档同步 + 提交（指令配置全流程收尾）。 
- stb文件格式.md：288 字节真实拆解（头 104 含型号标识 STATOR1@0x48、函数表 0x68、
  代码 0x80 fn0 RET=0x21、数据段 0xC8 7 槽、SHA-256 尾 0x100）；工具验证与执行器关系更新
- STCompiler使用说明.md：--machine 参数（编译/disasm 必填、打印模式不需要）、
  .stb 加固说明、288 字节示例、当前状态（可编译+可执行+配置驱动）
- 执行器入口.md：读取时型号/SHA 校验拒绝
- ctest 14/14 全绿
 2026-08-21 22:35:20 +08:00