GVSDS/TransPyC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
371 Commits 1 Branch 0 Tags
030d0fd14974d38b34e6cb623f35115aeed6e4de
Commit Graph
19 Commits
Author SHA1 Message Date
TermiNexus d3537c7b3f fix(tpc): 局部 AnnAssign 反向重建不再窄化「基类指针」声明为派生类 
【类别 a 编译器缺陷】局部带注解赋值的「反向重建」缺少方向判定，
把源码显式声明的**基类指针**落地成**派生类指针**，
再用新收紧的指针隐式转换判据翻译后续赋值时就必然失败。

现象：
  翻译 includes/ast/parser.vp 报
  「指针隐式转换已禁止（非基本类型（结构体/类/联合））：不能把指针类型
   %"….AST"* 隐式转为 %"….Name"*」，
  出错语句 `_parse_atom` 内 `node = _new_const_str(...)`（parser.vp:1921 附近）。

根因链（全部可取证）：
  1. `node` 在 _parse_atom 内首次声明于
     `node: rawptr[AST] = Name(ps.pool, name_str, ASTCtx.Load)`（parser.vp:1899），
     注解写明的被指类是 **AST（基类）**，RHS 是 **Name（派生类）指针**；
  2. HandlesAnnAssign._HandleAnnAssignLlvmInner 中「以 RHS 被指类型反向重建
     alloca」的代码块（初版快照即存在，注释自述本意是「注解退化成裸基类 / i8*，
     RHS 构造出精确特化 ⇒ 用 RHS 反向升级」）**无条件**执行：
        if isinstance(VarType, ir.PointerType) and VarType.pointee is not ST ...:
            var = Gen._allocaEntry(ir.PointerType(pointee), name=VarName)
      ⇒ node 的栈槽被落成 `Name*` 而非注解的 `AST*`；
      （既有仅有的方向判据 `_rb_is_bare_generic`，commit 0ffaadc9，只拦「RHS 是
      裸泛型基类」这一个方向，拦不住「RHS 是注解被指类的派生类」）
  3. 旧构建产物实测确认槽类型确为派生类指针：
     Test/AstTest/.tpv_build/temp/05/056a6a1271f871d2.ll 的
     `@"…._parse_atom"` 内 `%24 = alloca %"8f3ee13abe0c5527.Name"*`，
     且 `_parse_fstring` / `_new_const_str`（均返回 AST*）的返回值后面紧跟
     `bitcast …AST* → …Name*` 再 store —— 即 AST*→Name* 的**下转**此前是静默
     bitcast；2026-09-28 指针隐式转换收紧（结构体只允许上转）后，同一处变成
     fail-fast，暴露出上层这个窄化缺陷。收紧本身正确，缺陷在窄化。

修法（与既有 `_rb_is_bare_generic` 对称的「方向判定（其二）」，非兜底）：
  · 新增注解侧被指类快照 `_ann_pointee`：优先取已解析出的 `VarType.pointee`；
    注解被 TypeMerge 折叠成 i8*（rawptr[X] / t.CPtr[X]）时取同一函数上方
    635-684 已恢复进 `var_struct_class` 的 X（那正是注解写明的被指类）；
  · 仅当 `_IsInheritanceUpcastPointee(RHS 被指类, 注解被指类)` 为真
    （即注解就是合法的「基类指针」声明、RHS 只是继承上转）时**跳过重建**，
    保留注解类型，杜绝「按 RHS 窄化声明类型」。
  判据只拦这一个确定的方向错误：注解退化成 i8*/裸占位（被指类非 RHS 的基类）
  时 `_rb_is_upcast` 为假，泛型特化升级路径（commit 0ffaadc9 修的现场）不受影响。

影响面：本处是 TPC 内唯一的「以 RHS 重建 alloca」点（全仓 grep 该调用仅此一处）。
窄化取消后，槽类型回归注解声明；后续赋值/取值按正常隐式转换判定
（派生→基类为上转，放行），不再出现「先被悄悄窄化、再被判下转」的自相矛盾。

1 file changed, 31 insertions(+), 1 deletion(-)
 2026-09-29 14:53:33 +08:00
