GVSDS/TransPyC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
398 Commits 1 Branch 0 Tags
2aa55f36b9afd07e06407a6478d32bccb810dfa9
Commit Graph
23 Commits
Author SHA1 Message Date
TermiNexus 2aa55f36b9 fix(LLVMCG/Handles): GEP 基址 opaque 时按同短名找已具化孪生体并 bitcast；守卫报文补实例清单 
现场：includes/ast/astaux.vp:165 `self.arg = _copy_str(pool, arg)` 的基址 pointee 是
opaque 的 `%"<sha1>.Keyword"*` —— 同一类名常有两份 struct 实例（短名 'Keyword' /
sha1 全名 '<sha1>.Keyword'），"函数签名里的 self 用哪一份"与"StructGen 具化的是哪一份"
并不保证一致 ⇒ GEP 无法在编译期算元素类型（llvmlite 抛裸 TypeError），
_GuardIrBuilder 的 opaque 守卫先行 fail-fast。

改动：
1) 新增 BaseGen._FindConcreteTwin：按**同短名**（IR 全名相同者优先）在 structs 里取一份
   已具化实例（元素最多者），与既有"同名实例取字段最多版本"（HandlesAssign:1156-1163）
   同一判据；返回 None 表示确无孪生体（真因 = "body 从未 set_body"）。
2) 写入路径 HandlesAssign（`self.字段 = ...`）：pointee opaque 时 bitcast 到孪生体，
   并把它同时用作 struct_type 与 `_get_member_offset` 的 hint ⇒ 偏移与 GEP 同源。
3) 读取路径 HandlesExprAttr._gep_and_Load_member 共用同一工具函数（读写两路同判据，
   避免"写修了读没修"再吃一轮）。
4) opaque-GEP 守卫报文补"同短名 struct 实例（key(IR 名)=槽数）"清单：清单含已具化项
   ⇒ 属"偏移与 GEP 未同源"；全是 opaque ⇒ 属"body 从未 set_body"——一次报文即可判定是哪一侧。

找不到孪生体时**不兜底**：仍由守卫 fail-fast 并报出实例清单（本仓"不许静默兜底"约定）。

验证：py_compile 通过（BaseGen / HandlesAssign / HandlesExprAttr 三文件）。
 2026-09-30 11:57:07 +08:00
TermiNexus a18ca4da3b fix(ExprAttr): 嵌套属性读的每个 silent return 都留痕（含内层失败原因链），Repl.vp:802 类错误不再只能看到"基座形态" 
类别：a 编译器缺陷（可观测性补齐：报错点与真因相隔数层）

现象：TPC 编译 TransPyV/App/lib/core/Repl.vp:802
  `ct_names: list[str]* = GenApi._g_gen.TypeGenCType.CTypedefNames`
报「带注解赋值表达式 …（Attribute 形态）编译期求值为空（表达式未解析出目标、无值可存）…
赋值将被跳过」，报文里只有「基座形态=Attribute(.TypeGenCType←Attribute(._g_gen←Name(GenApi)))」，
看不出是三级链的哪一级失败、为什么失败。

判据：`_handle_attr_nested`（多级属性读）里有 7 处 `return None` 是**静默**的，而
`Gen._LastAttrNone`（`_NoteAttrNone` 记账，供 `_DescribeAttrBase` 回显"读取侧原因"）只在
`_handle_attr_name`/`_gep_and_Load_member` 一侧登记 ⇒ 本函数的失败在报文里完全没有原因。
且嵌套读取时**内层**的记账会被外层覆盖，即使内层登记了也回显不出来。

修法（纯记账，不改任何判定/IR）：
1. `_handle_attr_nested` 的每处静默 return 都调 `_NoteAttrNone` 记下**具体事实**：
   · 基座求值为空/非指针 → 附 type + **内层链的失败原因**（把 `_LastAttrNone` 里"字段名不同"
     的那条记录串进来，形成原因链）；
   · 类名提示未命中 Gen.structs 键（报 structs 键数）；
   · struct 实例类型异常；
   · body 仍 opaque 且无泛型特化成员；
   · **字段在类中取不到偏移**（报成员表项数 / body 槽数 —— 跨模块成员表缺失或漂移的关键判据）；
   · 槽是 void 占位；
   · 结构体分支 pointee 未匹配任何类（报 structs 键数）。
