 Admin
|
b19a61aabf
|
阶段3-4：新类型运算验证 + 修复（011 前缀位、func 大小写、位串 AND/OR）
新类型运算验证（综合用例全部正确）：
- REAL 算术 ADD.F32、LREAL 算术 ADD.F64
- TIME+ ADD.I64、TIME 比较 CMP_GT.I64
- DATE/TOD/DT 比较 CMP_GT.U32/U32/U64
- DINT 算术 ADD.I32、UDINT 字面量装载+截断
- WORD 位串 AND（短路 JF+MOVE）
- 负例：UINT 溢出拦截
修复的 bug：
1. set_byte0 '011' 分支 0x40→0x60（RRR 指令被误判为 010 区，
ADD 等显示错乱）——阶段 2 遗留
2. Codegen func_of_name 大小写不敏感（符号表小写/type 表大写，
否则 REAL 等返回 func 0）
3. Typecheck AND/OR 支持位串（BOOL 逻辑或 bit 按宽度逐位）
已知缺陷（记录）：LREAL 字面量装载按 REAL（LOADK.F32），
ADD.F64 运算位模式错位——需 compile_expr 携带目标 func（TODO）。
|
2026-08-26 09:40:12 +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
|
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
|
b0aebe264e
|
compiler 模块注释完善：Doxygen 风格（Lexer/Parser/Linker/Typecheck/Project/MachineConfig/TypeInfo/Codec/Codegen/Stb/main 共 21 个文件）
|
2026-08-21 23:29:15 +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 |
|