TermiNexus 8c831a38d3 fix(tpc): 局部 str*/str|t.CPtr 注解不再被压平成 i8*（补 PtrCount<=1 豁免） 
类别 b（机制漏豁免）：`TypeInfo.IsStr` 对**任何** CChar + 指针层都为真，
局部 AnnAssign 处却无条件把 PtrCount 压成 1，导致 `argv_arr: str*` 被声明为
i8*，而同名模块级全局 `_argv: str*` 走 HandlesAssign._EmitGlobalAnnAssignLlvm
的 FromNode 得到 i8**，于是 `_argv = argv_arr` 被
「指针隐式转换已禁止（层数不同）：i8* → i8**」拦下（includes/sys.vp:114、
_init_argv_posix 同款 L148）。

同一规则在 HandlesFunctions.py:599 / 690 / 722 / 1434 / 1514 / 1602 / 1662 与
HandlesImports.py:1440 / 1542 都已带 `IsStr and PtrCount <= 1` 豁免（注释写明
"str | t.CPtr 合并后 IsStr=True 但 PtrCount=2（i8**，如 argv 数组），不能压平"），
唯独 HandlesAnnAssign.py:452 漏了这一条 —— 本次补齐：只压平 PtrCount<=1，
`str*` / `str | t.CPtr` 保持 i8**；_str 影子结构与 var_ptr_element（8 字节步长）
标记仍照旧执行。

判据（不猜）：
1. TPV 参考实现产物 Test/SysLibTest/.tpv_build/temp/0c/0cc16828640f94b7.ll：
   `@"0cc16828640f94b7._argv" = global i8**`、_init_argv_win32 内
   `alloca i8**`（argv_arr）、`store i8** %x, i8*** @"..._argv"` —— 局部与全局
   同为 i8**。
2. TPC 全局侧 FromNode 对 `str*` 给出 PtrCount=2（CChar + str 的 1 层 + CPtr 的 1 层）。

重编即可验证 sys.vp 第 84/114 行一致。
 2026-09-29 13:33:54 +08:00
TermiNexus 49ff1b995f fix(cast): 显式指针 cast 一律放行（按 bitcast 重解释）+ MemoryOps 改用 vast 解析器模块 
① 新增 _IsExplicitPtrCastNode：值节点是写明的指针转换调用（t.CPtr(x)/CPtr(x)/c.CPtr(x)/rawptr[T](x)/t.CPtr[T](x)/(T*)x/T*(x)）时，_ClassifyPtrImplicitConvert 直接放行（用户规则「显式转换都可以」），调用方按既有 bitcast 重解释；非 cast 调用（MemBuddy(x)/list[X](x)/foo(x)）不受影响。

根因：includes/_list.vp:60 的 elem_ptr: T | t.CPtr = t.CPtr(地址) 在 list[X*] 特化下 T|t.CPtr = X**（T 本身是指针），而 t.CPtr(...) 的值是 i8* ⇒ 被判「层数不同」，与报错自己给的「如需转换请显式 cast（如 t.CPtr(...)）」建议自相矛盾（ExprGenFstr.vp 编译失败的 2 条 elem_ptr 报错）。

② MemoryOps.py 的 import ast 是标准库 —— 但 TPC 全部源码由 vast 解析，节点类为 lib.vast.Nodes.*，与标准库 ast 互不兼容 ⇒ 该文件所有节点类型判据对 Viper 源码静默失效（_value_node_of 子表达式下沉、_CtorCallStructType 构造物化豁免、以及新增的 cast 判据都不生效）。改为 import vast as ast，一并修复。
 2026-09-28 16:48:52 +08:00
TermiNexus d7158bd336 feat(cast): 指针隐式转换新规则 + None 可隐式转任意类型 + 诊断错位修复（9 文件） 
MemoryOps._ClassifyPtrImplicitConvert：同类型放行；层数不同禁；任一侧通用指针(i8*)放行；皆非通用按被指类型（非基本类型禁、基本标量按位宽无损）；指针与非基本值互换禁

_IsNoneValue 收敛：AST None 常量 或 指针型 null 常量 → 放行任意目标（指针目标给 null，非指针目标给零值）；整数 0 不误命中；短路口覆盖 9 处禁令