2. `_DescribeAttrBase` 的回显键是 (字段名, 类名)，本次登记与报错节点一致 ⇒ 下次同类报错将
   直接给出"读取侧原因=…"，一轮定位到级与因。

验证：py_compile EXIT=0。真因证据（同一现场、另一侧）：`TypeGenCType` 类体一个字段都没声明，
5 个字段全靠方法体裸 `self.x = ...`；其 .vpi（temp/05d515186a7c3668.vpi）里确实没有
CTypedefNames —— 跨模块成员表缺该字段即本次链断之处，已在 TransPyV 侧按"跨模块可见字段
必须在类体声明"补上（见另一仓 commit）。
 2026-09-30 09:59:27 +08:00
TermiNexus 415916b3dd fix(tpc): 成员偏移以「实际 GEP 用的 struct 实例」为准，并报出双实例不一致 
类别：a（编译器缺陷 —— 偏移与 GEP 不同源，整类字段偏移平移）

现场：TransPyV/App/lib/core/Gen/Class/ClassGenGeneric.vp:346
    return ast.Constant(pool, cnst.const_kind, cnst.int_val, cnst.float_val,
                        cnst.str_val, cnst.lineno, cnst.col_offset)
报「调用参数类型不匹配：指针类型 %"c772afbbfd495aca.MemManager"* 不能隐式转换为
整数参数 i32」，逐项列表显示实参 [6]（= cnst.lineno）求值成 MemManager*。

取证（TransPyV/temp/5df907d3a02a0bac.stub.ll:21/:23）：
  %"…Constant" = { [0]i8*(vtable) [1]AST*(parent) [2]MemManager*(pool)
                   [3]i32(lineno) [4]i32(col_offset) … }
  __new__(Constant*, MemManager*, i32, i64, double, i8*, i32, i32)
成员表扁平序为 [parent, pool, lineno, col_offset, …] ⇒ base=1 时 lineno 偏移 3
（正确），base=0 时偏移 2 = pool，正是报出的那个指针类型；而 col_offset 偏移
3 落到 lineno 仍是 i32，所以**只有 [6] 报错** —— 与现象逐位吻合。

根因：FuncGen._member_base 的布局取自**类键** self.structs[cls]，而 GEP 用的是
**取值处** ObjVal.type.pointee 那一份实例。同名类双注册（或一份已从 stub 加载完整、
另一份仍 opaque）时两份布局不同 ⇒ 用一份算偏移、用另一份读，整类字段偏移平移。
_class_has_vtable 对跨模块 AST 类恒为 False（其 docstring 已记录该已知静默路径），
base 只能靠 delta + 类型校准救回，两实例不同源时即失守。

改动：
1. FuncGen._member_base(ClassName, StructHint=None)：hint 为**同类**（短名相同）的
   struct 实例时，以它计算 delta / 首元素 vtable 判据 / 类型校准；当它与类键上的
   实例不是同一对象时，每类一次 vlog().warning 报出两侧名字与元素数（opaque 或
   元素数），使"双注册"这一事实不再静默。
2. FuncGen._get_member_offset(..., StructHint=None) → _BaseNow() 透传（base 仍现算，
   不缓存）。
3. HandlesExprAttr._handle_attr_name：把 ObjVal.type.pointee 作为 hint 传入。

不传 hint 时行为与改前逐字一致；其余偏移消费点（字段写入 / 构造初始化等）本轮未动。
 2026-09-29 18:18:49 +08:00
TermiNexus 935a5b372b fix(tpc): 属性读取返回 None 时登记「确切原因」，5 个 return None 点不再同义 
类别：a（编译器缺陷 —— fail-fast 报文缺根因区分，5 个不同故障同报"求值为空"）

