chentianya/Interpreter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
75 Commits 2 Branches 1 Tag
afb5d5b94a7598ddb54e8586cbd56b9c2efb13ba
Commit Graph
14 Commits
Author SHA1 Message Date
Admin b0aebe264e compiler 模块注释完善：Doxygen 风格（Lexer/Parser/Linker/Typecheck/Project/MachineConfig/TypeInfo/Codec/Codegen/Stb/main 共 21 个文件） 2026-08-21 23:29:15 +08:00
Admin a308ae713d 阶段 B 步骤 6：.stb 写侧新格式（头 104 + 型号标识 + SHA-256 文件尾）。 
- Stb：kHeaderSize 104、kSha256Size 32；SHA-256 实现（FIPS 180-4，含标准测试向量验证）；
  fill_model_id（name+version 拼 32 字节补 '\0'）；StbView 解析新格式 +
  model_id()/model_matches()/sha_ok()（数据段不含尾、缺尾报错）
- Codegen：assemble_image 写型号标识（偏移 72）+ 文件尾 SHA-256
- main.cpp：--disasm 显示 model/sha；写后自检（ok+sha+型号匹配，失败报错）
- 测试：machine_test +SHA-256 已知向量（空串/abc）与型号标识断言（53 断言）；
  codegen_test data_len 断言 +32（SHA 尾）；ctest 12/12
- 验证：line1 288 字节 model=STATOR1 sha=ok；篡改一字节 sha=BAD
 2026-08-21 22:20:35 +08:00
Admin e187ed7b03 阶段 B 步骤 5：类型元数据配置化（TypeInfo）。 
- TypeInfo.h/cpp：TypeMeta（配置别名 + 内建基元解析），查询大小写不敏感；
  提供 width/is_signed/is_float/tag/has_range/value_in_range
- Codegen：layout_data 初值按 type_meta 的基元宽度/浮点写（删除手写宽度分支）；
  const_id 的 tag 改查 type_meta
- machine_test：+10 断言（BOOL 1B/range[0,1]/tag0、INT 2B 有符号、TIME 8B、大小写不敏感、未定义空）
- 验收：line1 224 字节 hash 0xc3fe4ae74ad45900 不变、ctest 12/12
 2026-08-21 22:16:48 +08:00
Admin 447a8d0119 阶段 B 步骤 4：compiler 配置驱动化，去除 isa 依赖。 
- Project.h 自带 IoBinding；Stb.h/cpp：compiler 侧 .stb 规范（常量/ConstEntry/FNV/StbView/读写/sidecar）
- Codec.h/cpp：指令字 pack/字段/配置驱动 disasm（format 表驱动）
- Codegen：opcode 全查 MachineConfig（E_* 发射器）、常量 tag 查配置类型、初值按基元宽度写、
  映像拼装用 Stb 常量；codegen_project 增加 cfg 参数
- main.cpp：--machine <path>（编译/反汇编必填），--disasm 用 StbView+Codec
- CMake：compiler 不再链接 isa（仅 toml++ 私有）；测试补链 isa（自身断言用）
- 验证：20 用例字节不变（hash 0xc3fe4ae74ad45900 相同）、ctest 12/12、缺 --machine 报错退出
 2026-08-21 22:14:29 +08:00
Admin 26256a36b9 扩充内置功能块为 8 个：TON/TOF/TP/CTU/CTD/CTUD/R_TRIG/F_TRIG。 
- isa：CAL_* 操作码连续占 24..31（CALL/RET 后移为 32/33，kOpCount=34）；disasm 支持 5 个新操作码
- 词法/语法/链接：新 8 个关键字与冻结布局（TP=in/pt/q/et、CTD=cd/ld/pv/q/cv、
  CTUD=cu/cd/r/lu/pv/qu/qd/cv、R_TRIG/F_TRIG=clk/q）
- VM：do_cal 全 8 个语义（TP 脉冲、CTD 递减、CTUD 双向+装载、R_TRIG 上升沿、F_TRIG 下降沿）；
  edge_prev_ 每槽 2 字节存边沿上次输入；exec_one 分发补 5 个新操作码
- 验证：TP 30ms 脉冲 2 周期、CTD 装载+递减到 q=1、CTUD cu/cd 双向、R/F_TRIG 交替；
  ctest 11/11 全绿
- 文档：指令与映像/词法/初步计划/符号表与链接/指令执行/扫描周期/使用说明 同步
 2026-08-21 20:38:27 +08:00
Admin efe4dd1a2c 12.9 步骤 2：VM 译码 switch（标量/跳转/LOAD-STORE）。 
- Machine.cpp：create（拷贝数据段+建 MAIN 帧）、run_cycle、step、exec_one
- 标量：MOVE/LOADK（常量表 tag 定值表示）/NOT/AND/OR/四则饱和/CMP 全宽比较
- 跳转：JMP/JT/JF（相对下一条）；LOAD/STORE：slot×8 定宽槽，BadSlot 校验
- 寄存器越界检查按指令形态（a|b 作偏移/槽号/常量 id 时不查）
- 修：ImageView 默认构造公开（无效态）、Codegen 两个编译警告
- 冒烟：用例 02/04/07/05 跑通、06 触发 CycleLimit、step 单步
 2026-08-21 20:16:28 +08:00