诊断：新增 BaseGen._DescribeValueNode（子表达式下沉 + 有符号列号 + 源码片段），9 处禁令统一使用，不再打印外层 Assign 与 4294967295 列号

注：TPC 侧规则③比 TPV 更严（指针→非基本值恒禁），可能与既有按值回读冲突；待实机编译确认后再统一两侧口径
 2026-09-28 15:10:39 +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 6af2dea917 修复了一些问题 2026-09-17 14:52:37 +08:00
TermiNexus 0721568d41 fix(codegen): 消除泛型特化静默兜底并修正 sha1 前缀归一 
崩溃根因（已由 IR + 符号化确证）：MatchGenMixin._handle_renum_match 的 body_list.get(bi) 被分派到 list[int].get，返回 i32 后 inttoptr 成 AST* 造成指针 32 位截断，运行期读 vtable 崩溃（ASan 坏地址 0xc1158310）。

第 1 步 方法分派：删除「ClassName 不含 [ 时按 Gen.structs 迭代顺序任选特化」的静默兜底，改为按接收者 LLVM 值类型的 pointee 用 find_struct_by_pointee 身份匹配反查唯一特化；反查不到时以「基名匹配且存在目标方法」求唯一候选，候选多于一个即 fail-fast，不再任选。

第 2 步 泛型实参：5 处「解析不出类型实参就补 int/CInt」改为 fail-fast。经核对语言与实现（wiki 类型系统/类章节、_generic_class_templates 的 type_params 无默认值机制、list 模板仅 1 参）确认泛型不存在合法缺省实参，5 处均属未知兜底。

第 3 步 注解赋值（真正的污染写入点）：HandlesAnnAssign 中 bnm 与 CN 的比较未归一 sha1 模块前缀（注解侧裸名 list 与带前缀键 CN 恒不等），导致恢复特化名分支不命中、把裸泛型基名写入 var_struct_class，从而被第 1 步的兜底按顺序任选成 list[int]。改为与同函数既有 _cn_short 口径比较，构造仍用带前缀 CN。
 2026-09-14 16:45:26 +08:00
TermiNexus 0ffaadc95e fix(tpc): 注解侧泛型基名方向判定，阻止裸泛型 RHS 覆盖已特化注解类型 
HandleAnnAssign 原无条件以 RHS.pointee 重建 alloca，会把注解已解析出的 Base[...] 特化类型覆盖成裸泛型基类，导致后续 .get() 按错误元素类型分派（list[int].get 返回 i32）后 inttoptr 截断。新增注解侧泛型基名结构性识别，仅拦此方向错误。
 2026-09-13 17:50:02 +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 45e78ad107 基线重置，修复了一些 bug 2026-09-07 14:46:02 +08:00
TermiNexus 13a8f6c1b6 feat(coro): 语言内协程 M1——async def + await + coro_run 状态机 
TPC 新增协程生成器 AsyncFunctionHandle（lib/core/Handles/HandlesAsyncFunctions.py）：
async def 编译为帧结构体 {state, done, ret, 局部变量槽} + create_<name>()（malloc
分配）+ resume_<name>()（switch 状态机，0=SUSPEND/1=DONE）。await 按顶层赋值
切分函数体：创建子帧 -> resume -> 取子帧 ret -> 存父帧槽 -> 父挂起（state 前进）；
普通调用 async 函数生成 create（返回帧指针）；coro.coro_run 在调用点内联翻译为
resume 循环。vast parser 已支持语法；新增 includes/coro.vp（Coroutine + 占位
运行时）与 Test/CoroTest（期望输出 coro result = 14）。

M1 限制：async 无参数、返回 i32/int；协程体仅顶层 AnnAssign/Assign/Expr/Return；
await 仅顶层赋值形式、子协程假设一次完成（无嵌套挂起）；coro_run 依赖本模块
先赋值的协程变量。M2 将支持参数/嵌套 await/控制流。
 2026-08-21 12:36:00 +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 ca7c2120b8 修正了种子编译器的错误 2026-07-22 21:55:36 +08:00
TermiNexus 135aa05485 尝试进行 Qt 测试，增加了 AI 人机调试工具 _console，以及 TransPyV 进行修正 2026-07-21 14:41:22 +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