现象：`self.Gen.ExprGen.translate_value(builder, pool, mod, ie.orelse, ...)`
（ExprGenOps.vp:97）报「调用实参编译期求值为空」，而同函数同对象的 `ie.test`
（:43）、`ie.body`（:78）求值正常。三个字段在 `IfExp` 布局里是**连续三槽**
（stub: %"…IfExp" = { i8*, AST*, MemBuddy*, i32×4, list*, AST*(test),
AST*(body), AST*(orelse) }，共 11 元素），只有最后那个失败 ⇒ 必然是"偏移越出
body 元素数"这一类，但报文只说"求值为空"，无法与"类名未解析 / 基座求值为空 /
结构体未匹配 / stub 无 body"区分。

改动（纯取证，不改变任何判定与 IR）：
1. HandlesBase 新增 `_NoteAttrNone(Gen, ClassName, AttrName, Reason)`：把
   `(类名, 字段名, 原因)` 记到 `Gen._LastAttrNone`。
2. HandlesExprAttr 的 5 个 return None 点全部登记：
   - `_gep_and_Load_member`：偏移为 None；**偏移越界**（附 offset / body 元素数 /
     st 版元素数 / 成员表项数）。
   - `_handle_attr_name`：类名未解析；基座自身求值为空；结构体未匹配（附 ObjVal
     类型）；stub 无 body；槽位越界（附 offset / pointee 元素数 / st 元素数）。
3. `_DescribeAttrBase` 追加三项事实：`struct body 元素数`、`字段 X 计算偏移`
   （`_get_member_offset`，异常则报异常类型）、以及与被报节点 (类名, 字段名)
   一致时回显 `读取侧原因=...`（不一致不回显，避免嵌套读取的旧记录冒充）。

依据：字段名在成员表里能找到却没读到值，只可能是"偏移 ≥ body 元素数"
（`_get_member_offset` 找不到字段时已 fail-fast，不会返回 None）；因此
`偏移/body元素数/成员表项数` 三个数字是判定该情况的唯一依据，必须一次报全。
 2026-09-29 17:46:58 +08:00
TermiNexus fd212b3ff8 fix(tpc): 联合强转 (T|t.CPtr)(x) 及其属性访问失败改为 fail-fast（附判定依据） 
类别：b 机制漏豁免（把静默 return None 改成响亮失败并带证据）。

现场：TransPyV lib/core/Gen/Expr/ExprGenBase.vp:360 的
v = (ast.Expr*(node)).value 报“赋值表达式 'value'（Attribute 形态）编译期
求值为空”，而同一函数前三条 (ast.Assign/AnnAssign/AugAssign*(node)).value
同款写法正常 ⇒ 无法从报错看出是哪一步丢了类型。

两处静默返回改为 fail-fast（均只对该强转形态生效，其余路径行为不变）：
1. HandlesExprCall._HandleTypeUnionCastLlvm：目标类型串解析失败（原为
   _vlog().warning + return None）。新增 _DescribeUnionCastFailure 取证：
   MergeTypes 返回值/ToString()/异常、_ExtractTypeStrFromUnionBinOp 结果，
   以及联合中每个操作数在符号表与类登记表（Gen.structs / _struct_sha1_map /
   class_sha1_map）的命中情况 —— 直接指认“基座类名没被当成类”还是
   “CPtr 标记侧解析失败”。
2. HandlesExprAttr._handle_attr_call_result：(T|t.CPtr)(x).attr 的 5 个
   return None（基座求值为空 / 非指针 / find_struct_by_pointee 未命中 /
   结构体不透明 / 成员偏移取不到）改为 _FailFastAttrCallBase，报文含联合
   基类名与三家登记表命中、被指类型 elements、class_members 项数与目标成员偏移。

原因：(T|t.CPtr)(x) 只可能来自指针强转（parser 把 (T*)x / (T*)(x) / T*(x)
统一产成该 Call），必须有值产出；静默丢弃会让整条表达式被判为空，把
“类名解析失败 / 结构体不透明 / 成员偏移取不到”三种不同根因混成同一条报文。
 2026-09-29 12:23:54 +08:00
