GVSDS/Viper_RegressionTesting
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
69 Commits 1 Branch 0 Tags
main
Commit Graph
8 Commits
Author SHA1 Message Date
TermiNexus 384fccd8b8 test(llvmlitest): 模块头断言迁移到 llvm.target_triple/data_layout 属性口径 2026-10-12 20:35:55 +08:00
TermiNexus 735f5d49af chore: 改名同步 TransPyV -> ViperC（源码/配置内的纯替换） 2026-10-12 15:06:45 +08:00
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