chentianya/Interpreter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
156 Commits 2 Branches 1 Tag
dev
Commit Graph
19 Commits
Author SHA1 Message Date
Admin 68261cd78b 步骤A：isa+toml 新增 RS_OFF 形态（LOAD_PTR/STORE_PTR，0010 前缀 op=8/9）+ 强校验放行 + isa_test roundtrip 2026-08-27 09:13:38 +08:00
Admin 4f3da55ed7 阶段4-1：isa 重构 V2 完成（Types/Op/Instr/Encode + isa_test 91 checks） 
- Types.h：func 宽度/符号表（kFuncWidth/kFuncSigned）、饱和模板（各宽度
  __int128 中间量 + 除法 A：除零返回被除数/MIN/-1 夹界/截断）、删 TypeTag
- Op.h/.cpp：前缀分区 + 72 条指令表（与 machine.toml 强校验一致）、
  uses_rd/rs1/rs2 直推、kFbNames（15 内建 FB）
- Instr.h：变长 instr_len、位号 get/set（含 JC off@55..24、SLOT_OFF off@87..56）、
  enc_* 发射器
- Encode.h/.cpp：decode/encode 往返、disasm（类型后缀 + CAL fb 名 + 未知 0x dump）
- isa_test V2：饱和边界/func 表/前缀定长/位号往返/编解码/disasm/uses_*/指令表

修复的实现 bug：find_op 字符串比较（指针==）、set_byte0 11/10 与 010xxx 分支、
CAL 字段约定（(slot<<16)|fb_id）、disasm 未知前缀 used 长度

状态：vm/executor 编译暂破（V1 代码引用旧 isa 接口），4-2 同步
 2026-08-26 09:56:43 +08:00
Admin 96607cfe75 isa 模块注释完善：Doxygen 风格。 
- Types.h：定宽类型、TypeTag、饱和四则的 @brief/@param/@return
- Op.h：Op 枚举冻结约束、OpFormat/OpClass、OpDef/kOpDefs 表、三个查询函数
- Instr.h：指令字布局、pack/拆字段、按形态 enc_* 系列
- Encode.h/.cpp：Decoded 字段语义、encode/decode/disasm 契约
 2026-08-21 23:19:08 +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 5fccbadaa8 阶段 C 步骤 7：isa 拆出 Image，vm 依赖收窄。 
- 删 isa/Image.h + Image.cpp（ImageView/FNV/写文件/sidecar 不再属于 isa）
- vm 自实现只读视图 vm/Image.h/cpp：头 104（12.13）/段校验/缺 SHA 尾报错
  （型号匹配与 SHA 校验留步骤 8）；Machine 改用 vm::Image + vm::ImageHeader
- executor：本地读文件（替换 isa::read_stb_file）
- 测试：isa_test 删映像/FNV 部分；codegen_test/vm_test 改用 compiler::StbView /
  vm::ConstEntry；vm_test 手拼映像适配新格式（头 104 + 尾 32 占位）
- 验证：line1 编译 288 字节 → BytecodeExecutor 回放 Q 正确；ctest 12/12
 2026-08-21 22:24:57 +08:00
Admin 35dabf4c3b 步骤 1：OpFormat/OpClass 显式化 + disasm 表驱动。 
- Op.h：新增 OpFormat（RR/RRR/IMM/SLOT/JMP/JC/CALL/CAL/NONE）与
  OpClass（Plain/Instance）枚举；34 条编译期表 kOpDefs（name/format/class，
  与 ops.txt 强校验的基准）；mnemonic/format/op_class 查表
- Encode.cpp：disasm 按 format 表驱动输出（文本与之前逐条一致）
- 验证：11 个 ctest 全绿；表查询断言（8 个 INSTANCE=CAL、越界哨兵）
 2026-08-21 21:13:36 +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 17c62f0a1f 新增 .stb 映像文件结构说明（line1 真实字节拆解）。 
- Doc/isa/stb文件格式.md：段布局图、17 字段头表、常量/函数/字节码/FB/数据各段
- 用 line1.stb（184 字节）逐段核对实际值：函数表 2 行、MAIN 指令字节、数据段全局+实例块
- 标注与执行器的关系（sidecar 不含在映像）；索引与 isa README 登记
 2026-08-21 13:40:20 +08:00