TermiNexus e33ac795ed fix(codegen): 指针强转基座 T*(x) 的字段写入补联合类名通道 
与读取侧 _handle_attr_call_result 的联合分支同口径：_get_attr_ptr 新增 Call 基座分支，用 _extract_union_base_class 取裸类名后 bitcast/inttoptr 回 Ptr(类) 再 GEP 成员。此前写入侧只认 Name/Attribute/Subscript，强转基座的字段写入静默返回 None。
 2026-09-27 16:02:40 +08:00
TermiNexus 58050a1ab2 fix(member_base): base 改由声明类型与 elements 的一致度校准，修整类字段偏移整体差 1 
delta 长度启发式只在成员表与布局恰好差 vtable 一项时成立；成员表多/少一个非 vtable 项时 base 判错，整个类字段偏移整体平移：ast.Constant 的 lineno 落到 pool(MemManager*)，调用点报形参 lineno: i32 收到指针，把真因掩盖成指针/整数错配

改法：对 b 属于 {0,1,2} 逐项比较成员声明类型与 elements[b+i]，取一致度最高者（完全相同 +2），仅在明显更优（至少多对齐 1 个成员）时覆盖启发式；指针槽区分度最高

同时移除上一轮临时加的运行时字段布局探针（_diag_member_layout 及其两处调用）
 2026-09-26 21:29:28 +08:00
TermiNexus 50cea6c7b3 fix(classdef,base,attr): 成员注解解析静默兜底改 fail-fast；新增按需输出的字段布局探针 
HandlesBase.CollectAnnAssignMember: 注解解析返回 None / _ctype_to_llvm 得 void / 抛异常三处静默 i32、i8* 兜底改 fail-fast，报错带成员名+注解原文+BaseType/PtrCount 现场

HandlesClassDef: 方法内 self.x: T = ... 的同类三处兜底同样改 fail-fast（带类名/成员名/注解原文）

HandlesExprAttr: 新增 _diag_member_layout（默认静默，仅当 offset 为 None / members[offset] 名不符 / 类型与 elements[offset] 不一致时打一行，上限 15 行）
 2026-09-26 21:25:52 +08:00
TermiNexus c83fc752c6 fix(sizeof,parse): 尺寸链去静默兜底，解析报错可定位，补 C 解析器缺口 
StructGen: _get_struct_size/_get_align 去 opaque→8/ptr_size、未知→4 兜底并补 VectorType；LiteralStructType.fields→.elements（llvmlite 无 fields，必然 AttributeError）

HandlesClassDef: union 载荷尺寸经不存在的 ir.DataLayout 静默退化成 8 字节；HandlesExprCall/ExprBuiltin: sizeof 各静默 0 分支改 fail-fast，数组元素 sizeof 统一走 _get_struct_size

HandlesFor: nonlocal struct/array 堆分配不再退化成 malloc(8)

vast/vast_c: 补一元 * / & 解析，装饰器后 extern/export 分派修复，C 侧报错带 token 与行号；StubGen.Converter: 宏展开丢尾随空行修 .pyi 缩进非法

其余为 rawptr 迁移 / fail-fast 口径等历史改动一并入库
 2026-09-26 19:27:22 +08:00
TermiNexus 2cc816ac13 修复了一些错误 2026-09-18 20:00:59 +08:00
TermiNexus 033c0a7771 fix(tpc): 修复 t.CVoid 清理暴露的三处类型解析缺口 
SymbolTypeResolver: 裸 t.CPtr 作 typedef 值（无联合、无下标）时按 void* 展开。_find_base_type 把 attr==CPtr 归一为小写 ptr，而守卫 _PTR_MODIFIERS 写的是 CPtr 命不中，导致 ptr 被当成类型名存进 OriginalType，最终建成 %"<模块sha>.ptr" 幻影结构体（HANDLE/VOIDPTR/DIR 报 cannot store i8* to ...ptr*）。改前 t.CVoid | t.CPtr 走 BinOp 分支恰好绕过

