 TermiNexus
|
ee6461be46
|
chore(comments): Test 仓注释英文化（R11）
把 81 个 .vp 文件的中文 # 注释与三引号文档串改写为简洁英文，每个连续注释块 <=2 行；运行时中文字符串字面量（testcheck.begin/print 等用户可见消息）保持原样。骨架比对 HEAD 与工作区 112 文件漂移 0，全量 77/77 顺序回归通过。
|
2026-10-05 22:43:38 +08:00 |
|
|
TermiNexus
|
3f532e665d
|
chore(test): 移除工程配置里的 -Wl,--allow-multiple-definition 兜底
该 flag 会静默吞掉真实重复符号（PYI_BUF_SIZE 一类），违背 fail-fast。逐个工程移除后由 TPV 自举产物重建并运行验证，顺序回归 77/77 全通过。顺带提交 ProbeGen 配置 project.vpj -> project.json 的重命名（回归脚本只认 project.json）。
|
2026-10-05 09:22:53 +08:00 |
|
|
TermiNexus
|
55a517fbd2
|
test(llvmlitest): 断言迁移到 MLIR 口径 + 内存池放大到 80MB
mlirlite 发射器改输出 MLIR 文本后，本测试 58 条断言仍在断言旧 LLVM IR 文本
（i32*、add i32、icmp sgt、asm sideeffect、label %then、@.str = 等）→ 全部
迁移到实际 MLIR 形态（!llvm.ptr、llvm.add、llvm.icmp "sgt"、
llvm.inline_asm has_side_effects、^then:、llvm.mlir.global 等）。属性用例按
README §3.3「记录但不渲染」改为签名正向 + 属性文本负向断言。
同时 POOL_SIZE 512KB → 80MB：本测试 27 用例共享同一池（不像 MLIRLiteTest
每用例切子池），mlirlite 单次 PrintModule 需约 1MiB 缩进缓冲，512KB 会池耗尽。
本文件另含既有未提交的注解现代化改动（X | t.CPtr → X*、t.CChar | t.CPtr →
str 等），一并纳入本次提交。结果：PASS 80 / FAIL 0。
|
2026-10-04 21:51:34 +08:00 |
|
|
TermiNexus
|
209e8ed72e
|
refactor(test): 发射器改名 mlirlite（LLvmLiteTest/MLIRLiteTest/NoVTableTest）
- 与 TransPyV 单端 MLIR 同步：llvmlite -> mlirlite（import/限定名/注释）
|
2026-10-03 19:26:54 +08:00 |
|
|
TermiNexus
|
0078102eca
|
fix(test): LLvmLiteTest/MLIRLiteTest 的池改用 MemBuddy（llvmlite/mlirlite 的池契约是 MemBuddy）
【类别 c 源码违规（调用方与库契约不符）】这两个测试给 llvmlite/mlirlite 传的是
memhub.MemPool，而这两个库的池契约是 memhub.MemBuddy；新判据禁止兄弟类指针相转，
于是编译期 fail-fast：
· 先爆 MemPool* → MemBuddy*（传参处）
· 若把库侧放宽成 MemManager*，则 TransPyV 读回 builder.Pool 时再爆
MemManager* → MemBuddy*
为什么是调用方让步、而不是给 MemPool 补接口/把库放宽：
1. llvmlite 的池不只是"库内 alloc/free"——它被存进 IRBuilder.Pool 并**被 TransPyV 读回**，
而 TransPyV 需要 MemBuddy 专有方法（alloc_tagged 7 处、mark 12 处、reset_to 43 处），
所以它对外暴露的有效契约就是 MemBuddy；
2. llvmlite 的 git 历史里从未出现 pool: memhub.MemPool；
pool: memhub.MemBuddy* 自 0f55646（2026-09-23）起即如此；
3. 反观 ast / numpy / json 的池只在库内使用（只 alloc/free），写 MemManager 才对，
故 Test/AstTest、NumpyTest、DictTest 继续用 MemPool 合法，不受本次改动影响。
改动：
Test/LLvmLiteTest/App/main.vp 30 处 memhub.MemPool → memhub.MemBuddy
Test/MLIRLiteTest/App/main.vp 20 处（含 "FAIL: memhub.MemPool init failed" 报文）
另把 MLIRLiteTest 里"MemPool 是无释放的 bump 分配器（free 为空操作），故此处不调用 free"
两处注释改成对 MemBuddy 也成立的说法（MemBuddy 支持 free，只是本测试无需逐块回收）。
配套：includes 仓 31b0f79（Revert 9b1399b）把 llvmlite/mlirlite/torch 复原回 pool: memhub.MemBuddy*。
|
2026-09-29 15:51:02 +08:00 |
|
|
TermiNexus
|
3c6fb1d246
|
chore(test): 初始化回归测试仓（新增 .gitignore，TestsOverview.md 改为 README.md）
把 Test/ 纳入 https://git.gvsds.com/GVSDS/Viper_RegressionTesting 。
1) 新增 .gitignore —— 只保留测试源码，剔除全部构建产物：
目录 **/output*/（output / output_opt / output_orig / output_verify / output_dbg）、
**/temp*/（temp / temp_opt）、**/.tpv_build/
二进制 *.exe *.obj *.o *.out *.a *.lib *.dll
中间物 *.ll *.vpi *.pyi *.deps.txt *.deps.json *.doc.json *_sha1_map.txt
_pyi_cache_v1.pkl _pyi_cache_v1.sig.json _shared_sym.json _phase1_manifest.json
其它 build_all.txt（构建日志）、*.log、__pycache__/、*.bak、IDE 目录
保留 App/*.vp、project.json / project_opt.json / project.vpj、README.md、两个 .py
实测 `git add -A --dry-run`：196 个文件，无任何构建产物混入。
2) TestsOverview.md → README.md（作为仓库首页文档）。
3) SequentialRegressionTest.py：7 处 TestsOverview.md 引用同步改为 README.md
（文档串、OVERVIEW 路径、read_test_order 文档与报错文案、argparse description、
启动横幅）；同时修正入口路径 PROJECTRANS —— 旧值 <root>/Projectrans.py 已不存在，
改为 <root>/TransPyC/Projectrans.py（与 regression_test.py:45-48 记录一致），
否则本脚本会以 "can't open file" 全量失败。
regression_test.py 无需改动：它按目录扫描 project.json 找项目，不引用该文档。
|
2026-09-29 15:14:59 +08:00 |
|