Commit Graph
100 Commits
Author SHA1 Message Date
TermiNexus b08a0aff48 perf(phase2): 缓存 BuildCombinedIR 全目录扫描结果
Phase B 编译 .obj 慢得像同步编译的根因:BuildCombinedIR 对每个源文件
调用一次 _collect_stub_sha1s 递归扫描 temp_dir 全部切片子目录(90 文件
× 全目录枚举 O(N×S)),且目录扫描与 llc 并行无关(llc 并行已生效)。

按 temp_dir 缓存扫描结果(StubMerger._stub_scan_cache_*,stdlib 分配
跨 reset 存活),首次扫描后复用,temp_dir 变化时自动重建。BuildCombinedIR
的所有调用点(Phase B 主循环/Phase B+ includes 编译/stubgen)统一受益。
2026-08-20 01:15:05 +08:00
TermiNexus efc0e47058 chore(gen): 移除 [DBG-ANNOT]/[LLC-DBG] 调试插桩
EdgeCaseTest/MultiInheritTest 已修复验证,清理 e770fef/dc5bb21/0d2e912
遗留的调试输出:TypeGenResolve.vp resolve_annotation_type 的 [DBG-ANNOT]
(含多余 import stdio),BuildPipeline.vp llc 并行路径的 [LLC-DBG]/
[LLC-DBG2](10 处 region debug-point)。
2026-08-20 00:50:18 +08:00
TermiNexus 8947c5c5ee fix(gen): 多继承 this-adjust 对无字段父类跳过字节调整(对齐 TPC,Vec2Extra 误报未注册修复) 2026-08-20 00:31:33 +08:00
TermiNexus e770fef0f7 fix(gen): 恢复 ClassGenBase 基类别名解析(_resolve_base_alias)
ClassGenMixin 拆分(47ac2dd)时 _resolve_base_alias 丢失:_get_parent_class
/_collect_parents 不再解析 from-import 别名基类(from t import CStruct as cs
→ class CsPoint(cs)),'cs' 被当真实父类 → find_struct('cs') 失败 → 类 defer
永不注册 → 变量注解解析失败(EdgeCaseTest Test12 回归)。恢复
_resolve_base_alias 并在两处调用;_collect_parents 增 trans 参数透传(别名
解析需 from_imports)。TypeGenResolve 增 [DBG-ANNOT] 插桩待验证后移除。
2026-08-20 00:05:32 +08:00
TermiNexus dc5bb2111b fix(phase2): 句柄数组改回 list[str] 显式 elem_size=8
插桩确认 list[t.CPtr] 构造正常(pool 有效 elem=8 data 有效)但 append
仍读零页崩溃(list[ptr] append 的 store/参数类型生成待查)。改用全库
验证稳定的 list[str](str=bytes=i8*,显式 elem_size=8 走 else 分支),
append(t.CPtr(th.handle)) / t.CPtr(get(j)) 显式转换,join/close 对句柄
操作不变。保留 [LLC-DBG2] 构造状态插桩。
2026-08-19 23:12:33 +08:00
TermiNexus 0d2e9124d9 debug(phase2): 打印 list[ptr] 构造后内部状态定位 append 崩溃
崩溃仍在 list[ptr].append 的 pool.alloc(0xf8→0x128 偏移变化说明
elem_size 修复生效),需区分 __pool__ 未初始化(__init__ 未调/写错位)
与 MemBuddy 内部损坏。新增 [LLC-DBG2] 打印 pool/count/cap/elem/data。
2026-08-19 23:01:48 +08:00
TermiNexus 0faf44e179 refactor(phase2): 句柄数组改回 list[t.CPtr]
TPC 已根修 list[t.CPtr] 特化(_resolve_generic_slice_type 保留 t.CPtr
带前缀 + mangled 名统一 'ptr'),不再需要 list[str] 绕开。句柄数组
方案保留:start() 后立即取 handle,join/close 直接对句柄操作。
2026-08-19 22:44:21 +08:00
TermiNexus 0810f9f9e8 fix(phase2): llc 线程 join 改用句柄数组替代 Thread 对象存取
插桩证实 list[vthreading.Thread|t.CPtr] 的 get(0)/get(1) 返回同一
对象指针(栈对象地址复用),j=0 的 close() 把 handle 置 NULL 后 j=1
的 join 用 NULL 句柄 → WaitForSingleObject 立即 WAIT_FAILED → alive=0
→ e5fb 线程句柄从未被 join(失败槽 Result=-1 误报)。改为 start()
后立即取出 handle 存入 list[t.CPtr](8 字节指针存取稳定),join/close
直接对句柄 WaitForSingleObject/CloseHandle,不再依赖 Thread 对象存续;
join 索引用全局 batch_start+j(handles 跨批次累积)。
2026-08-19 22:19:33 +08:00
TermiNexus 88778dc422 debug(phase2): join 前打印 th 指针/handle/started 定位 join 立即返回
ClassArrayTest join(0) 已正常等待 edd8(645e8e0 生效),但 join(1) 仍
立即返回 alive=0 且 e5fb Result=-1(worker 未写 Result)。新增
[LLC-DBG2] 插桩打印 th_j 指针/handle/started,区分句柄无效(存取错)
与 e5fb 线程已死两种可能。
2026-08-19 22:10:11 +08:00
TermiNexus 645e8e0fbf fix(phase2): llc 线程数组元素类型改为指针 Thread|t.CPtr
list[vthreading.Thread] 的 store/load 类型不一致:append 存 8 字节
(th 指针,elem_ptr 降级 i8*),get 却按 Thread 结构体返回槽地址
(HandlesExprAttr._infer_element_struct_class 推断元素类)→ th_j 是
list 数据槽地址,join 把对象地址当线程句柄 → WaitForSingleObject
立即 WAIT_FAILED → alive=0 → 误报 llc 失败(4bd254a 只修了槽间距,
未修类型不一致)。改为 list[vthreading.Thread | t.CPtr](与已稳定的
list[ast.AST | t.CPtr] 同理),store/load 均为 8 字节指针,
join/is_alive/close 拿到真实线程句柄。
2026-08-19 22:03:22 +08:00
TermiNexus 3f3e3d5898 fix(phase2): _run_cmd_wait 清零 STARTUPINFOA 等结构体
TPV 的 T() 构造仅 alloca 不 memset(无 __init__ 时只 InitStructDefaults,
extern 结构体无默认值记录 → no-op)。_run_cmd_wait 的 si 只设 cb,
dwFlags 等 15 个字段为栈垃圾:多线程并发调用时垃圾值随机,dwFlags
垃圾位令 CreateProcessA 使用垃圾句柄作子进程 stdio → 子进程行为不定
/父进程线程崩溃(ClassArrayTest e5fb worker 崩、edd8 正常的概率崩溃
根因,70c8810 引入 _run_cmd_wait 时即存在)。si/sa/pi 全部显式清零。
2026-08-19 21:50:56 +08:00
TermiNexus 4bd254a27f fix(phase2): llc 并行线程数组修复 list 元素间距与容量越界
1b5246f 引入 list[Thread] 时误把 max_threads 当作 list 构造的
容量参数传入,实际第二参数是 elem_size=16 → 槽间距 16 字节远小于
Thread 结构体大小,set(j, th) 元素重叠覆盖(get 返回混合垃圾对象);
且 list 初始容量仅 8,batch>8 时 set(8..15) 无容量检查越界写堆 →
llc 全部成功后随机 ACCESS_VIOLATION(ClassArrayTest 崩溃根因,ASAN
构建下更早触发)。改为不传 elem_size(默认取 T.__sizeof__())+
append 自动扩容(8→16→32 覆盖 LLC_MAX_THREADS=16 批量)。
2026-08-19 21:36:26 +08:00
TermiNexus 42aa90c1af fix(gen): translate_c_deref 支持转换链包裹推断指针目标
对齐 TPC HandlesSpecialCall._infer_deref_target_type 增强:
1. 新增 _IsTypeExpr/_IsCastWrappingDeref 模块级辅助,判定
   c.Deref 是否处于类型转换链包裹(如 (T | t.CPtr)(t.CPtr(c.Deref(p))))