HandlesExprAttr: 属性访问的成员查找补继承链回退（对齐 HandlesExprUtils._get_var_class 的口径）。字段声明在基类时元素类表的键是声明类，而收件人是子类，原实现只查收件人类自身；方法调用侧早已做 MRO 查询，故 150 处 self.Gen.X.method() 未暴露。修后 self.Gen.TypeGenCType.ImportAliasBuf 可解析（该字段在基类 TypeGenBase），且此前被静默丢弃的 _register_import_alias malloc 分支恢复生效

TypeConvert._base_ctype_to_llvm: 注册表给出完整类型串（CPtr/CArrayPtr/CNeedPtr/CAutoPtr -> i8*）时不再返回 None（_llvm_str_to_ir 只认标量名），改走 _type_str_to_llvm——与同文件 _basic_type_to_llvm 既有口径一致；否则 PtrCount 循环会构造 ir.PointerType(None)（llvmlite opaque 指针，无 .pointee），在 HandlesFunctions._GetFunctionSignatureLlvm 抛 AttributeError（opendir 的 FATAL）。触发集合经全注册表扫描恰好 4 个类

等价性验证: 31614 个符号 + 37527 个真实注解点位逐条对比改前/改后差异 0 条（崩溃输入除外，由 opaque ptr 变为 typed i8**）
 2026-09-16 18:16:38 +08:00
TermiNexus 355811d64e chore(tpc): 移除属性链/调用分派错误路径的临时诊断打点 
- HandlesBase: 删除 _AttrFailDiag 现场诊断（含模块别名链逐跳 dump），恢复精简错误信息

- HandlesExprAttr: 删除 [CHAIN-DBG] stderr 打点与 [attr-diag]/[attr-diag-nested] KeyError 包装

- HandlesExprCall: 删除 Unknown module 异常的 _rc_note 诊断后缀
 2026-09-12 12:50:35 +08:00
TermiNexus ed3355202a fix(tpc): Mod.Var 链属性访问补第四条类回退（直读 var_/global_struct_class） 2026-09-12 12:42:59 +08:00
TermiNexus 0bda395ecc fix(translator,peephole): TPC 属性链解析修复与窥孔 T1-T3 收尾 
- TPC(lib/core): 泛型父特化形参按声明类登记 var_struct_class; _find_struct_key 键归一支持方括号内嵌 sha 前缀; 字段探测失败不再冒泡 FuncGen fail-fast; cast 局部通用指针槽按静态类 bitcast; 属性解析失败附诊断
- 窥孔(includes/llvmlite/__function.vp): 窥孔移至 Renumber 前使输出 SSA 编号连续; T3 no-op bitcast 消除; T4(数组 bitcast->GEP)验证干扰返回类型收敛已移除
- 附调试打点与 1.log
 2026-09-08 12:52:48 +08:00
TermiNexus 76d1ee6076 fix(compiler,peephole): TPC 属性链解析与窥孔输出瘦身 
- TPC(lib/core): 任意级属性链按链前向类解析恢复 stub 退化字段; cast 局部 rowptr[X] 登记回填; 通用指针槽按静态类名 bitcast 兜底; 赋值 RHS 求值失败 fail-fast 防未初始化变量; 报错行按源码文本锚定并附 ATTR-DIAG 现场
- 窥孔(includes/llvmlite/__function.vp): 成员访问单级链模式; 窥孔移至 Renumber 前使 SSA 编号连续; T3 no-op bitcast 消除; 替换缓冲按最坏上界分配
- __builder/__module/string.vp 配套; 清理 Test 构建产物与 PROF 杂项
 2026-09-08 11:02:37 +08:00
