chentianya/Interpreter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
128 Commits 2 Branches 1 Tag
250a0c9fac013094bdf21f264bd3a1d00d7220f1
Commit Graph
128 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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 4785cf3e3b 阶段2-6：V2 生成侧 bug 修复与验证收尾 
- Codec：set_byte0 的 11/10 前缀位修正（0xC0/0x80）；新增 JC 形态偏移
  专用读写（off@55..24，字节 3..6）——修复 JF rd 被 off 覆盖
- Stb：offset_meta=0（空段）时值段大小校验按 SHA 尾计算（修复
  values segment size mismatch）
- Codegen：实例字段带 func（field_func），LOAD_OFF/STORE_OFF 按字段
  类型设 func（pt=TIME → I64）
- main.cpp：--disasm 按 instr_len 迭代变长字节码
- 验证：13 个正例全部编译出 V2 产物 + disasm 自读通过（RET/CAL.TON/
  STORE_OFF.I64/JF 偏移等抽查正确）；ctest 11/13（vm/cases 待阶段 4）
 2026-08-25 20:23:32 +08:00
Admin 924c0c1923 阶段2-4/2-5：Stb V2（头 128B/槽表段/值段/常量表 8B）+ Codegen V2 重写 
Stb.h/.cpp V2：
- 头 128B：kOffSlots/kOffValues/kOffNSlots/kOffValuesSize/kOffMeta/kOffMaxStack
- 常量表 8B（无 tag）、槽表行 8B {addr,预留}、static_assert 更新
- StbView：新字段访问器 + slots_bytes + 段校验 6 段（含元数据空段）

Codegen V2：
- 变长指令发射（Codec 位号，emit/E_rr..E_cal/E_slot_off）
- 槽表→值段布局（1/2/4/8 对齐；实例=1 槽表条目指向字段块）
- 常量表位模式去重（LOADK 按 func 解释）；字节化跳转回填
- max_stack（调用图 DAG 最长路径 + 环检测递归报错）
- 用户 FB 内联（LOAD_OFF/STORE_OFF 字段访问）；内建 FB → CAL fb_id,slot
- 头 128B 拼装（version=2/STATOR2/段序）

配套：main.cpp 常量显示去 tag；codegen_test 临时剥离（阶段 3 重写）；
machine_test 修正（72 op + 负例修复）。ctest：10/13 绿（vm/cases 预期内剥离）。
 2026-08-25 20:14:01 +08:00
Admin 246fe09646 阶段2-3：Codec V2 化（变长指令字编解码 + 配置驱动 disasm 类型后缀） 
- instr_len 前缀定长（1/01/001/0001 → 4/8/16/32B）
- prefix_of/op_of/func_of + 全部位号 get/set（rd/rs1/rs2/imm32/slot32/off32/
  fn_id32/fb_id16/cal_slot32/off32_hi/imm64）
- set_byte0 按前缀写（11/10/011/010xxx 形态位/0010/0011/0001）
- disasm：find_op_by_key 查配置；full/float/dst 类显示 .TYPE 后缀
  （U8/I8/.../F64）；CAL 打印 fb 名（CAL.TON s5）；未知输出 ??? 0x hex
- main.cpp --disasm 调用适配（TODO V2 待 Stb 重写）
- 状态：编译仅剩 Codegen.cpp（84 处 V1 残留，下一步阶段2-5 重写）
 2026-08-25 20:08:37 +08:00
Admin a4335693d4 阶段2-2：MachineConfig 重写为 V2（强校验 5 项）+ TypeInfo/machine_test V2 适配 
- ConfigType：base/kind/func（V1 的 tag/range 删除）；ConfigOp：prefix/op/fmt/
  func_mode（V1 的 opcode/class 删除）；ConfigFb：fb_id（V1 的 opcode 删除）
- 强校验：meta(version=2) / type 19 条全集·base 命中·kind 合法·func 与
  (width,signed,float) 互锁 / op prefix 合法·prefix↔fmt 互锁·(prefix,op) 分区
  唯一·func 类别·params 互锁 / fb 15 条全集·fb_id 唯一·字段命中 type 表 /
  op-fb 互锁（CAL↔fb 表）
- TypeMeta：tag/range → func/kind
- machine_test：V2 断言（正例 68 op/19 type/15 fb + 14 个负例）
- 状态：compiler 库暂挂于 V1 Codec/Codegen/Stb/main（下一步按
  Codec → Stb → Codegen → main 顺序 V2 化）
 2026-08-25 20:04:49 +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 dd5e69d2f7 阶段2-1：machine.toml 重写为 V2 schema（19 type + 68 op + 14 fb） 
- type 表：19 条 IEC 类型（base 基元 + kind 语义 + func 映射，TOD=func4 修正）
- op 表：prefix+op 分区编码（4B RR 21 条/NONE 2 条、8B RRR 26 条/010 区 8 条、
  16B SLOT+off 8 条/IMM64 1 条、32B 预留 6 条）+ fmt + func 类别
  （none/width/uint/full/float/dst）+ params 互锁
- fb 表：14 条（fb_id 0..14，含 SR/RS/PWM/RTC 字段，字段类型命中 type 表）
- 注：MachineConfig 仍为 V1 解析，下一步同步（machine_test 暂红预期内）
 2026-08-25 19:59:24 +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 d109a3ca77 executor: 移除冗余 Image::from 前置校验，信任链统一由 Machine::create 报告 2026-08-24 09:04:46 +08:00