GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
874 Commits 1 Branch 2 Tags
main
Commit Graph
65 Commits
Author SHA1 Message Date
TermiNexus 3242560d02 支持 tls 关键字，全面准备清退 t, c 2026-10-17 23:40:06 +08:00
TermiNexus a060e1d76e fix(viperc): 闭包变量取址返回闭包指针，并让方法/构造实参转换报错定位到具体实参 
- ExprGenOps 取址：嵌套 def 提升出的闭包变量在父函数里是 i8** 槽，&f 原来返回槽地址（二级），传给 callback: t.CPtr 会因级数不符报 CastError（source level 2 -> target level 1）；现按闭包名表判定，返回其值 i8*（一级），与“函数名即地址（同 C）”一致

- CallGenCall._call_method_on_ptr：实参逐个转换原来统一传 node=None，失败时只能退回函数定义行（只剩一帧）；现按 arg_nodes 带上每个实参自身的 AST 节点（slot 0 是 self），报错可定位到具体实参表达式并显示完整两帧

- TypeGenErr：移除定位用的 [TEMP-DIAG] 临时打印
 2026-10-14 17:38:50 +08:00
TermiNexus d206abf3e1 chore: 全仓同步 w32→win32 模块改名与 range(int(...)) 显式收窄适配 2026-10-12 20:59:11 +08:00
TermiNexus 357a8bba05 feat(lifetime): 构造器路径同命裁剪的透传管道（recv_life，默认 -1 = 现状不变） 
_call_method_on_ptr 新增 recv_life: int = -1（被构造对象的生命期，由调用方 CallGenCtor 算出）；
构造器分支在指令最终裁决之后，若 recv_life ∈ {FRAME, VALUE} 则复用 _FrameArgsEscapeClearsMethod
（recv_node=None，接收者已由 recv_life 判定）清"写进形参对象字段"那类位。
下一轮只需在 3 个 __init__ 调用点（CallGenCtor:171/665、ExprGenConst:257）填 recv_life；未填 = 完全现状。
 2026-10-09 22:36:09 +08:00
TermiNexus bf5ecd7668 fix(lifetime): 方法路径补上"同命裁剪"（此前缺失）—— h.set_q(l) 不该报 
现场：h: S* = new heap slife S()（生命期本就是 FRAME：作用域出口释放）+ l 是栈数组；
h.set_q(l) 却报"escaping method parameter"。根因：同命裁剪只做在模块级函数路径，方法路径一直没接
（此前已明确告知"还差一半"）。

新增 CallGenMixin._FrameArgsEscapeClearsMethod：位 0 = 接收者(self)、位 (i+1) = 用户第 i 个实参；
某位可清 ⇔ 该位对应实参是 FRAME/VALUE 且其余全部实参（含接收者）也在本帧。
CallGenCall 方法路径在 refine 之后、指令最终裁决之前套用；硬位仍用 get_param_escapes_hard_method 排除。
构造器路径暂未接（__init__ 的 self 是"正在构造的对象"，此处拿不到接收者 AST 变量）。
 2026-10-09 22:30:35 +08:00
TermiNexus 79299ec47d feat(lifetime): 声明式指令契约落 .vpi（esce=/escn=），跨模块调用点也能最终裁决 
写侧 Converter：读 compute_escape_summary 落在 box[3]/box[4] 的契约掩码，随函数头行尾写 esce=<强制逃逸位> / escn=<强制不逃逸位>；
只有指令（既无 esc/ret 也无 wf）时也补一个 "# esc=0 ret=0" 注释段——读侧是"见 # 才解析"。

读侧 VpiReader：_cache_vpi_esc_clears_text 同一次行扫描里顺带收 esce=/escn= 进 _g_vpi_esd_*（与 escg 同键 sha1[.Cls].func）；
新增 _lookup_vpi_escape_dir(.., noescape)；CallGenBase.lookup_escape_dir_via_vpi 包装。

调用点：模块级函数 / 方法 / 构造器三条路径在本文件指令表为空（= 跨模块）时改查对方 .vpi，
仍放在所有推断/回退之后最后套用：esc_mask = (esc_mask | esce) & ~escn。
 2026-10-09 20:40:30 +08:00
TermiNexus 2bd37e80e3 feat(lifetime): 方法/构造器调用点也接 @life(escape/noescape) 最终裁决 
StructGenMixin: 新增 _DirForceOf / _DirForceMethod（查 "Class.method" 并沿 MRO 回退）与
get_param_escape_force_method / get_param_noescape_force_method；GenApi 加同名委托。

CallGenCall: 构造器分支（esc_mask_ci）与方法分支（esc_mask_mc）在跨模块回退、常量特化之后
最后套用一次 esc_mask = (esc_mask | escape_force) & ~noescape_force，与模块级函数那条口径一致。
 2026-10-09 20:34:34 +08:00
TermiNexus c98730f717 refactor(diag): 精简 LifetimeError 报错词，去掉冗长从句 
逃逸主报文由三段长从句压缩为「frame-local + 悬垂 + 修法」两句：
  stack address escapes: `&x` is frame-local; using it at {where} hands out a dangling pointer
  once this frame returns. Copy the value, or allocate on the heap (`new heap hlife ...`).

同步缩短 where 短语（return value / escaping callee|method parameter / constructor parameter stored
into a field / longer-lived field-element / module-level global）

其余冗长报文一并精简：willFree 失效、slife 手动 free/del、async slife、stack+hlife 矛盾、三处容量上限、
@life 标签实参缺失