TermiNexus d698fad162 fix(TPC): 泛型基础类型字段访问特化，修复 GSList.Head 返回泛型占位 T* 
_handle_attr_nested 对声明为特化泛型（GSList[BasicBlock] | t.CPtr）的字段（如 Function.Blocks）访问 Head/Tail/Count 时，基础 GSList 有 body 直接按基础类型返回泛型占位 T*，AnnAssign 存储时变量被污染为 T*（var_struct_class 错设为 T），后续字段访问/while 循环体翻译静默失败 → llvmlite __function.vp _find_max_ssa_number/RenumberSSA 死循环（LLvmLiteTest Test 3 崩溃根因）。

修复：字段类型为泛型占位指针时，用 class_member_element_class 记录的特化版本 bitcast 后访问返回真实元素类型（如 BasicBlock*）；AnnAssign 兜底跳过泛型占位参与变量类型重建，防其它 T* 场景污染。
 2026-08-20 15:35:21 +08:00
TermiNexus 0e80019033 fix(subscript): 泛型 T|t.CPtr 指针槽变量优先走 i8** load，修 8fbba list[str].get 返回类型不匹配 
TPC 编译 TPV 时 _list.vp 泛型方法体 elem_ptr: T|t.CPtr = t.CPtr(...)：
T 未解析时 var_struct_class[elem_ptr] 误注册 llvmlite.Value →
_HandleSubscriptLlvm 的 elem_class 推断为 Value → cast Value* → 与
get 声明 i8* 不匹配（llc 报错）。修复：
1. _is_struct_ptr_union 放宽——泛型参数 Name（单字母大写）也判定指针槽
   联合（标量 T 退化为 Ptr(i32) 不命中 i8 分支，安全）
2. _HandleSubscriptLlvm 的 var_ptr_element 分支提前到 elem_class 推断
   之前——T|t.CPtr 指针槽变量优先 i8** load i8*（8 字节）
 2026-08-18 10:12:06 +08:00
TermiNexus 6fc9e19e24 feat(vast): 新增自研 Viper/Python 语法解析器取代标准库 ast 
TPC 侧取缔对 Python 标准库 ast 模块的依赖，改用 lib/vast 包：
- Nodes: 与 CPython 3.12 ast 完全同构的 131 个节点类(含抽象基类继承)
- Tokenizer: 词法分析(缩进/字符串/f-string/数字/运算符/软关键字)
- ExprParser: 表达式递归下降解析(优先级/lambda/推导式/f-string/切片)
- Parser: 语句解析(def/class/if/for/try/with/match/import/注解)
- Utils/Unparser: walk/dump/unparse/copy_location/literal_eval 等辅助
- 软关键字 fn/fun/func/function 并入解析器, 废除 ExpandSoftKeywords 预处理
- lib/_bootstrap 将 lib 目录加入 sys.path, import vast as ast 零修改替换
- 52 个文件 import ast 替换为 import vast as ast; 94 文件差分测试 0 失败
 2026-08-17 09:36:38 +08:00
TermiNexus 6a672037c2 fix(attr): 修复联合类型转换 (X | t.CPtr)(arg) 后属性访问被丢弃 
TPC 联合转换对非 CType 类（ast.Name/ast.Call 等类名）目标类型解析失败，
结果退回 Ptr(i8) 或错误类型，_handle_attr_call_result 的
find_struct_by_pointee 失败后返回 None，属性访问被静默丢弃——
((ast.Name|t.CPtr)(ov)).id 编译产物 store 0 次（TPV with 语句 asname
未绑定、pool 未定义根因）。修复：从联合 BinOp 提取真实基础类并
bitcast 到 Ptr(类) 再定位成员偏移；新增 _extract_union_base_class
辅助（跳过 CPtr/存储类/限定符修饰符）。
 2026-08-13 07:44:43 +08:00
TermiNexus a39b5da0f8 基本稳定 2026-08-05 20:11:38 +08:00
TermiNexus 1837339f69 修正了一些错误 2026-07-26 20:32:26 +08:00
TermiNexus a277ded8d4 修正了 TPC 的一些错误，包括 Test 维护后 TPV 无法重新编译或重编译后越界的部分问题 2026-07-20 11:12:30 +08:00
t 796222a300 snapshot before regression test 2026-07-18 19:25:40 +08:00