Admin 9a07f938f9 清理：isa 去掉局部 C++11 覆盖，Project.cpp 补注释，加 .clangd。 
- isa/CMakeLists.txt 删除 set(CMAKE_CXX_STANDARD 11)：会覆盖全局 C++20 决策，改由 Standards.cmake 统一
- Project.cpp 各段解析补说明注释
- .clangd：clangd 编译数据库指向 build/gcc-debug
 2026-08-21 10:41:39 +08:00
Admin 6df3465b37 登记第三方子模块并预留 TUI 观察接口。 
- third_party：tomlplusplus（v3.4.0）+ FTXUI（main@9221a3b）git 子模块
- vm/扫描周期.md：可观察性接口（v1 预留）——step/snapshot、只读轮询、快照 POD 化
- executor/执行器入口.md：TUI 观察界面（最后做）——TUI 属执行器，输出层可替换
- 初步计划 12.11 补 TUI 归属；C++11 残留引用同步为 C++20
 2026-08-20 22:51:05 +08:00
Admin c378411637 落地映像读写：72 字节头、段布局、FNV-1a、.stb 与 sidecar。 
- 指令与映像.md 冻结：头字段表、常量表/函数表行、段序、数据段对齐、sidecar 格式
- Types.h 补 TypeTag；Image.h/cpp：ImageView 校验、write_ret_main、文件与 sidecar
- isa CMake 改 target_include_directories PUBLIC
 2026-08-19 14:40:38 +08:00
Admin eba48f852e 实现指令编解码与反汇编，冻结 disasm 格式。 
- Encode.h/Encode.cpp：encode/decode 往返 + disasm 一行文本
- 指令与映像.md 新增反汇编格式表（9 种形态 + 未知操作码）
- Op.h STORE_* 注释对齐 disasm（rs, slot 寄存器在前）
 2026-08-19 14:06:20 +08:00
Admin 7c855b1618 文档同步双可执行架构：STCompiler + BytecodeExecutor。 
- 12.10 重写为两条命令：STCompiler 编译出 .stb + sidecar，BytecodeExecutor 加载执行
- 12.0 删独立 stc.exe，12.13 依赖方向改为 STCompiler/BytecodeExecutor
- 指令与映像.md 新增「映像文件（.stb）与 sidecar」节，I/O 绑定不进映像
- host/ 改名 executor/，宿主入口.md 重写为执行器入口.md
- README / tests / examples / isa README 同步
 2026-08-19 13:59:50 +08:00
Admin 94accd52c3 落地 isa 合同：饱和类型、操作码枚举、32-bit 指令编解码。 
- Types.h：TIME 改 int64_t（毫秒），补 sat_add/sub/mul/div，除零与 INT_MIN/-1 规则
- Op.h：29 条操作码枚举 + mnemonic 助记符，数值即编码
- Instr.h：pack/拆字段 + 按形态 enc_rr/rrr/imm/jmp/jc/slot/call/ret
 2026-08-19 13:59:48 +08:00
Admin 9a35a881d1 建立四模块 CMake 骨架与 line1 样例。 
- compiler / vm 空静态库，host 可执行打印版本
- 顶层解开 add_subdirectory，tests 接入 CTest（host_version 通过）
- examples/line1 落地 project.toml 与三个 .st
- Types.h 注释补饱和规则，与 Doc/isa 一致
- .gitignore 忽略 Doc/会话记录.md
 2026-08-19 10:09:27 +08:00
AdminandCursor ff244888c3 落地 isa 静态库骨架与 Types 头。 
先挂 Encode.cpp 和定宽类型别名，规范仍以 Doc 为准。

Co-authored-by: Cursor <cursoragent@cursor.com>
 2026-08-18 17:48:09 +08:00
AdminandCursor 583f14967a 冻 isa 的指令编码、映像布局与定宽类型，计划改为引用该规范。 
Co-authored-by: Cursor <cursoragent@cursor.com>
 2026-08-18 17:18:30 +08:00
AdminandCursor 2eb2468119 划定 CMake 模块目录并补充各层 README。 
固定 isa/compiler/vm/host 的职责边界，样例与测试单独成目录。

Co-authored-by: Cursor <cursoragent@cursor.com>
 2026-08-18 16:32:07 +08:00