chentianya/Interpreter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
78 Commits 2 Branches 1 Tag
main
Commit Graph
10 Commits
Author SHA1 Message Date
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 44b5ecd46d 阶段 A 步骤 3：MachineConfig 加载层（toml++ + 强校验 5 项）。 
- MachineConfig.h/cpp：解析 machine.toml → meta/types/ops/fbs 表
- 强校验：全属性必填、base 命中内建基元、range min≤max、tag 契约（BOOL=0/INT=1/TIME=2 唯一）、
  opcode 唯一 0..255、类别-格式互锁（instance↔CAL）、params 数量与 format 一致、
  fb.opcode 匹配 instance op、fb 字段类型命中 type 表
- 基元内置表（bit/int8..uint64/float32/64，宽度/符号/浮点）
- machine_test：38 断言（正例仓库表 + 9 类负例 + 最小配置），ctest 12/12
 2026-08-21 22:09:39 +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
Admin 9cd4997a3a 实现 12.7 类型检查：表达式类型、语句规则、FUNCTION 禁写全局。 
- Typecheck.h/cpp：三型（BOOL/INT/TIME）求值，AND/OR/NOT 只吃 BOOL、算术只吃 INT（TIME 无算术）、比较同型、IF/WHILE 条件必须 BOOL
- FUNCTION 禁写全局（含经 VAR_EXTERNAL）——用例 14 点亮；函数名赋值=返回类型
- FB 命名实参匹配字段类型；FB 实例不能当值
- typecheck_test：23 断言（用例 14 + 8 类负例 + 13 个正例），ctest 8/8
 2026-08-21 11:26:55 +08:00
Admin 6f02c18bbb 实现 12.6 符号表与链接：全局定槽、引用解析、循环检测。 
- Linker.h/cpp：收集导出（仅 gvl 文件顶层 VAR_GLOBAL、声明顺序定槽、重复名拒绝）
- VAR_EXTERNAL 接同一槽、类型一致；FB 实例必须先声明；字段存在性校验；函数调用图 DFS 环检测
- io.var 必须在 GVL；内建 TON/TOF/CTU 布局冻结；用户 FB 字段 = input/output/var（external 不是字段）
- 函数名赋值 = 结果值写入（用例 13 约定）；dump_symbols 打印 name kind type address file
- linker_test：51 断言（用例 09/10/11/12/16/19 + line1/17 正例），ctest 7/7；20 用例扫描 15 绿 5 按期望拒
 2026-08-21 11:14:03 +08:00
Admin 4ba44459e2 实现 12.5 递归下降语法：AST + 拒绝清单。 
- Parser.h/cpp：POU 外壳（PROGRAM/FUNCTION/FUNCTION_BLOCK）、变量段、语句（赋值/IF/WHILE/FB 调用）、表达式优先级爬升（NOT/AND/OR 短路/比较/算术/函数调用/负号）
- Unit 结构：顶层 VAR_GLOBAL 段（GVL 文件形态）+ POU 列表
- 拒绝：VAR_IN_OUT/REF/CLASS/ANY 等保留名、链式比较、FB 字段赋值、顶层非 GVL 段
- THEN/DO 补入关键字表（12.5 修订，同步 12.1 与词法文档）
- parser_test：98 断言（line1 三文件 AST、FUNCTION 调用、IF/WHILE/TON、9 类负例），ctest 6/6
 2026-08-21 11:07:34 +08:00
Admin c076c25368 实现 12.3 toml 读取：schema 校验、文件集合、工程哈希。 
- Project.h/cpp：toml++ 解析 + 字段白名单（未知键带行号报错）、name/entry/cycle_limit/dt_ms/files.st 必填、io 条目完整性、entry 必须 program MAIN
- compile_files：files.st ∪ gvl.file 去重；compute_project_hash：路径排序后 FNV-1a 64 增量，缺文件报 file missing
- STCompiler <project.toml>：打印文件列表与哈希，失败退出码 1，--help
- compiler 私有链接 toml++ v3.4.0；测试固化 compiler_toml（35 断言，line1 哈希冻结 0xc3fe4ae74ad45900）
 2026-08-21 00:32:53 +08:00
Admin dd7f7bcba7 双可执行落地：STCompiler 与 BytecodeExecutor。 
- STCompiler 入口在 compiler/src/main.cpp，链 compiler+isa
- host/ 改名 executor/，BytecodeExecutor 链 vm+isa 不链 compiler
- compiler/vm 补 PUBLIC 链 isa；顶层加入 executor
- CTest：版本冒烟 2 例 + isa_roundtrip（89 断言），3/3 通过
 2026-08-19 14:40:44 +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