2. translate_c_deref 推断条件从仅直接 RHS 扩展为直接 RHS 或
   转换链包裹 Deref,新增 dref_is_ptr 允许指针目标推断
   (bitcast 后 load 8 字节),修复 llc 并行线程数组 list[Thread]
   之外仍受 i8* 退化的场景(1b5246f 只绕开了一处)
2026-08-19 21:19:38 +08:00
TermiNexus 1b5246f29f fix(phase2): llc 并行线程数组改用 list[Thread]
c.Deref 对 i8* 无法推断加载类型时只读 1 字节(旧编译器),th_ptrs 存
Thread* 后 join/is_alive 拿到垃圾句柄立即失败——llc 并行"5 秒误报失败"
的直接原因(ClassArrayTest 2 模块并发必现)。改 list[Thread] 保类型,
get 返回明确类型,不再依赖 Deref 推断。含 [LLC-DBG] 插桩,验证后移除。
2026-08-19 21:14:20 +08:00
TermiNexus c68eb22052 debug(phase2): 细化插桩区分 CreateProcessA 卡点与 join 等待行为 2026-08-19 21:03:47 +08:00
TermiNexus 70c88107ce fix(phase2): llc worker 改用 CreateProcessA 替代 system,修 asan 并发挂起
插桩证实:ClassArrayTest 固定 llc 失败是 e5fb16127bce8f68 的 worker 卡在
stdlib.system() 内(LLC2 未打印,Result 保持 -1)。Python 复现 os.system
并发无问题,差异仅剩 asan 构建环境——Windows asan 的 RTL allocator hook
经 CreateProcess 启动子进程时受干扰(LLVM issue #111166 同类)。
新增 _run_cmd_wait:CreateProcessA 直接执行 + WaitForSingleObject +
GetExitCodeProcess,继承父控制台输出(同 system 语义),全 stdlib/栈分配
线程安全。含 [LLC-DBG] 插桩,验证后移除。
2026-08-19 20:57:52 +08:00
TermiNexus f3c94917e5 debug(phase2): 插桩 llc worker 打印 system 返回码,定位 ClassArrayTest 固定 llc 失败误报 2026-08-19 20:48:01 +08:00
TermiNexus f5b3e46543 fix(gen): while 1 无限循环无 break 判定 merge 不可达
HandlesWhile 翻译 while 后无条件置 _ctrl_merge_reachable=1,导致末句为
`while 1:`(条件常量真且循环体仅 return 无 break)的函数在收尾检查被
误判"流程掉出末尾未显式 return"(vrandom.gammavariate TypeError)。
新增 _IsConstTrue/_StmtHasBreak(跳过嵌套循环子树):常量真且无本层
break 时 merge 结构性不可达 → 置 0,函数收尾对末句 While 生成 unreachable。
2026-08-19 20:35:22 +08:00
TermiNexus b2e69c2f75 chore(gen): 移除全部 [DIAG] 调试打印 2026-08-19 10:11:37 +08:00
TermiNexus 63caf152c2 perf(phase2): llc 并行线程数 8 提升到 16
对齐 TPC Phase2Translator n_workers=os.cpu_count()(本机 16 核)。
2026-08-19 07:56:31 +08:00
TermiNexus 6807082853 fix(gen): this-adjust 失败静默跳过改 fail-fast
非第一父类方法调用时,this-adjust 任一步失败(父类/子类 struct 未注册、
首字段缺失、字段查找失败)此前静默用未调整的 obj_ptr 当 self -> 方法按
自身布局读字段读到垃圾(lookup_reexport strcmp 概率崩溃根因候选)。
新增第一父类判定(前缀对齐 delta==0 免调整),其余失败路径 fatal_error
报出方法/定义类/接收类。
2026-08-19 07:51:37 +08:00
TermiNexus edd842b6af fix(phase2): free_llc_task 误 free 任务槽导致 double-free
LlcTask 记录是 llc_tasks 数组的连续槽(非独立 malloc),free_llc_task
此前对槽调 stdlib.free,循环后又对数组整体 free -> 同一 32 字节区域
double-free(ASan)。修复:free_llc_task 只释放命令串并置 None,记录
由调用方随数组整体释放。
2026-08-19 07:34:57 +08:00
TermiNexus 18b9b8bfa8 perf(phase2): llc 编译改多线程异步并行
Phase B 主循环从'每文件同步跑 llc'改为'循环内写 .ll + 构造 LlcTask
(命令串 stdlib.malloc,避免主池 reset_to(mark2) 回收悬空),循环后
run_llc_parallel 分批发 LLC_MAX_THREADS(8) 个线程并发跑 llc,join 后
校验结果。worker 只调 stdlib.system(),不做任何池分配(MemBuddy 非线程
安全);ASan 模式 opt 插桩也在 worker 内并行。includes 编译路径与
单文件 run_pipeline 保持同步不变。
2026-08-19 07:28:08 +08:00
TermiNexus eb0398eae3 fix(gen): this-adjust 基类 bitcast 前确保 opaque 类型声明
_translate_method_call/_translate_super_call 的多继承字节偏移调整会生成
bitcast i8* -> %SHA1.ClassGenBase*,但 PrintModule 只扫描函数签名、
不扫函数体指令,跨模块基类类型未被声明导致 llc 报 use of undefined type。
在 bitcast 前调用 module_ensure_opaque_for_type(幂等,仅对未定义类型
添加 = type opaque)。
2026-08-19 06:25:33 +08:00
TermiNexus e8a3fd0a65 fix(attr): ALL_CAPS 非 CDefine 回退跨模块全局变量
Phase1.PYI_BUF_SIZE: t.CSizeT = 262144 是 i64 模块级全局而非 CDefine 宏,
语义同 C 的 extern size_t PYI_BUF_SIZE。原 ALL_CAPS 属性路径在 CDefine
查找失败后直接 fail-fast,从不尝试跨模块全局。修复:
- ExprGenAttr 模块限定路径:CDefine 失败时先查 find_global_in_module,
  命中则按跨模块全局引用加载,仅全局也不存在时才 fail-fast;
- ExprGenName 裸名路径:from-import 确认后同样回退跨模块全局加载
  (覆盖 from Phase1 import PYI_BUF_SIZE 形式)。
2026-08-19 05:41:21 +08:00
TermiNexus aa2a1e593f revert(cdef): 撤销跨模块 CDefine 匹配放宽
t.CSizeT 等注解的模块级常量是全局变量而非宏,不应走 CDefine 宏路径
(正确语义:Phase1.PYI_BUF_SIZE 按 extern size_t 跨模块全局引用)。
恢复行匹配仅认 t.CDefine。
2026-08-19 05:41:14 +08:00
TermiNexus 677373c629 fix(cdef): 跨模块 CDefine 匹配放宽到 t.C 类型注解
原行匹配只认 "t.CDefine"(9 字符精确),漏掉 t.CSizeT/t.CInt 等注解的
模块级常量全局(如 Phase1.PYI_BUF_SIZE: t.CSizeT = 262144,是 i64 全局
常量而非 CDefine)→ "跨模块 CDefine 未找到" 误报。本函数仅被 ALL_CAPS
名触发,放宽为 t.C<大写> 类型 + 字面量初值即视为编译期常量;模块限定
(Phase1.PYI_BUF_SIZE)与 from-import 裸名(from Phase1 import PYI_BUF_SIZE)
两条路径均经本函数,一并覆盖。
2026-08-19 05:35:02 +08:00
TermiNexus cf9207f171 fix(struct): PARENT_MAX 16→64 修复 Generator 43 父类字段截断
拆分重构使 Generator 父类增至 43 个,PARENT_MAX=16 使 _collect_parents/
set_parent_names 只收前 16 个父类 → StmtGenMixin(#40) 等字段丢失 → 结构体
缺 DiagStmtCount → __init__ 写 self.DiagStmtCount "属性写入失败"。FIELD_MAX
128→256 防字段静默截断;MRO_MAX 16→64 保证父类方法解析可达。两处常量
(HandlesStruct/StructGenMixin)同步提升。
2026-08-19 05:11:51 +08:00
TermiNexus 46170c20ef fix(gen): ExprGenCls/Fstr 补本地 DOC/FSTR 常量副本
ExprGenMixin 拆分后 DOC/FSTR 系列常量只定义在 ExprGenMixin.vp(M),而 ExprGenCls(C)/ExprGenFstr(F) 按文件序先于 M 编译,跨模块 CDefine 全局表未注册 → NameError 未定义名称。按 CallGen 既有本地副本惯例补定义,消除文件序依赖。
2026-08-19 05:06:08 +08:00
TermiNexus 6d627d67cf fix(gen): fatal_error 后补 return 样板,修复属性访问/写入掉出末尾
translate_attribute 与 get_attribute_ptr 的 match 末 arm(case _)调
fatal_error 后无 return None → 块未 terminated → 该 arm 被 match 收尾
误判掉出 → br end_bb → merge 可达 → 方法收尾 fail-fast '流程掉出末尾'
(返回类型 Value*)。补显式 return None(块设计约定:fatal_error 后也
必须保证块 terminated)。
2026-08-19 04:58:12 +08:00
TermiNexus d766eaf656 fix(gen): 依赖未就绪时保持默认 i32 而非 Void,修复表达式 fatal
根因(ExprGenAttr._get_cderef_attr_base 'if 条件表达式翻译失败'):Phase A 按
文件系统顺序编译,ExprGenAttr(A) 先于父类模块 ExprGenBase(B)。方法调用
self.is_ptr_type() 返回类型无法解析 → _deps_pending=1 + call_ret_ty=Void →
build_call(Void) 返回 None → 调用结果喂进 if 条件/比较时 fatal,多遍重译
机制(本遍不写盘、下遍重译)根本走不到。对齐跨模块函数路径 L8167-8195
'保持默认类型继续'语义:pending 时保持默认 i32(错误类型不进入产物,
下遍依赖就绪后精确解析)。共修 6 处(CallGenCall L395/L852/L878/L1417、
CallGenDispatch L1080、CallGenProp L135)。
2026-08-19 04:49:26 +08:00
TermiNexus 4d7a6db31a fix(match): case 体末句控制流全 return 补 unreachable 不 br end_bb
根因(ClassGenEnum._get_type_align 掉出末尾):case 体末句是 If/控制流且
全分支 return 时,处理器把 builder 停在无 terminator 的 merge 块,case
循环的 is_terminated 误判未终止 → 补 br end_bb → rm/sq/sm_merge_reach=1
→ 全 case return 的 match 被误判 merge 可达 → 函数收尾 fail-fast
'流程掉出末尾'。新增模块级 _case_tail_unreachable:末句控制流
(If/While/For/Match)且 _ctrl_merge_reachable==0 时补 unreachable,
与 HandlesIf L309-315 / ClassGenVTable L1084 同语义;应用于 renum/
sequence/simple 三路的 case 体与 default 收尾(不含 Try/With,其处理器
不维护该标志)。
2026-08-19 03:16:16 +08:00
TermiNexus fa52fbd4e5 fix(gen): REnum 变体检测避免指针减法生成非法 sub i8*
rc_mq_dot - rc_mq_path 两操作数都是 str(i8*),TPC 直接发 sub i8*, i8*
非法 IR,opt ASan 插桩失败。改用 strlen 整数差计算模块前缀长度
(strlen(path) - strlen(cls) - 1),与既有 d_i - d_start 整数减法写法一致。
2026-08-19 02:54:08 +08:00
TermiNexus e700de1055 fix(gen): REnum 变体构造支持模块限定形式 mod.Class.Variant
CallGenMixin.translate_call 的 REnum 变体检测只认单层 Name(ClassName.Variant),
llvmlite.LLVMType.Struct(...) 这类嵌套属性漏检 → 误走跨模块函数路径 →
_lookup_module_sha1('llvmlite.LLVMType') 查无 → '跨模块调用找不到模块 SHA1'。
根因修复:扩展检测到嵌套 Attribute,取路径末段为 REnum 类名、前缀为模块,
仅要求最左模块已导入(跨模块任意同名可接受,不做类归属校验),命中后走
_translate_renum_construct 构造变体。对应 TPC HandlesExprCall 静态方法路径。
2026-08-19 02:45:10 +08:00
TermiNexus 941ba2feb0 fix(call): 模块属性调用不回退局部变量,修同名局部变量劫持 VLogger.fmt_buf
found_func 未命中时仅裸名调用(Name)回退查局部变量(函数指针/闭包);模块属性调用(VLogger.fmt_buf())目标是模块符号,跨模块任意同名可接受(CallGenLeafKit 局部 fmt_buf 曾劫持 VLogger.fmt_buf → 误走函数指针调用报 t.Callable 缺失),仅 from-import 裸名 yyy 重名才冲突
2026-08-19 02:30:18 +08:00
TermiNexus ebf0aed5b1 fix(cbuiltin): translate_c_addr 补末尾 return None(真实掉出)
arg0 非 Name/Attribute/Subscript 时三个分支都不进入 → 流程真实掉出函数末尾,补显式 return None(fail-fast 不允许掉出)
2026-08-19 02:30:11 +08:00
TermiNexus c40c00f933 fix(match): renum match merge 标志声明作用域修正(a45b806 补充)
m_merge_reach 声明放 Handle 分派函数,renum match 内引用退化为隐式全局跨 match 污染 → get_struct_name(LLVMType REnum match)收尾读到残留 1 仍 fail-fast。声明移入 _handle_renum_match 局部(rm_merge_reach),置 1 与收尾覆盖同步修正
2026-08-19 01:58:32 +08:00
TermiNexus a45b806afa fix(match): merge 可达性用局部标志记录,消除 case 体内嵌套 if 污染
主 match/sequence/simple 三条路径:case 体内嵌套 If(无 else + return)翻译时把 _ctrl_merge_reachable 置 1,全 case return 的 match 被误判 merge 可达 → 函数收尾 fail-fast '流程掉出末尾'(LLvmLiteTest includes/llvmlite/__module.vp _is_opaque_struct)。改用局部变量记录本 match 自身的 br end_bb,收尾覆盖全局标志
2026-08-19 01:04:42 +08:00
TermiNexus 132c48d41a fix(gentype): register_ctypedef_from_source 先清表再注册,修 stdint.vp strcmp 悬空遍历崩溃
clear_ctypedefs 只在 translate 前调用,文件 reset_to(mark1) 回收后上一文件 CTypedefNames 表悬空(非 None);本函数去重遍历读已回收内存 → ASan strcmp 读地址 0x4(1.log)。开头 clear_ctypedefs 重建表,杜绝悬空遍历
2026-08-19 00:45:08 +08:00
TermiNexus 55d4c4102a fix(call): super() void 命中用 hit_box 区分未命中 + CTypedef 预注册修复 mode_t NameError
- CallGenDispatch/CallGenMixin/ExprCallHandle: super() 命中 void 方法返回 None 属预期,用 hit_box 命中标志区分未命中,避免误走裸名调用报 'super 未定义'
- HandlesAnnAssign.Handle + TranslatorGenMixin.handle_module_level_var: CTypedef 按需注册(翻译期表已被 clear_ctypedefs 清空),修复 posix.vp S_ISREG(mode: mode_t) 参数解析 NameError
2026-08-19 00:28:48 +08:00
TermiNexus 65838da0dc fix(Generator): 补全 ClassGenBase 拆分遗漏的 17 个字段初始化
结构体由 mb.alloc 分配,未初始化字段是内存垃圾。异常表字段(ExceptionCount/ExceptionNames/ExceptionParents/ExceptionCodes/NextExceptionCode/_exception_codes_tmp_count)此前未初始化,无用户异常类的项目(如 FuncTest)从不触发 _ensure_exception_tables 懒分配,is_exception_name 里非 null 垃圾指针通过 is not None 检查后 strcmp 越界(ASAN heap-buffer-overflow)。一并补上 RenumAliasTy/RenumAliasVariant/ClassMeta 4 个/Decorator 4 个/GenericSpecDepth 字段。
2026-08-18 12:40:21 +08:00
TermiNexus d18f9a7e7f fix(phase1): CTypedef 改源码文本扫描注册,彻底修 stdint.vp 访问违规崩溃
AST 字符串字段(attr/id)token 零拷贝指向 src_buf,跨阶段内容不稳定
(悬空)——ScanCTypedefDeclarations 读 attr 在两次运行间内容不同
(上轮 prefix=1 有效、本轮直接崩),0xC0000005。修复:
1. Phase1 1b translate 前用 RegisterCTypedefFromSource 纯文本逐行匹配
   'NAME: t.CTypedef = TYPE' 注册(src_buf 有效期内),不依赖 AST 内容
2. 移除 translate 内 ScanCTypedefDeclarations 调用(已被文本扫描替代)
2026-08-18 10:22:26 +08:00
TermiNexus 23945cd168 fix(gentype): ctypedef 检查 strcmp 改 strncmp 限长比较,修 stdint.vp 读穿崩溃
prefix=1(attr 内容 'CTypedef' 正确)后仍崩——attr 是零拷贝引用
src_buf 的 token 字符串,无 NUL 结尾(后跟空格/其他字符),strcmp
无限读穿到页边界 0xC0000005。改 strncmp 限长 8 + 第 9 字节分隔符
校验;mod_id 的 strcmp 同样改 strncmp。
2026-08-18 10:02:26 +08:00
TermiNexus 8db2d1c23b fix(assign): _is_scalar_ty_name 改白名单,修 list[str].get 返回类型不匹配
原实现排除 Ptr/str/bytes/| 后默认返回 1(标量),把未知类名(如泛型
上下文污染产生的 llvmlite.Value)误判为标量 → IsPtrElement=0 →
elem_ptr[0] 走通用路径生成 Value*,list[str].get 声明 i8* 与 ret
Value* 不匹配(8fbba llc 报错)。改白名单:已知整数/浮点/字符标量
才返回 1,未知类名按 8 字节指针槽(list 元素本就是 8 字节槽)。
2026-08-18 09:51:54 +08:00
TermiNexus 0f25dc1511 chore(gentype): resolve_annotation_type 加 T 替换断点(方法体局部注解路径)
上一轮 resolve_generic_type_name 断点无输出——方法体局部注解
(elem_ptr: T|t.CPtr)的 T 替换走 resolve_annotation_type 的
Name(T) 分支(gen.GenericTypeArgs),非 resolve_generic_type_name。
在此打印 T 实际替换值,确认 list[str].get 的 T→str 还是 T→Value。
2026-08-18 09:48:11 +08:00
TermiNexus 5ec6a3baef chore(gentype): resolve_generic_type_name 加 T 替换断点,定位 list[str].get 类型不匹配
8fbba(ForHandleIter.vp 的 list[str].get)声明返回 i8* 但函数体
ret Value*——get 方法体里 T|t.CPtr 的 T 疑似被替换成 Value(泛型
上下文 GenericTypeArgs 被嵌套特化污染)。打印 T 替换结果确认。
2026-08-18 09:43:10 +08:00
TermiNexus 8db5dc63a5 chore(gentype): ctypedef attr 手动逐字节检查(防 strcmp 读穿崩),定位内容损坏与读越界 2026-08-18 09:32:12 +08:00
TermiNexus 7178d169e3 chore(gentype): ctypedef 检查加 attr 读取断点,对比构造与读取地址 2026-08-18 09:25:36 +08:00
TermiNexus 7a7c3939db fix(gentype): CTypedef/注解类型名处理改用 ast 字段访问器,修 stdint.vp 访问违规崩溃
断点确认 AnnAssign 字段地址全部合理(stub 字段访问正常),崩溃在
_is_ctypedef_annotation / _get_type_name_from_annotation 对 Attribute.
attr/Name.id 等字段的访问(跨模块 stub GEP 偏移错 → strcmp 读垃圾
0xC0000005)。改用 ast.name_get_id/attribute_get_attr/attribute_get_
value/binop_get_*/constant_get_str_val 访问器(ast 模块完整类型内读取)。
并加 kind() 虚调用断点,若 vtable 错可立即确认。
2026-08-18 08:59:10 +08:00
TermiNexus 2847d358c8 chore(gentype): ScanCTypedefDeclarations 加 AnnAssign 字段地址断点
stdint.vp 崩溃已定位到 ScanCTypedefDeclarations(容器可见性完成后)。
加断点打印 AnnAssign 节点与 annotation/target/value 字段地址,
垃圾地址即确认跨模块 ast stub 字段访问偏移错。
2026-08-18 08:50:50 +08:00
TermiNexus 407f047411 chore(phase1): translate 流程加 printf 断点,定位 stdint.vp 访问违规崩溃点
stdint.vp 翻译中崩溃(退出码 -1073741815=0xC0000005 访问违规),
发生在 translate 内部 printf.fmt 创建后。在 translate 声明完成/
main 检查/模块级各步骤(import、容器可见性、CTypedef 扫描、vpi 注入、
变量预注册、前向声明、translate_children)加断点,崩溃前最后打印的
步骤即为崩点。
2026-08-18 08:43:37 +08:00
TermiNexus 0cb0a12810 fix(phase1): 加 translate 后存活块检查 + printf Params 链创建即校验 + dump 函数清单诊断
builtins.vp dump 卡死已定位:printf.fmt Param 的 Next 被越界写破坏成环
(Params.Count=1 但遍历超限)。本次加运行时证据收集:
1. printf declare 创建后立即打印 fmt Param 地址/Next(区分创建即坏 vs
   后续被破坏)
2. dump_ir(OUTPUT_STUB) 打印模块函数清单+param0/next(确认创建上下文)
3. translate 返回后、dump 前 mb.check_alive_blocks(mark1)(抓 translate
   期间写穿破坏的块 header/canary,rc=6 定位越界写穿文件)
2026-08-18 08:17:54 +08:00
TermiNexus 43470b6e4a fix(vpi): 参数数上限哨兵 + declare 链遍历哨兵,定位 builtins.vp dump 卡死根因
dump 步数哨兵已定位卡死链路为 printf 的 Params 链异常。新增:
1. VpiReader _inject_function_declare/_inject_method_declare 参数数上限
   128(fail-fast):vpi tree 深层节点被覆盖损坏时 args_list.__len__()
   返回垃圾大数 → add_param 海量次 → Params 链超长,dump 误报成环
2. CallGenBase._ensure_method_declare FuncHead/Params 遍历步数上限
   (防 translate 期间死循环)
2026-08-18 08:10:18 +08:00
TermiNexus 453f428aab fix(gen): TypeGenErr 补 import w32.fileio,修复 File 类型错位
TypeGenErr._read_source_line 使用 fileio.File 但未 import fileio → TPC 全局符号回退解析 fileio.File 时类名错位成 7cadfe07e983fd90.File(_list 前缀),与 fileio 构造的 d137b1f3311f3a7f.File* 类型不匹配(if f.closed 报 Type of #1 arg mismatch)。
2026-08-17 19:44:24 +08:00
TermiNexus e1b05fe1c6 fix(gen): If 分支嵌套控制流全 return 补 unreachable,修复 atan2 误判流程掉出末尾
- 嵌套 If(全分支 return)翻译后 builder 停在嵌套 merge 块(无 terminator),外层 If 分支 terminated 判定误判为未终止 → 补 br merge → 顶层 _ctrl_merge_reachable 误置 1 → 函数末句 If 全 return 被判 merge 可达,fail-fast '流程掉出函数末尾'(vipermath.vp atan2 根因)
- 分支翻译前重置 _ctrl_merge_reachable=1 防残留值污染
- 分支末尾未 terminated 且 _ctrl_merge_reachable==0(嵌套控制流全 return)时补 build_unreachable 而非 br merge,保持结构性不可达语义
2026-08-17 18:43:39 +08:00
TermiNexus 33c8609882 fix(gen): list 内置分支置位 hit_box 并确认对象类型,修复 nums.set 找不到模块 SHA1
- list 内置分支 set/clear 等 void 方法成功处理返回 None 时未被标记命中,translate_call 误判未命中继续走跨模块路径,把对象名当模块名查 SHA1 → '跨模块调用 nums.set 找不到模块 SHA1'(ListTest 根因)
- 进入 list 内置分支即置位 hit_box(对齐 _translate_method_call 调用点模式),void 方法返回 None 视为已处理
- 增加对象类型确认(额外搜索路径):从对象结构体名匹配 list,明确非 list(dict/普通类未注册场景)跳过本分支,避免按 list 布局 GEP 误处理
2026-08-17 18:31:10 +08:00
TermiNexus 51ae18a160 fix(gen): 编译器生成方法 __before_init__ 跨模块调用放行,修复找不到模块 SHA1
- _tc_h6_method_dispatch 增加 hit_box 命中标记:_translate_method_call 返回 None(void 语义)不再被误判未命中,translate_call 不再把对象名当模块名查 SHA1
- AnnotClassName 回退分支新增编译器特殊方法放行:结构体未注册 + 模块 SHA1 不可查(Phase A 依赖未就绪)时,__before_init__/__init__ 由 _special_method_ret_ty 固定返回类型,走 _translate_method_call 处理并标记 _deps_pending 下遍重试
- ExprCallHandle._tc_h6_method_dispatch 委托透传 hit_box,对齐 c.Asm/c.LLVMIR hit_box 修复(2f3320f)
2026-08-17 18:19:15 +08:00
TermiNexus 2f3320ffde fix(gen): c.Asm/c.LLVMIR void 调用 hit_box 命中标记,修复 StringTest 编译报 Asm 外部函数未登记
拆分后 _tc_h2_c_special 以 None 表示未命中,但 translate_c_asm/
translate_c_llvmir 对 void(无输出)asm 返回 None 表示已处理无返回值,
两者混淆导致 translate_call 继续走外部函数路径 → WARN 外部函数返回
类型未登记 Asm/AsmInp + t.ASM_DESCR 被当 CDefine 常量赋值 FATAL。
新增 hit_box(t.CPtr,[0]=1)区分命中,Asm/LLVMIR 分支置位,
translate_call 命中且返回 None 时视为已处理直接返回。
2026-08-17 12:43:49 +08:00
TermiNexus 9f44abe645 重新完整提交碎片 2026-08-17 11:23:55 +08:00
TermiNexus 0a98890d5b fix(handles): HandlesExprCall 补回 set_global_gen 与 12 个顶层常量
拆分脚本 del 逻辑未过滤分组,误删了保留的 set_global_gen 与
顶层常量(_CEXPORT_MAX/ASM_*/LLVMIR_*/MAX_*/GLOBAL_*)→ 链接报
undefined symbol: {sha1}.set_global_gen。已补回,全 App 语法验证通过。
2026-08-17 08:32:54 +08:00
TermiNexus 285f4c25e2 fix(handles): ExprCallHandle 类方法裸调用补模块前缀(translate_call/printf/print)
拆分后主文件保留的 ExprCallHandle.HandleCall/HandlePrintfCall/
HandlePrintCall 仍裸调 translate_call/translate_printf_call/
translate_print_call → TPC 报 Undefined function: 'translate_call'。
改为 ExprCallCall. 前缀并补 import;ExprGenName.find_func_in_module
裸调用同步补 ExprCallBase. 前缀。全 App 裸调用扫描清零。
2026-08-17 08:27:07 +08:00
TermiNexus 3ff5769290 refactor(gen): CallGenCall 精简重复注释块(1502→1495 行,恢复 ≤1500)
HandlesExprCall 拆分追加 import 后 CallGenCall 达 1502 行,
删除 _kwarg_name_matches 前的重复注释块(方法与逻辑不变)
2026-08-17 08:16:56 +08:00
TermiNexus f5c4be3995 refactor(core): Phase1 拆 3 组(Scan/Topo/Main,1801→46 行)
直接移动+改调用方:7 个函数按功能移至 3 个子模块,主文件仅保留
常量/_mbuddy。
- 子模块函数体内裸调用映射子模块前缀,全局符号经 Phase1._xxx 访问
- 调用方 main.vp 的 Phase1.func( → 子模块前缀并补 import
- 全 App 语法/引用/import 验证通过
2026-08-17 08:14:45 +08:00
TermiNexus c62ce0797d refactor(handles): HandlesFor 拆 ForHandleBase/ForHandleIter(1600→448 行)
类方法拆 Mixin:
- ForHandleBase(HandlesBase.Mixin):__init__ + 公共工具
  (_extract_tuple_names/_seq_kind/_build_seq_loop)
- ForHandleIter(ForHandleBase):8 个 _handle_* 迭代 helper
- ForHandle(ForHandleBase, ForHandleIter):保留 Handle 主分派 + 常量/
  _g_gen/NewForHandle 委托;self 调用按 1 级父类解析(Handle→Iter、
  Iter→Base 均直接父类)
StmtGenCifMixin 仍以 HandlesFor.ForHandle 实例化/引用,类名不变
2026-08-17 08:14:04 +08:00
TermiNexus 2cb974ae5a refactor(handles): HandlesExprCall 拆 6 组(Base/Deref/Ctor/Call/Table/Handle,2041→241 行)
直接移动+改调用方:~100 个委托函数按功能移至 6 个子模块,主文件
保留 _g_gen/set_global_gen/顶层常量/4 个类(AsmOperand、FuncEntry、
FuncDefaultsEntry、ExprCallHandle——CallGenLeafKit/HandlesTranslator
仍以 HandlesExprCall.类名 引用)。
- 子模块函数体内 _g_gen/常量/类裸引用 → HandlesExprCall.xxx 跨模块访问
- 28 个调用方 HandlesExprCall.func( → 子模块前缀并补 import
- 全 App 语法/引用/import 验证通过
2026-08-17 08:10:55 +08:00
TermiNexus 278893d203 refactor(core): StubMerger 拆 5 组(Collect/Store/Topo/IR/Build,2391→72 行)
直接移动+改调用方模式:35 个函数按功能移至 5 个子模块,主文件
仅保留常量与全局变量(main.vp 仍直接赋值 StubMerger._mbuddy)。
- 子模块函数体内裸调用映射为子模块前缀,全局变量经 StubMerger._xxx 跨模块访问
- 12 个调用方文件 StubMerger.func( → 对应子模块前缀并补 import
- 全 App 语法/引用/import 验证通过
2026-08-17 08:03:40 +08:00
TermiNexus d0cf283228 fix(gen): ClassGen 拆分遗漏的 12 个顶层 CDefine 常量补回
GSListNode 泛型特化报'深度=1'递归过深根因:GENERIC_SPEC_MAX_DEPTH
在阶段 D 拆分时从 ClassGenMixin 顶层遗漏,TPC 解析为 0 → 任何特化
立即触发守卫。对比拆分前后顶层 CDefine 全量比对,补回遗漏 12 个:
- ClassGenGeneric: GENERIC_SPEC_MAX_DEPTH=64 / GENERIC_TEMPLATE_MAX=512
- ClassGenBase: META_TLS / CLASS_META_MAX / DECOR_FUNC_MAX / DECOR_NAME_LEN
  / EXCEPTION_MAX / EXCEPTION_NAME_LEN / BUILTIN_EH_* / EH_USER_CODE_START
- ClassGenVTable: META_TLS(本地副本)
全部本地副本模式,避免跨模块 CDefine 查找 bug
2026-08-17 07:49:27 +08:00
TermiNexus ebfc74063f fix(handles): HandlesExpr._lookup_cross_module_cdefine 委托补 depth/node 参数
ExprGenName 等调用传 6 参(pool, name, from_imports, imported_modules,
depth, node),委托只定义 4 参 → TPC 报 '传入了 6 个参数,但函数只
需要 4 个参数'。补齐 depth=0/node=None 默认参数并透传,与
ExprGenCdef._lookup_cross_module_cdefine 方法签名对齐。
2026-08-17 07:42:49 +08:00
TermiNexus 50db55fd08 fix(handles): HandlesClassDef 6 个 _is_* 委托补 trans 参数
ClassGenDef 调用 _is_enum_class/_is_union_class/_is_renum_class(cd, trans)
传 2 参,但委托定义只有 1 参(cd)→ TPC 报 '传入了 2 个参数,但函数
只需要 1 个参数'。统一补齐 _is_cenum_base/_is_enum_class/_is_cunion_base/
_is_union_class/_is_crenum_base/_is_renum_class 的 trans 默认参数并透传。
2026-08-17 07:38:09 +08:00
TermiNexus 54fa8b46c8 refactor(gen): ExprGenMixin 拆 8 组(Base/Const/Fstr/Ops/Cdef/Name/Attr/Cls,6203→129 行)
- ExprGenMixin 保留 translate_value,其余 74 方法按功能拆至 8 个子 Mixin
- 子 Mixin 均 1 级继承 ExprGenBase(TPV self 调用仅支持 1 级父类)
- 跨 Mixin 调用转 HandlesExpr 模块级委托(_g_gen 单例 cast)
- HandlesExpr 补 15 个委托:f-string 组 7 个、docstring 组 4 个、
  Cdef/Attr 各 1 个、Ops 组 translate_binop/_binop_to_dunder/_unaryop_to_dunder
- Generator 继承链加入 8 个 ExprGen 子 Mixin
- 全部 Gen/ 文件均 ≤1500 行,500~1500 行/文件架构重构完成
2026-08-17 07:32:56 +08:00
TermiNexus 47ac2dd57c refactor(gen): ClassGenMixin 拆 5 组(Base/Enum/Generic/VTable/Def,4768→空壳) 2026-08-17 07:23:40 +08:00
TermiNexus 81d4ff3ac4 refactor(gen): TypeGenMixin 拆 5 组(Base/CDef/CType/Resolve/Err,2643→44 行) 2026-08-17 07:21:00 +08:00
TermiNexus 65cf71ff7e refactor(gen): FuncGenMixin 拆 Base/Def(2683→1178 行),补 5 个跨 Mixin 委托 2026-08-17 07:17:03 +08:00
TermiNexus 607159ae4a fix(gen): 修复 CallGenDispatch/CallGenLib 首方法缩进(8 空格→4 空格) 2026-08-17 07:04:11 +08:00
TermiNexus 9f19bb3666 refactor(gen): CallGenMixin 阶段 C 拆 translate_call 检测段(Dispatch 6 helper)+ 辅助方法(Lib),顶层降至 1119 行 2026-08-17 06:59:14 +08:00
TermiNexus 38e32fdeb1 fix(gen): 修复 HandlesExprCall 委托签名缺参数(_infer_generic_ctor_type_arg/_LookupMethodRetTyFromTextLL) 2026-08-17 06:38:00 +08:00
TermiNexus 1718738a19 refactor(gen): CallGenMixin 阶段 B 拆出 6 组(Ctor/Call/Prop/Fd/Vt/Va),顶层剩 translate_call 中枢 2026-08-17 06:34:33 +08:00
TermiNexus 8d9ff96f61 refactor(gen): 修复 CallGen 拆分后 undefined symbol(顶层改 1 级继承 + 跨 Mixin 走 HandlesExprCall 委托) 2026-08-17 06:17:15 +08:00
TermiNexus ef979d4435 feat(cli): 修复 --nowarn-register 未生效(argparse dest 破折号 key)
argparse 的 dest 保留短横线(--nowarn-register → nowarn-register),
main.vp 误用下划线 key 读取导致开关永不置位、Phase A 依赖类 WARN
照打。改为破折号 key,并同步更新帮助文案覆盖依赖未就绪重试。
2026-08-17 05:46:54 +08:00
TermiNexus 996f08fb46 fix(core): 末句控制流 merge 可达性存 trans 字段(追加90)
控制流翻译器(If/While/For/Match)记录 merge 可达性到 trans._ctrl_merge_reachable;
FuncGenMixin/ClassGenMixin 仅在全分支 return(结构性不可达)时生成 unreachable,
可达则正常收尾(ConstZero/fail-fast)。修复 llc O2 优化 br-to-unreachable 为
fall-through 导致 check 类函数 PASS+FAIL 双分支执行 + int3 崩溃(FuncTest)。
2026-08-17 05:46:47 +08:00
TermiNexus f4a990c074 refactor(gen): StmtGenMixin 按功能域拆为 3 文件(500~1500 行架构试点)
StmtGenMixin.vp(1715) → 顶层(763 语句分派中枢) + StmtGenDeclMixin(512 声明/枚举/nonlocal) + StmtGenCifMixin(520 CIf 求值/工厂)。继承链 Mixin→Decl→Cif,@t.NoVTable 静态绑定沿 MRO 解析;4 字段全留最底层父类保持组合布局;Generator.vp 与 Handles* 委托零改动。
2026-08-17 05:46:40 +08:00
TermiNexus 593332636f 全部整理上传 2026-08-17 04:27:29 +08:00
TermiNexus f2b33f5e9b fix(core): _translate_method_call 沿 MRO 祖先链查返回类型,修复 Module.append
mod.append(Module 继承 AST)中 append 定义在 ast/base.vp(sha1=71b2),
found_func 未命中时 fallback 按 class_name="Module" 查 text.ll/vpi 找不到
(函数名是 {71b2}.AST.append)→ fail-fast。修复:
1. 新增 ret_anc_name/ret_anc_sha1(方法实际定义类),默认 class_name,
   MRO fallback 命中祖先类(AST)时更新;
2. text.ll/vpi 均沿 MRO 祖先链用祖先类名 + 祖先类 sha1 重试查询;
3. 调用名也用方法定义类构造({AST_sha1}.AST.append),避免链接 undefined。
2026-08-15 00:41:21 +08:00
TermiNexus 0a0e6d3bab perf(diag): OOM 二分定位诊断 + 主池提升 1.5GB
BuildPipeline/Phase2/StmtGenMixin/HandlesAnnAssign 增加 [MEM] 限频打印
(parse/translate 前后、Phase A 前后、stmt 行级、AnnAssign 入口),
定位 NewAstTest 翻译内存暴涨起点;主池 1.5GB(2^30+2^29 二进制分解),
给单文件峰值与 Phase A 高并发翻译留足余量。
2026-08-15 00:15:59 +08:00
TermiNexus f9878e5a63 fix(core): 跨模块 CDefine 查找缓存 perm_pool + list 内置方法识别
1. _lookup_cross_module_cdefine:lookup_from_import 返回非 NUL 结尾内部指针,
   base_mod 未截断导致 rc_full_mod 每层累积整个 from_imports + ".base"
   (dump:ast.base.base.base 无限递归根因)。入口截断模块名 + 缓存查询/写入
   key 统一用 base_mod;结果缓存到 perm_pool(XmodCdef 表)跨文件复用,
   CONST_INT 递归查找只做一次。
2. translate_call:obj.method 检测将 list[AST|CPtr] 特化 struct 误当普通结构体,
   查 append 返回类型(函数/text.ll/vpi 均未命中)fail-fast。新增
   _is_list_builtin_method 识别 list 内置方法,在 Ptr(Struct)/Ptr(Ptr)/
   AnnotClassName 三条路径跳过,落到 list 内置分支。
3. HandlesType 新增 register/lookup_xmod_cdefine 模块级委托(Mixin 隔离)。
2026-08-15 00:15:43 +08:00
TermiNexus f7c2fe4534 fix: 恢复 _TopoSortFiles 被污染的循环,修复 vtable 'AST.accept' 找不到
上一提交(2ef6a55)编辑串位:把 1a-pre import 扫描的 scan_mark_a/
entry_addr_a 错误注入到 _TopoSortFiles 的 sha1 收集循环,循环内引用
未定义的 entry(恒为 null)→ 全部 continue → file_count=0 → 拓扑排序
结果为空 → 1b 回退字母序 → astaux.vp(ExceptHandler(AST))先于
base.vp(定义 AST.accept)翻译 → accept 未注册全局函数 → vtable
生成 'AST.accept' 找不到函数实现(InternalCompilerError)。

恢复 _TopoSortFiles 原始 entry_addr/entry 逻辑(拓扑排序恢复后
base.vp 先翻译,accept 注册,vtable 引用解析正常)。1a-pre 循环的
scan_mark_a/reset 保持不变。
2026-08-14 17:42:42 +08:00
TermiNexus 2ef6a55ead fix: Phase1 三个无 reset 的全量 parse 循环改每文件回收,解 mark1 前 OOM
NewAstTest 仍 1GB 主池耗尽:Phase1 1a 主循环已 reset,但此前还有
三处对全部 includes 全量 parse AST 且驻留到 mark1 的循环(可达 includes
数量多时 AST 累积超 1GB):
1. _ScanClassInheritance(类继承预扫描):每文件收集类名/父类/SHA1
   到扁平数组后 reset_to(文件级 mark) 回收 AST;
2. Phase 1a-pre import 依赖扫描:deps 写盘 + PopulateIncludesDeps
   (内部 stdlib 深拷贝)后 reset_to(文件级 mark);
3. 删除冗余的 Phase 1a-pre-generic(主 pool 全量 parse 可达泛型文件、
   无 reset)——已被 _PreRegisterAllGenericTemplates(文本扫描筛选 +
   perm_pool 注册,全覆盖)替代。

注:reset 只回收各文件的 AST/lexer/token/IR 等瞬时数据;注册表数据
(StructTable/Fields/Name/ModuleSha1/struct_ty 深拷贝/枚举/Renum/泛型
模板)已在前一轮迁入 perm_pool,不受 reset 影响。
2026-08-14 04:13:59 +08:00
TermiNexus 8d5dbeab89 feat: 引入 CompilerFactory 永久内存池,1a 每文件 reset 解 NewAstTest OOM
main 创建 512MB perm_pool(MemBuddy 第二实例,永不 reset)并注册
CompilerFactory 工厂(对齐 TPC Translator 装配模式,memhub 保持通用)。
各 Gen Mixin 跨 mark 持久表(struct/枚举/Renum/spec/vtable/全局函数/
闭包/函数指针/Cexport/Reexport/TraceFrames/Doc)全部迁移到 perm_pool,
替代 stdlib.malloc 深拷贝提升速度。

Phase1 1a 主循环(98 includes 全量 parse AST 驻留主 pool → 1GB 耗尽)
改为:StdlibAlloc=1 注册数据进 perm_pool + 每文件翻译完 reset_to(文件级
mark) 回收 AST;1b-pre vpi 预生成循环同样 reset_to(mark1)。同步修 7 处
reset 后悬空隐患:StructTable 表体、add_field DefaultVal、Renum 变体/
别名表内容、vtable full_names 内容、FuncptrRets 深拷贝。

CompilerFactory 类名与模块名同名(合法场景,TPC 已支持模块别名优先)。
2026-08-14 04:02:36 +08:00
TermiNexus c27a1ba347 fix(gen): lambda 捕获 str 指针偏移 + 表达式接收者等五组回归修复
- lambda 捕获 cap_slot 改 cap_names + ci*64:TPV 将 (str)(整数) 编译为 itoa,define_var 键名变数字串,lambda body lookup 穿透父函数作用域产生跨函数误读
- StructGenMixin 递归解 Ptr 到 Struct / CallGenMixin self coerce + 表达式接收者方法调用:修 sub Vec3**、ld.lld undefined dot/cross
- TranslatorGenMixin/HandlesAnnAssign 跳过 CTypedef 全局符号:修 duplicate float64_t
- ClassGenMixin 枚举/联合/REnum 基类别名经 lookup_from_import_original 解析:修 Color.Green NameError
- 重载路径 1 对 Ptr(Ptr(Struct)) 先 load 对象指针:修 MultiInheritTest self 误读
- TypeGenMixin 泛型 T 先 resolve_generic_type_name:修 NoVTableTest T 未注册
2026-08-13 19:10:50 +08:00
TermiNexus a0edc3d961 fix(gen): 泛型 type_params 生命周期与无注解赋值 annot 推断
- ClassGenMixin: list[str](pool, 8) elem_size 修正(原 4 致 Pair[T1,T2]
  重叠写),新增 GenericClassTpParams stdlib 深拷贝表,特化统一取深拷贝
- Generator: 初始化 GenericClassTpParams 防 0xBEBEBEBEBEBEBEBE
- TypeGenMixin: 泛型上下文栈式管理,支持嵌套特化
- CallGenMixin: sz_builtin 补 double/float/char,修复 T.__sizeof__ NameError
- StubMerger: _CommentOutGlobalInBuf 循环注释同名全局,修复 @_mbuddy 重复定义
- HandlesAssign: 无注解赋值按 RHS 推断 AnnotClassName(类实例化/源变量/
  运算符重载/字段注解/方法返回注解 vpi),修复联合类型 Ptr(i8) 属性访问失败
2026-08-13 17:31:54 +08:00
TermiNexus 19f48eea02 fix(gen): struct 返回类型解析 + 变参提升 + 泛型隐式推断三组修复
1. _ParseLLVMRetTyStr 支持 struct 字面量 {T1,T2,...}:"{i8*,i16}" 内含 * 被
   误判为 i8*,b2a_hqx tuple[str,u16] 调用侧返回类型退化 → HandlesAssign
   tuple 解包静默跳过 → 目标未初始化 → free 垃圾指针崩溃(HashLibTest hqx);
2. 变参提升 is_u_va 失败时 i8 默认 zext:printf("%02x", uint8) 不再 sext 成
   0xFFFFFFF3 输出 ffffffXX(对齐 should_zext_widen 无符号字节策略);
3. _infer_generic_ctor_type_arg:Name("CInt")/("CFloat64T") 裸名类型转换补
   strstr 匹配(from t import 后 func 是 Name);非类型转换实参(pool 等非
   T 参数)返回默认 int 被"过滤纯 int"排除,不再 fail-fast(VectorGenericTest
   隐式泛型推断),仅 Call 类型转换识别失败才 fail-fast。
2026-08-13 08:30:44 +08:00
TermiNexus 9bb6dd7612 fix(reachable): App 源文件容器依赖注入,修复 dict/list 未编译致方法返回类型误杀
_BuildReachableSha1Set 扫描 App 源文件仅解析 import,未检测 list/dict 容器
使用,main.vp 用 dict 但 _dict 未纳入可达集合→不编译→dict.set_int 等无
返回类型信息→_fail_method_ret_ty 误杀(DictTest 重现)。修复:translate
后调用 _inject_auto_container_visibility 注入 _list/_dict 依赖。
2026-08-13 08:11:41 +08:00
TermiNexus 97f765fcb3 fix(stubgen): vpi 生成 CArray count 数字常量输出数值而非 t.CInt
_PyiTypeStr 的 Constant 分支对 CONST_INT/CONST_CHAR 默认回退 "t.CInt",
t.CArray[t.CUInt32T, 64] 的 count 被生成成 t.CInt,加载 stub 时触发
TypeError(count 必须是整数常量)。修复:输出数值本身。
2026-08-13 08:11:41 +08:00
TermiNexus 1f4b231134 refactor(stmt): 还原 translate_with 直接属性访问(TPC 联合转换修复后)
TPC 6a67203 修复了联合类型转换 (X | t.CPtr)(arg) 后属性访问被丢弃的编译损坏,
9f7333b 引入的中间变量 workaround(call_ce/nm_cfn/ovn)不再需要,
还原为直接 ((ast.Call | t.CPtr)(ce)).func 等写法。
2026-08-13 07:51:13 +08:00
TermiNexus 9f7333b0f2 fix(stmt): translate_with 属性访问改用中间变量,规避 TPC 编译损坏致 asname 未绑定
TransPyC 编译 translate_with 时,联合类型转换后直接取属性(如
((ast.Name|CPtr)(ov)).id / ((ast.Call|CPtr)(ce)).func)的属性访问
(GEP+load)被编译器丢弃——编译产物 75904e6cbc83036b.text.ll 显示
store %asname 0 次、load 3 次,asname 恒 null → pool 从未绑定到
SymTab → body 内 pool.alloc 方法调用检测 lookup_var 失败 → 误报
"跨模块调用 'pool.alloc' 找不到模块 SHA1"。同理 cfn 恒 null 导致
cls_name(AnnotClassName)也设置不上。改为先转换到中间变量再取属性
(代码库已验证编译正常的 cmn 模式),修复 3 处(L264/L279/L298)。
2026-08-13 07:37:20 +08:00
TermiNexus f1530aac91 fix(stmt): with 的 asname 注解类名带模块前缀,修复跨模块方法调用解析
translate_with 提取 context 类名时只取裸类名(MemPool),跨模块调用
(如 pool.alloc)的 AnnotClassName 回退需模块限定名(memhub.MemPool)
才能按模块查 SHA1,裸名导致方法调用判定失败、落入"跨模块调用找不到
模块 SHA1"误报。改为与 AnnAssign 的 extract_class_name_from_annotation
一致:Attribute func(memhub.MemPool)生成 "memhub.MemPool" 注解类名。
2026-08-13 07:12:27 +08:00
TermiNexus a6d1a6f9ae feat(stmt): 支持 with 语句翻译(__enter__/__exit__ + MRO 解析)
对齐 TPC HandlesWith 核心语义:构造 context 对象 → 调用 __enter__()
(沿继承链 MRO 回退,如 MemPool → MemManager)→ asname 绑定返回值
→ 翻译 body → 逆序调用 __exit__()。context 对象存入临时变量
__with_ctx,方法调用复用 translate_call 的 Attribute 分派 +
_translate_method_call 的 MRO 回退;嵌套 with 时保存/恢复外层
__with_ctx 避免类型串扰。修复 "with memhub.MemPool(...) as pool:"
报 SyntaxError 未知语句类型 kind=21。
2026-08-13 07:07:00 +08:00
TermiNexus 39ddf11ddc fix(stmt): 移除 raise 翻译中无效的 LLVMType.Double 模式,修复 llc 报错
LLVMType 是 REnum,Float(Bits) 变体已覆盖 double(Bits=64),无独立
Double 变体。case LLVMType.Double(_db) 被 TPV match 按未知变体处理
(匹配一切),导致 Int(32) 等整数返回类型的 raise StopIteration 落入
Double 分支生成 ConstFloat(0.0) 位模式常量(0x0000000000000000),
ret i32 0x0000000000000000 被 llc 判为 "floating point constant invalid
for type"。删除该分支后整数返回走 case _ 的 ConstZero。
2026-08-13 06:59:25 +08:00
TermiNexus 07e1efeb82 fix(gen): 移除 vtable 临时诊断代码并扩容 MAX_FUNCS 256→1024
1) 移除 _generate_vtable 中临时诊断块(含 self.find_func_global 调用),
   该调用被当成 ClassGenMixin 类方法 mangling 导致 bootstrap 链接失败
   (undefined symbol: ClassGenMixin.find_func_global)。
2) MAX_FUNCS 256→1024:VpiReader 注入依赖 declare(~102)+ 大模块方法
   (stmts 162 个)累积使函数表恰好溢出,ImportFrom.dump 等第 257 个
   注册静默失败 → vtable 缺实现误杀。同步 7 处(HandlesTranslator/
   TranslatorGenMixin 常量 + ClassGenMixin/FuncGenMixin/VpiReader 硬编码)。
2026-08-13 06:54:40 +08:00
TermiNexus 9d0ecf1c5d fix(call): translate_call 无条件查询全局默认参数表,修复未初始化 gd_entry 崩溃
同模块带默认参数函数命中时 gd_entry 仅在 if df_defaults is None 块内
赋值,下方 _build_const_from_snapshot 读到未初始化栈垃圾指针(本次
0x7ead438f),解引用 gd_entry.ConstKinds 触发 ASan access-violation
(翻译 parser.vp 时随机崩溃)。改为与 _translate_method_call 一致,
find_func_defaults 无条件执行,同模块命中时快照优先、AST 回退兜底。
2026-08-13 06:54:32 +08:00