Admin ce948451e0 12.9 步骤 0：数据段改 8 字节定宽槽（方案 a）。 
- 指令与映像.md / 寄存器码.md：slot 语义 = 槽号（数据偏移 = 槽号 × 8），取消变宽对齐与 global_offset 映射
- Codegen.cpp：删除 width_of/align_up/global_offsets_；layout_data/layout_fb_instances 按槽号布局（字段 = 槽序号）
- stb文件格式.md：line1 真实字节更新（224B、56B 数据段、starter 槽 4/5/6）
- codegen_test：断言更新（槽号化 + 数据区字节数），189 断言 9/9 全绿
 2026-08-21 20:01:21 +08:00
Admin 0263813a8f 12.8 切片 7：FB 实例块、用户 FB 内联、CAL_TON/TOF/CTU。 
- FB 实例 → 数据区实例块（字段地址 = 基址+偏移，编译期算死；跨周期持久）
- 用户 FB 调用点内联展开（实参写字段 → FB 体以实例字段为变量编译）
- 内建 TON/TOF/CTU：实参写字段 → CAL_* <实例偏移>；FB 生成空函数占位保持 fn_id
- codegen_test：189 断言（用例 15 内联序列、17 CAL_TON 字段偏移、18 TOF/CTU、line1 全链路 LOAD_I/STORE_Q），ctest 9/9
- 20 用例扫描：14 正例全部出映像，6 负例按期望在前层拒绝
 2026-08-21 11:52:25 +08:00
Admin 0a36e36b16 12.8 切片 6：FUNCTION 与 CALL，冻结调用约定。 
- 调用约定（冻结进 isa 规格与 12.8 文档）：结果 r0、参数 r1..r7（最多 7 输入、函数内只读）、
  变量与临时全部从 r8 起；CALL/RET 时 VM 复制 r0..r7（12.9 实现）
- 调用点：实参求值到 r8+ 临时 → MOVE r(1+i) → CALL fn_id → MOVE rd, r0
- 函数名赋值 = 写 r0（结果）；写函数输入 → codegen error
- codegen_test：134 断言（用例 13 两函数 CALL 序列；既有用例帧基址迁移 r8 起），ctest 9/9
 2026-08-21 11:48:33 +08:00
Admin 31ba557627 12.8 切片 5：WHILE 回环与四则运算。 
- WHILE 编成 L_loop: <cond→t> JF t, L_end <body> JMP L_loop L_end:，JF/JMP 双回填
- 四则 ADD/SUB/MUL/DIV（用例 5 循环体自增需要，同模式实现，用例 7 顺带点亮）
- codegen_test：115 断言（用例 05 回环 JMP -8、07 四则+比较、08 TIME 常量表），ctest 9/9
 2026-08-21 11:45:32 +08:00
Admin 6f1bf61c7f 12.8 切片 4：CMP_* 与 IF/ELSIF/ELSE 跳转。 
- CMP_xx：两侧求值到临时后比较；IF 编成 <cond→t> JF t, L_next <body> JMP L_end 链
- 分支尾部 JMP 与条件 JF 双回填；无 else 时末分支 JF 直接落 L_end
- codegen_test：89 断言（用例 04 完整跳转序列），ctest 9/9
 2026-08-21 11:43:23 +08:00
Admin e7dee50cde 12.8 切片 3：NOT 与短路 AND/OR（编跳转）。 
- 短路模式：<lhs→rd> JF(AND)/JT(OR) rd, L_end <rhs→t> MOVE rd, t L_end:
- patch_jump 回填偏移；约定相对下一条指令（目标 = 当前 + 1 + off），冻结进 isa 规格
- codegen_test：71 断言（用例 03 跳转序列 JF/JT +2、NOT 序列），ctest 9/9
 2026-08-21 11:40:53 +08:00
Admin ac411e6a4a 12.8 切片 2：全局数据区与 I/Q/M（LOAD/STORE 指令）。 
- 数据区布局：声明序 + 对齐（BOOL 1B/INT 2B/TIME 8B），初值入数据段
- 读全局 LOAD_GLOBAL / io.input 绑定用 LOAD_I；写 STORE_GLOBAL / io.output 用 STORE_Q；写 io.input 拒绝
- 临时寄存器分配：语句内递增、语句结束复用基址
- codegen_test：51 断言（用例 09 初值+LOAD_GLOBAL、io 绑定 LOAD_I/STORE_Q、混合布局偏移、写输入负例），ctest 9/9
 2026-08-21 11:38:57 +08:00
Admin 66359a0a26 12.8 切片 1：寄存器码骨架（MOVE/LOADK/RET）。 
- Codegen.h/cpp：帧寄存器（0 起声明序）、常量表、函数表、小端映像拼装
- 切片 1 范围：PROGRAM 标量 + 字面量 LOADK + 变量 MOVE + RET；其余构造报 codegen error
- codegen_test：23 断言（用例 01 空 MAIN 出 RET、02 LOADK r0/r1 + 常量表），ctest 9/9
 2026-08-21 11:32:31 +08:00