测试只断言关键字 LifetimeError，不受文案影响（Test/*.py 已确认）。
 2026-10-09 19:22:04 +08:00
TermiNexus fc797da542 feat(lifetime): @life(escape/noescape) 多形参、硬逃逸位同命精化、归纳变量区间与跨模块常量特化 
- GenApi：escape/noescape 标签支持多实参；新增 compute_escape_directives 与若干委托

- StructGenMixin：硬逃逸位（box[2]）、常量与归纳变量区间折叠、_PackEscapeClear/compute_escape_clears

- Call 系：调用点同命裁剪（_FrameArgsEscapeClears）+ 跨模块 escg= 查询；写侧 Converter、读侧 VpiReader

- AssignGenMixin：裸 T()（无 new、无 __new__）判为帧生命期
 2026-10-09 18:44:51 +08:00
TermiNexus 14a8dcb98b feat(gen): new 支持基本类型 + 跨过程常量特化重算逃逸摘要 
- CallGenCtor._translate_new_primitive：
ew [stack|heap|memgr(x)] T（T 为标量）取存储 + 零初始化 → T*；stack 走入口块 alloca、heap 走 malloc、memgr 复用既有通道；标量带实参 fail-fast，不引入第二套标量构造语义

- StructGenMixin：新增 EscFuncTable / EscRefineScratch / EscConstEnv 与常量求值器 _EvalConstInt / _EvalConstCond；_ScanEscapes 的 if 分支按形参常量折叠只扫被走到的分支（死分支里的写不记为逃逸）

- 调用点（普通函数 + 方法，方法沿 MRO 回退）在逃逸检查前用常量实参重算摘要；跨模块拿不到函数体仍保守返回原掩码

- 折叠只会减少逃逸位，不引入新的误报
 2026-10-09 14:55:28 +08:00
TermiNexus dd24dc670f fix(gen): P2 失效状态改存独立槽表，不再给 VarEntry 加字段 
现象：任何工程编译都在函数形参注册刚结束处 access-violation（pc=0，逐字节可复现）。定位：逐层探针把崩点压到 FuncGenDef 的 pre_scan 段，而该段对 Check（body 仅 if+return）应为空操作，唯一变量是 VarEntry 这个热结构被加了 Freed 字段。修法：撤销 VarEntry.Freed，改用 VarGenMixin 的独立失效槽表 _g_freed_slots（键 = 变量槽 alloca，整次翻译内唯一，故全局累积、无需按函数 reset/restore）；_FreedMark/_FreedCheck/_FreedClearSlot 三个 API 替换字段读写，P2 语义不变。同时清除全部 TEMP 探针。
 2026-10-09 11:51:11 +08:00
TermiNexus b60ce06335 feat(gen): willFree 覆盖关键字实参、方法调用与取地址三条路径 
关键字/混合实参：CallGenMixin._MarkWillFreeKwargs 按形参序（位置实参占前 can 个形参，其余按关键字名匹配）标记。方法调用：CallGenCall._translate_method_call 的 kwargs 与位置两条循环，实参链含 self 故用户第 ai 个实参对应 bit (ai+1)；新增 GenApi/StructGenMixin.get_param_willfree_method（查 Class.method 并沿 MRO 回退）。取地址：ExprGenOps 的 AddrOf 分支对已失效变量 fail-fast。
 2026-10-08 21:39:53 +08:00
TermiNexus cd68bb62ac feat(gen): M2.3 v3 跨模块逃逸摘要 + 全局赋值判据双保险 
【v3 跨模块摘要】Converter._PyiFunction 在每个 def 签名行尾写 `# esc=<mask> ret=<ret>`（仅非零时写）；VpiReader 新增逃逸摘要缓存（键 {sha1}.{Class}.{method} / {sha1}.{func}，值打包 mask|ret<<32），与返回注解缓存同一次加载解析，并加"模块已加载"备忘 + 键前缀过滤避免拖慢编译；StructGenMixin 抽出 compute_escape_summary 供登记与落盘共用；CallGenBase.lookup_escape_via_vpi 按本类 + MRO 祖先模块 sha1 查询，方法/构造器/模块级函数三处调用点在本地表未命中时回退查 vpi。

【修复】Converter._PyiEnsureEscScratch 补 global（漏写导致全局仍 NULL，box 算成 0+520 → ASan WRITE on 0x208）；函数内写"本文件已声明的模块全局"且无 global/nonlocal 时必须 fail-fast——原判据只看 SymTab.Root.Vars，部分时序看不到模块全局而静默建局部影子；新增 FileVarNames（register_file_funcs 预扫收集顶层变量名）+ is_file_var() 兜底，普通赋值与注解式重声明两处都接上。
 2026-10-08 17:28:06 +08:00
TermiNexus 9f98e683a9 feat(gen): M2.3 覆盖面扩展——类方法与嵌套函数的逃逸摘要 
摘要键约定：模块级/嵌套函数用裸名（与调用点 func_name 一致），类方法用 "Class.method"，查询沿 MRO 回退；刻意不回退裸名，避免方法名与同名模块函数（error/init 等）串味产生误报。

register_file_funcs 登记类方法与嵌套函数摘要，v2 传递闭包相应覆盖（_RescanEscapes 拆为 _RescanOne/_RescanNested/_RescanClassMethods）。

调用点新增：_translate_method_call 的方法路径检查（形参下标含 self，用户第 ai 个实参对应 bit ai+1）、_call_method_on_ptr 的 __init__ 构造器检查（self.f = p 的逃逸；__new__ 形参可能与 __init__ 共享并裁剪，不查）。

已知边界：摘要表按文件重置，跨模块查询待 v3；_PropagateCallEscapes 只处理裸名被调者，方法调用链的传递待补。
 2026-10-08 16:55:34 +08:00
TermiNexus b03e55bb7e fix(gen): 类归属不采信星号导入候选，收口 fatal_error 返回类型与默认值补全 
TypeGenResolve._class_true_def_sha1 / CallGenBase._lookup_reexport_from_vpi 新增 allow_star 参数：类归属只采信具名 re-export。此前 `from X import *` 候选被当成类的真实定义模块，而几乎每个文件都 star-import stdint，导致 TypeGenErr 前向声明被建成 "stdint.TypeGenErr"；该名字在 StructTable 里只剩一个错误 sha1 的条目，fatal_error 的跨模块返回类型解析全部落空并 fail-fast。

TypeGenErr.fatal_error/fatal_type_error 显式 -> int（留空会解析出退化类型 i0，命中 CallGenCall 的 i0 守卫）；_fail_method_ret_ty 增加失败上下文转储并并入同一条 VLogger.error（批处理下 error 即 sys.exit，其后代码全是死代码）。

CallGenMixin 模块级调用：默认值已知但重建不出时 fail-fast，不再静默产出操作数不足的 llvm.call（只会被 MLIR 校验拦下）；AssignGenMixin 两处 VLogger.error 补上 category 实参。

M2.3 v1b 收尾：逃逸摘要表与扫描临时区改为只分配一次、传递闭包扫到不动点、u64 改 sizet；VpiReader 不再 free 跨阶段引用的 src_sha1（heap-use-after-free）。
 2026-10-08 16:38:35 +08:00
TermiNexus c20bd4734b feat(gen): 值引用自动取址接入虚分派/构造/属性/静态等全部方法调用路径 
CallGenBase 新增 _vpi_auto_addr_mode（把原先埋在 _coerce_args_to_def_params 里的 vpi 注解解析抽成唯一实现，两处共用）与 _apply_auto_addr_to_call_args（同模块先查 AutoAddrModes，跨模块回退 vpi 注解）。接入原先完全不查表的路径：虚分派（原在 vpi 取址前 return）、_call_method_on_ptr 覆盖的构造 __new__/__init__（含泛型）与 dunder 分派、属性 getter/setter/deleter、静态/类方法、super()、FakeDuck；属性 setter 由 AssignGenMixin 传入 rhs AST 以支持 &T 取左值地址。
 2026-10-07 19:59:52 +08:00
TermiNexus 2fb648d68a feat(lang): 新增 cif/celif/celse 条件编译与值引用注解 &T/&temp T，assert 改译 testcheck.check 
cif 三件套：StmtGenCifMixin 负责常量求值（含 defined(模块宏) 的 Attribute 形式），链式错配与含运行时变量一律 fail-fast；删掉 c.CIf 家族。值引用：TypeGenResolve 让 CRef/CTempRef 与 t.CPtr 走同一解析路径（&void 折叠为 i8*，删除 t.CNeedPtr），CallGenBase 在调用点按形参模式自动取址（ref 只接受左值，右值 fail-fast；temp 物化临时栈），跨模块经 VpiReader/StubMergerBuild 传递模式。assert：StmtGenMixin 合成 testcheck.check(cond, None, msg)，Translator 检测到 assert 时自动注入 testcheck 导入（带去重与防环），深递归守卫改用 stdio.printf + stdlib.exit（Translator 无 Gen 成员）。
 2026-10-07 19:03:16 +08:00
TermiNexus 7a9bc5ae75 chore(messages): TransPyV 运行时中文字符串英文化 
把 TransPyV/App 下 57 个文件的运行时中文字符串（编译器报错/告警/日志、CLI 帮助与横幅、REPL 提示、Phase1/Phase2 流程日志、Codegen 各 Mixin 的类型与调用报错、Stub/Vpi 诊断等）共 1091 行译为英文。

口径：只改字符串字面量内部文字，行数零变化（+1092/-1092）；printf 格式符与转义序列多重集合校验不变（_strcheck 异常 0）；译文不引入撇号以免干扰单引号字面量解析。验证：三重重编 SUCCESS（136.20s）+ 全量 77/77 顺序回归通过 + VET 编译 SUCCESS / --search-paths 7 条 exit 0；新产物 help/日志输出已为英文。
 2026-10-07 00:03:58 +08:00
TermiNexus cd55a7e214 refactor: rawptr[T] -> T*（R14）+ 修 REnum 前向占位未就地填充 
R14：rawptr[X] -> X*（56 文件 / 834 行改动）；保留 6 处 rawptr[t.CPtr]（存纯裸指针的规范例外）。 修复：class X(t.REnum) 的变体字段写成自引用 X* 时，字段解析在变体扫描期经 ensure_forward_class 建了一个 opaque 前向占位；末尾 register_struct 按 Ty 指针去重会再建第二个同名 entry，而 find_struct 取首个（占位，0 字段）→ X.__sizeof__() == 0，报「已注册但大小为 0（字段链表未填充）」。改为注册前若命中同模块前向占位则就地填充（与 ensure_forward_class 文档口径一致）。TPC 无此问题，属 TPV 侧缺口。 验证：自举三重重编 SUCCESS；全量 77/77 顺序回归通过（修复前卡在 LLvmLiteTest）。
 2026-10-05 17:38:28 +08:00
TermiNexus aeb4e8e54c refactor(gen): R12 收尾同步——12 处计数 while 循环改 for range 
与 includes 同步：<= 条件转 range(expr + 1)，并放宽初始化行的紧贴要求（同块内最近一次写即为初始化即可）。其余保守守卫不变。

验证：bootstrap 三重重编 SUCCESS；全量 77/77 顺序回归通过。
 2026-10-05 16:36:36 +08:00
TermiNexus fb53f88893 refactor(gen): R12/R13 同步——下标 while 循环改 for range、去 c.Set 
与 includes 同步执行两批源改写：R12 把「i: int = 0 与 while i < N: … i += 1」形式的计数循环改写为「for i in range(N):」；R13 把 c.Set(*p, v) 迁移为 *p = v、c.Set(a, b) 迁移为 a = b（c.Set 是正在退化的路径）。

验证：bootstrap 三重重编 SUCCESS（无 vast_c 解析回退）；全量 77/77 顺序回归通过（WebTest 首轮网络超时，单独重跑通过）。
 2026-10-05 15:33:58 +08:00
TermiNexus 0f4aeeceff docs(tpv): R11 注释与 docstring 英文化并压缩到 2 行内 
按 wiki/新规范：注释只讲作用、不掺杂历史原因、避免超长、尽可能英文（含三引号 __doc__）。全文 79 个 .vp：# 注释 16269 行（中文 13808）与 docstring（中文 1381 处）全部改英文；超 2 行的注释块（2093）与 docstring（397）全部压到 2 行。运行时可见文本未动（fatal_error/VLogger 的中文报错文案、stdio.printf 的横幅格式串）。校验：屏蔽注释与三引号后逐行比对各文件代码骨架，0 漂移。验证：自举重建 153.48s 通过（跨模块内联完成）；TPV 顺序回归 77/77 全通过。
 2026-10-05 13:38:22 +08:00
TermiNexus f2ef1bb240 refactor(tpv): 新语法 R10 括号内隐式续行并一行（1140 处 / 67 文件） 2026-10-05 07:14:14 +08:00
TermiNexus 4a685d478f refactor(tpv): 新语法 R10 单语句块并一行（7722 处 if/for/while 单语句体） 2026-10-05 03:10:55 +08:00
TermiNexus 185a2196ca refactor(tpv): 迁移新语法 R1/R2/R7/R8/R3/R4/R5（指针 T*、短别名、define、&/*、__asm__） 
按 wiki/新规范：
- T | t.CPtr → T*（无 | 标准）
- t.CInt/t.CUInt64T/t.CChar/t.CDouble 等 → int/uint64/char/double 等短别名
- X: t.CDefine = Y → define X = Y
- c.Asm → __asm__，c.AsmInp/c.AsmOut → asminp/asmout，t.ASM_DESCR. → ASM_DESCR.
- c.Addr(x) → &x，c.Deref(p) → *p，c.DerefAs(p, v) → *p = v

种子自举通过（96s）。
 2026-10-04 22:49:01 +08:00
TermiNexus 68cd5f2f90 fix(tpv): __new__ 截断条件放宽到 nn_pc>=1（源侧 __new__ 可无参数） 
OopInheritTest 报：
  error: 'llvm.call' op incorrect number of operands (4) for callee (expecting: 1)
      %16 = llvm.call @"...Vec3.__new__(%0, %5, %10, %15) : (!llvm.ptr, f64, f64, f64) -> !llvm.ptr

源码 `def __new__() -> 'Vec3' | CPtr:` 无参数（TransPyV 只注入 self），
__init__(self, x, y, z) 才收 x/y/z。上一提交的截断条件写成 nn_pc > 1，
nn_pc == 1 时被跳过 ⇒ 仍多传 3 个。放宽为 nn_pc >= 1（裁到只传 self）。

验证（均已跑通）：
- OopInheritTest：PhaseB 编译完成 → PhaseC 产出 OopInheritTest.exe → 完成
- SlotsBugTest：同上（无回归）
 2026-10-04 20:15:37 +08:00
TermiNexus 58cfe2346e fix(tpv): __new__ 调用按被调方签名截掉多余尾参 
mlir-opt 报：
  error: 'llvm.call' op incorrect number of operands (8) for callee (expecting: 7)
      %245 = llvm.call @a959d1abdb31a471.FunctionDef.__new__(%35, %239, %240,
             %241, %242, %243, %is_async, %244) : (...) -> !llvm.ptr

定义/声明侧（ast/stmts.vp vpi 核实）：
  FunctionDef.__new__(self, pool, name, args, decorator_list, returns, is_async)
      = 7 个形参（非-self 6）
  FunctionDef.__init__(..., is_async, type_params = None)
      = 8 个形参（非-self 7，多出的 type_params 有默认值）

根因：构造器路径把 ctor 实参**全量**转发给 __new__，而 __new__ 的签名比
__init__ 短（无 type_params）⇒ 调用点传了 7 个非-self 实参，声明只收 6 个。
（临时探针实测：mdf_param_count=6 正确、封参逻辑未触发，extra_count=7 才是不匹配源。）

修复：_call_method_on_ptr 中对 method_name == "__new__" 且已找到 declare 时，按被调方
非-self 形参数截掉多余**尾参**（这些尾参 __new__ 本就不接收，语义上由 __init__
消费；__new__ 只负责分配存储）。探针已删除。

验证：python ./TransPyC/Projectrans.py --project ./TransPyV/project.vpj --clean
      --rebuild-includes --clear-cache 重编通过；
      ./TransPyV/output/TransPyV.exe --project ./Test/SlotsBugTest/project.json
      PhaseB 编译完成 → PhaseC 产出 SlotsBugTest.exe → TransPyV 完成。
 2026-10-04 20:09:21 +08:00
TermiNexus 7b3e814524 refactor(backend): 单端 MLIR —— 发射器全树改名 mlirlite 并删除 --backend 开关 
- App/Test 的 .vp 中 llvmlite 全部改名为 mlirlite（import、限定名、类型注解、注释）

- 删除后端开关：Config.set_backend/is_mlir_backend/alias_module_name、BackendTarget/BackendIsMlir、CLI --backend、options.backend/options.target 读取，以及 IncludesScanner/StubMergerIR 的模块别名调用

- BuildPipeline 的 mlir-opt -> mlir-translate 降级管线去掉开关门，改为恒执行

- backend_dir_suffix 改名 mlir_dir_suffix 并恒返回 _mlir：TempDir/OutputDir/includes 缓存继续落在 *_mlir，避免复用旧 LLVM 后端的 .ll/obj

- project.vpj 删除已失效的 options.target
 2026-10-03 19:26:24 +08:00
TermiNexus 78d3941f7d refactor(call): 跨模块返回类型解析改以 .vpi 为权威，text.ll 降为回退 
将 8 处跨模块方法/函数返回类型解析的 text.ll → vpi 顺序对调为 vpi → text.ll：
- CallGenProp：属性方法调用
- CallGenMixin：跨模块裸名 CExport、from-import 函数
- CallGenCall：跨模块方法、类方法调用、self 方法调用（含 MRO 祖先链重试段整体搬移）
- CallGenDispatch：__len__ 跨模块、泛型 Mixin 方法

本模块 found_func / local_fn 取当前 IR 声明类型的路径保持不变。
去 IR 化步骤②；未编译验证。
 2026-10-03 08:10:34 +08:00
TermiNexus 1ad7abf33d refactor(TransPyV): 统一自举写法（novirtual / define / rawptr→* / 去续行反斜杠） 
- @t.NoVTable class X → novirtual class X
- t.CDefine = N → define N
- rawptr[X]、X | t.CPtr → X*
- t.CPtr → rawptr（裸指针标记）
- t.Callable[...] → callable[...]
- 去掉 if/elif 条件的行续反斜杠（改单行写法）
- w32.win32file.X → win32file.X（已 import as）
- core/__init__.vp 去掉未使用的 import t, c / from stdint import *

涉及：CompilerFactory、IncludesScanner、Repl、core/__init__、
Gen/Call/{CallGenBase,CallGenCBuiltin,CallGenCall,CallGenDispatch,CallGenLeafKit}、
Gen/Class/ClassGenGeneric。
 2026-10-02 02:16:37 +08:00
TermiNexus f748cae562 fix(TPV/CallGenCall): 判据化重加兄弟 Mixin 方法解析（修 NoVTableCrossMixinTest 未定义符号） 
现场：Test/NoVTableCrossMixinTest 链接期报
  ld.lld: error: undefined symbol: 1e19037e6cfdce36.BaseB.helper
    >>> referenced by ...(1e19037e6cfdce36.BaseB.caller)
  ld.lld: error: undefined symbol: 1e19037e6cfdce36.MixinC2.mid2
    >>> referenced by ...(1e19037e6cfdce36.MixinC2.outer2)

这是 455c760 删除"兄弟 Mixin 兜底"的必然结果：NoVTable 多继承下，Mixin 内的
self.<兄弟方法>()（Combined(BaseA, BaseB) 中 BaseB.caller 调 BaseA.helper）本类
MRO 查不到、跨模块 stub 也没有 ⇒ 调用名退化成 {sha1}.BaseB.helper（该符号不存在）。

改动（不是恢复原兜底，而是**判据化解析**，不做"同名即绑"的猜测）：
- CallGenCall._translate_method_call：在自身 MRO 查找失败后新增兄弟 Mixin 解析，
  两条**正向判据**缺一不可：
    ① 接收类必须是某个已注册类的**直接父类**（它确实被组合使用，是真 Mixin）——
       挡掉 includes/w32/fileio.vp 的 FileW.__init__ → self.seek() 误绑 File.seek
       （FileW 无人继承，不是任何人的 Mixin）；
    ② 候选类与接收类必须同处某个已注册**组合类的 MRO**（真·兄弟）。
  命中后 found_func / mc_anc 都指向定义类 ⇒ 调用名用定义类 SHA1 前缀（符号存在），
  this 由既有的 mc_anc this-adjust 分支按组合布局前移（该分支未改动）。
  只取**本模块内已有函数**的候选（跨模块定义类需经其 text.ll 取签名，本轮不启用）；
  接收类为跨模块类时不启用（沿用原 sib_recv_local 守卫，避免误绑跨模块同名方法）。
- 新增两个判据辅助方法：_recv_is_mixin_base / _mixin_sibling_same_composite。

待验证：重编译 TransPyV（自举两遍）→ NoVTableCrossMixinTest / WebTest / FileIoTest。
 2026-10-01 15:00:55 +08:00
TermiNexus 455c7608b1 fix(TPV): 方法先声明后定义（消除方法查找的源顺序依赖），删除兄弟 Mixin 兜底 
现场：Test/FileIoTest 编译 includes/w32/fileio.vp 报
  CastError: 源 %"b0721da228be3d55.FileW"* → 目标 %"b0721da228be3d55.File"*
  （指针隐式转指针已禁止：被指类型是非基本类型）

根因（有旧 IR 佐证，非本轮改动引起）：FileW.__init__（源 304 行）里的
self.seek(0, SEEK_END) 被解析成 File.seek，而不是 FileW.seek：
  1) _translate_method 只在方法体翻译时才 create_function，于是方法查找
     （find_func_in_module）依赖方法在类体内的书写顺序：FileW.seek 在源 403 行，
     晚于 __init__ → 查不到 → None；
  2) MRO 无父类 → None；
  3) 兄弟 Mixin 兜底随即遍历全部已注册 struct，取"本模块存在同名方法"的
     第一个候选类 → 命中 File → 绑成 File.seek，self 再被 this-adjust
     bitcast 成 File*。
旧 IR（TransPyV\.tpv_build\temp\b0\b0721da228be3d55.text.ll，mtime 9/27，
早于本轮全部改动）里就是：
  %97 = bitcast %"...FileW"* %96 to %"...File"*
  %98 = call i32 @"...File.seek"(%"...File"* %97, i32 0, i32 2)
即靠一层隐式跨类 bitcast 静默通过；指针规则收紧后以 CastError 报出。
（File.__init__ 的 self.seek 同样查不到，只是兜底恰好扫到 File.seek 而"碰巧正确"。）

改动：
1. ClassGenVTable._translate_oop_methods：翻译方法体之前，先对本类**全部方法**
   跑一遍 sig_only=1 建前向声明（declare + 参数 + 函数表登记）——与
   FuncGenDef.forward_declare_functions 对模块级函数做的事完全同构，
   使方法查找不再依赖类体内的书写顺序。
2. ClassGenVTable._translate_method 新增 sig_only 形参：
   · 签名部分改用 create_declare（IsDeclared=1），已存在同名前向声明则复用；
   · 发射函数体前把 IsDeclared 清零转 define（对齐 FuncGenDef.vp:544-545），
     否则打印端按 IsDeclared 输出 declare、函数体整体丢失；
   · 复用声明时跳过重复的 add_param 与 add_func_to_table；
   · 命中同名函数且 IsDeclared==0（函数体已发射）时直接返回，杜绝重复发射
     （llvmlite.create_function 不做同名去重，旧写法会造 duplicate symbol）。
3. CallGenCall._translate_method_call：按"不兜底、fail-fast"决定，整块删除
   兄弟 Mixin 兜底（遍历 struct 表猜候选类）及其死分支
   （mixin_hit / mixin_ret_ty / mixin_anc_name / mixin_anc_sha1 的声明与消费点）。
   方法未命中即为真未定义，交下方 text.ll / vpi / 本模块豁免路径
   （CallGenCall.vp:962 起的 is_local_mod 分支，从已声明的本模块函数直接取
   返回类型）处理，不再猜候选类。
4. 同步修正 ClassGenVTable 顶部 _translate_method 的注释块与函数文档串。

TPC 侧无需同步：TPC 的声明阶段把类成员全部登记进 SymbolTable，本就不存在
"方法查找依赖源顺序"，也没有这段兄弟 Mixin 扫描（HandlesExprCall.py:3877-3914
的兜底带"调用类自身未声明该方法"守卫，与本次删除的 TPV 版不同）。

待验证（不自行执行编译命令）：重编译 TransPyV（自举需编两遍），再跑
FileIoTest / NoVTableCrossMixinTest / DictTest / 泛型相关测试。
 2026-10-01 13:45:10 +08:00
TermiNexus aa52cf157d revert(transpyv): 回滚跨模块链表 Next 改访问器（改由编译器沿继承链解析字段名） 
回滚 13080f6 的 110 处访问器调用，恢复裸字段访问 `x.Next`。

理由：该批访问器是把访问移到定义模块内执行，**绕开**了"继承字段名解析"，
属于规避而非修复；缺陷本体在 TPC 侧（导入侧继承展平把泛型基类的继承字段
记成 __inherited_N 占位名，名字丢失）。TPC 已按语义修正：
  · e6451a07 继承展平沿继承链取真实字段名（泛型特化回退模板名），
    展平表直接落 `[("Next", <槽位类型>), ...]`，属性访问是普通表命中；
  · 3ca46c01 顺带修掉 _get_or_create_struct 里"同名枚举成员遮蔽类定义"的 i32 出口。
因此源码侧恢复为唯一写法（裸字段访问），由编译器负责解析。

注：本 commit 只回滚访问器；13080f6 里夹带的 CallGenProp.vp 续行合并（非访问器改动）
已在工作区保留（未提交）。
 2026-09-28 21:48:53 +08:00
TermiNexus 13080f646f fix(transpyv): 跨模块链表 Next 字段改用访问器（消除 __inherited_N 占位名 fail-fast） 
c 源码违规：llvmlite 的 Value/ParamNode/Function/Param/GlobalVariable/PhiIncoming/
SwitchCase 的 Next 继承自泛型基类 GSListNode[T]，而其泛型特化体不在任何 .vpi 中
⇒ 导入侧 class_members 只有 __inherited_N 占位名；严格属性解析（回退已移除）下
裸写 `x.Next` fail-fast。现场：CallGenCall.vp `cur_fb = cur_fb.Next` 报
"[fast-fail] 属性 Next 在类 ParamNode 中找不到（class_members=[__inherited_0, Ty]）"。

按仓库既有约定（_Type.md：链表遍历用 paramnode_get_next/paramnode_set_next；
VarGenMixin/TypeSpec/StructGenMixin/VpiReader 等已如此书写）统一改为访问器：
  value_get_next/value_set_next、paramnode_get_next/paramnode_set_next、
  function_get_next、param_get_next、globalvariable_get_next、
  phiincoming_set_next、switchcase_set_next
覆盖 24 个文件共 110 处（含 CallGenProp.vp:122 的嵌套读 cur_arg_pc.Next）。

访问器在 includes 侧为定义模块内直通实现（None 守卫 + x.Next），语义等价、零行为
变化。已全量扫描 core\Gen 全 47 文件与 Stub/Phase/core/main：App 侧已无裸继承字段
访问（剩余 .Next 命中全部在注释里）。
 2026-09-28 21:20:58 +08:00
TermiNexus 825fe6d326 fix(TransPyV): 指针 cast 的跨层 idiom 修正：(str | t.CPtr)(x) → rawptr(x) 
c 类（源码违规）：(str | t.CPtr)(x) 按既定语义 = i8**（char**，指针的指针），

而这些位置要的是 i8*。TPC 的 return/赋值检查现在按声明精确校验（本次即

TypeGenResolve.vp:1221 `return (str | t.CPtr)(v)` 声明返回 i8* 却 return i8** 被抳下），

该 idiom 在旧的无条件 bitcast 下一直不可见。

改法：86 处 (str | t.CPtr)(X) → rawptr(X)（rawptr 是 t.CPtr 的内置名，同为 i8*；

整数操作数走 inttoptr，指针操作数走 bitcast）。不用 str(X)：整数操作数会编译成 itoa

（Gen/FuncGenMixin.vp:1159 注释已记录该陷阱），精确类型仍由使用处的 `: str` 标注承担。

保留 4 处本就该是 i8** 的用例（未改）：Converter.vp:820（_g_pyi_cdef_names 声明为

str | t.CPtr 的指针数组）、CallGenCBuiltin.vp:1194/1215（声明即 str | t.CPtr）、

1411（先 cast 再 [0] 取首元素）。

另：Gen/Type/TypeGenResolve.vp:1221 手工改为 return t.CPtr(v)（该文件含你的未提交改动，未一并提交）。
 2026-09-28 18:43:59 +08:00
TermiNexus 23428b63a5 fix(CallGenCall): 虚表/函数类型参数链表节点误注解 Function* → ParamNode*（Vipeye 143/146/179/184） 
includes/llvmlite/__types.vp: new_param_node -> rawptr[ParamNode]、paramnode_set_next/Struct/Func 的 params 形参均为 rawptr[ParamNode]；本处 vt_first/vt_prev/pn/fp_first/fp_prev/fpn 误注解为 llvmlite.Function*（不相关类）⇒ paramnode_set_next / Struct / Func 三处实参被判 struct↔struct 隐式转换禁止。

修法：6 处注解改 llvmlite.ParamNode*（改类型即根治，不用强转）。
 2026-09-28 17:04:57 +08:00
TermiNexus 9c427aa548 fix(CallGenCall): 拆开 vtable_base 类型推断的变量复用（LLVMType* 与 StructEntry* 不可同一变量） 
严格指针规则下 struct↔struct 隐式转换已禁止（仅允许派生→基类上转），原写法把 get_struct_type_from_value 的返回（LLVMType*）赋给 vc_entry: StructEntry* 再转手交给 find_struct_by_type，靠的是旧的无条件 bitcast。

改为各用独立变量（vb_ty / sp_ty），语义与改前逐字一致（仅去掉两次隐式 bitcast）。
 2026-09-28 16:54:25 +08:00
TermiNexus cf815b17de feat(gen): volatile 构造写入落 LLVM volatile（逐字段 store + 构造三方法屏障） 
值位置 volatile 前缀（a: int = volatile f() / a: S = volatile S(...)）此前只在调用点无落点。LLVM 的 call 指令没有 volatile 限定符，故语义只能落在内存存取上：

- AssignGenMixin：赋值目标的结果槽按 volatile 存取（本次 store 立即带 volatile，并登记 VarEntry.IsVolatile 使后续 load/store 亦带）；对已存在的 global/nonlocal/mod_glob 条目在分支前统一登记。

- CallGenCtor：_translate_struct_ctor / _translate_struct_ctor_kw / _translate_renum_construct / _apply_struct_defaults 增加 is_volatile 参数，清零、tag、默认值、逐字段 store 全部带 volatile；_translate_generic_ctor_call 直接从 cl.IsVolatile 取。

- CallGenCall._call_method_on_ptr 增加 is_volatile 参数：__new__/__before_init__/__init__ 的写入发生在被调函数内部，调用点无法逐条附加 volatile，故在调用后对该 self 指针追加一次 i8 volatile load 作为内存屏障，使构造写入不被优化器消除或跨越重排。

- CallGenMixin / CallGenDispatch：结构体、关键字、泛型、REnum 构造调用点统一透传 cl.IsVolatile。
 2026-09-27 12:01:22 +08:00
TermiNexus 951b89be36 修正了部分代码的表达方式，最后可用版本，正在为 mlirlite 做准备 2026-09-23 16:09:32 +08:00
TermiNexus a5ceb3d4eb 增加 JIT REPL 2026-09-21 16:17:19 +08:00
TermiNexus 9910e05760 修复了一些错误，更改了一点语法 2026-09-18 20:00:40 +08:00
TermiNexus 9e2ccbfab7 将部分 | t.CPtr 修正为 rawptr[T] 2026-09-18 17:56:24 +08:00
TermiNexus cb0836de8a 清理了 t.CVoid 2026-09-16 16:06:48 +08:00
TermiNexus 9a191daa8d 错拼 rowptr 改为 rawptr 2026-09-16 11:42:28 +08:00
TermiNexus 7cba4cbc95 chore: 清理超长历史注释，并一并提交并行会话的代码改动 
注释清理（65 文件 / 约 -2578 行 / 约 516 处）：删除/压缩叙述式历史注释——多行根因叙事、工作代号段（D25/D30/N11/B5/S4/阶段E 等）、改前改后与先例叙述、逐条推导块，压成一行讲清作用信息；契约类注释（用途、参数与返回、关键约束与不变量、IR 结构说明）与被注释掉的代码一律保留

存疑 标记 6 处一字未动：StubMergerStore.vp、VpiReader.vp、VLogger.vp、AssignGenMixin.vp、CallGenLib.vp、CallGenLeafKit.vp

本次一并带入并行会话的代码改动（同批文件，按文件粒度无法拆分）：fileio.File -> rowptr[fileio.File] 等

已知副作用/残留：① CallGenDispatch.vp 有 2 行非注释行的行尾被 LF->CRLF 规范化（纯字节变化，无文本改动）；② core/Gen 区约 24 处压缩因并行会话整文件覆写被写回原样，尚未生效（StmtGenCifMixin/ClassGenVTable/FuncGenDef/ClassGenEnum/StructGenMixin/TypeSpec 等）

清单与复跑判据见 Debugger/comment_cleanup_summary.md（该目录不受版本控制）
 2026-09-16 11:27:05 +08:00
TermiNexus b28f20cce7 chore: 清理调试打印与失效 import 
CallGenCall.vp: 前次清理 DBG 打印后 import stdio 已无使用者，删除（该文件全文无 stdio. 调用，亦无经本模块的外部访问）

Test/App/nested_match_test.vp: 删除 _init_mbuddy 与 test_single_match 中的 8 处 [DBG] 进度打印；该测试的判定只看 --- Test N --- / OK / FAIL 行，test_main.vp 亦只取返回码，无断言引用这些文本

未改动任何逻辑（保留 FAIL: malloc for arena failed 等错误分支的真实输出）
 2026-09-16 10:32:40 +08:00
TermiNexus 429de97083 fix(call): 泛型特化类跨模块 declare 按模板 vpi 注解对齐形参口径 
特化名（{sha}.list[str].__init__）在 vpi 参数注解缓存中无精确键——键段取自 class 行文本，只存模板 list[T]——定义侧形参注解取不到，调用点 declare 停在调用点实参口径（elem_size 字面量 i32 vs 定义侧 t.CSizeT=i64；池实参 MemBuddy*/i8* vs 定义侧 MemManager*），并经 .stub.ll 传播到未调用该函数的消费方模块

新增 VpiReader._resolve_vpi_param_annot_seg_template：按 {sha1}.{base}[T].{method} 定位模板条目、用特化实参替换段内类型形参 token 后再解析，未命中返回 None 不兜底；_coerce_args_to_def_params 在精确键未命中且类名含 [ 时改走模板退查并置 tpl_src，使 _coerce_arg_value_to_ty 对同为具体结构体指针但基类型不同补 bitcast；_call_method_on_ptr 的跨模块分支补建 declare 前的 coerce（先例 a83d183 的三处调用点）

同时把 {sha}.{cls}.{method} 的切分由首个 . 改为末个 .（CallGenLib/CallGenBase 两处）：method 不含 .，首个 . 会把含模块限定名的类型实参截断（list[3571eabe5a83d798.AST|t.CPtr] 截成无 ] 的类名 ⇒ 模板退查必 miss）

另修 VpiReader 一处 double-free：_subst_template_arg 早退分支返回入参本身，替换前释放原缓冲需先判同一性（三条路径各释放一次）

效果: 危险级签名不一致 TransPyV 8->4->0、Test/AstTest 6->2->0，ZlibTest/WebTest/FakeDuckTest/ListTest/GenericTest2/VectorGenericTest 保持 0；4 个目标符号 define/declare 共 148 处全部统一为 MemManager*+i64（0 处旧口径）；自举达全树逐字节不动点（exe sha256 相同、temp/** 635 文件零差异）；AstTest 及既有测试全 PASS 且无 ASan 报告
 2026-09-16 09:31:57 +08:00
TermiNexus a83d183abb fix(gen/call): 跨模块调用 SSA 整型实参按定义侧形参扩宽 
declare 由调用点实参链建立，而 _coerce_arg_value_to_ty 对非常量(SSA)整型此前原样返回，导致 declare/call 停在调用点窄宽度(string.strncpy 第三参 i32)，与定义侧(vpi 注解 n: t.CSizeT => i64)不一致，并经 .stub.ll 传播到未调用该函数的消费方模块

现按源符号性 zext/sext 扩宽(真源 ExprGenBase._zext_or_sext_val，先例 CallGenCtor._translate_t_type_cast)，实参 AST/trans 下传；self_off 模块级 0、方法 1

效果: WebTest 危险级签名不一致 1 => 0
 2026-09-15 23:58:40 +08:00
TermiNexus a9819e4123 fix(gen): 方法分派与 list 内建判定改用接收者实际特化名，根治 list[int].get 截断 
_translate_method_call 原以注解来源 class_name 构造被调名；同一函数作用域内同名变量被声明/赋值两次时该名退化（get_class_name_by_type 的类型后缀匹配会把 list[sha.AST] 误判为元素类 AST），使 list[ast.ASTptr].get 被误绑为 list[int].get（返回 i32）后 inttoptr 截断指针，读垃圾 AST 节点崩溃（MatchGenMixin._handle_renum_match / _handle_simple_match）。

现统一以接收者实际 LLVM 结构体类型名（IR 真值）为准：基名为泛型模板时，含类型实参则以实际特化名覆盖；退化为裸泛型基类则 fail-fast（D25 口径，禁止静默默认 list[int]）。

抽出 CallGenProp._strip_module_sha1_prefix / _resolve_generic_receiver_name / _is_list_builtin_receiver 共用实现；CallGenDispatch 8 处 list 内建判据同步改为基于接收者实际类型（真实 list 命中与 __elem_size__/hit_box 行为不变，实际类型不可得时保留注解名回退）。lookup_name 缓冲改为按精确长度分配。
 2026-09-13 21:11:33 +08:00
TermiNexus 76df3f0225 perf(gen): 结构体/类型查找去线性化并守卫全量遍历残量 
StructGenMixin: 加「名 | Ty 指针值 -> 首注册下标」索引，find_struct/find_struct_by_module/find_struct_by_type 走 O(1) 快速路径；每次注册占槽保序，中和/改名后键不等自然跳过，未命中或索引不可信回退原扫描。并补 _struct_name_hash/_struct_ty_hash（32 位 FNV，常量均小于 2^63 以避开大十进制字面量解析风险）。

TypeSpec.InternSpec: 加「文本键 -> 驻留下标」开放寻址索引，去重由 O(n) 降为期望 O(1)；命中返回原同一实例，注册顺序/容量 fail-fast 语义不变。

register_struct/lookup_field/get_class_name_by_type 的按 Ty 指针首匹配改走 find_struct_by_type；CallGenLeafKit/CallGenCall 的按序号全量遍历补守卫注释（避免后续误改为按名查找）。
 2026-09-13 18:56:16 +08:00