GVSDS/TransPyC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
329 Commits 1 Branch 0 Tags
809f9d08faffc5ada0ace0f38de2cc918d5fd678
Commit Graph
124 Commits
Author SHA1 Message Date
TermiNexus 809f9d08fa feat(len): len() 对「非 i8 裸指针 / 无 __len__ 的 struct」改为 fail-fast（对齐 TransPyV） 
旧实现：非 i8 裸指针（如 []T 形参实为 T*）静默返回常量 0；struct 无 __len__ 时回落 strlen —— 两者都用假长度掩盖错误。

新口径（两侧逐字一致）：定长数组/数组指针 → 常量 N；i8*（str/bytes）→ strlen；带 __len__ 的结构体 → 调 __len__；其余一律编译期 TypeError。

新增 _LEN_SUPPORTED_HINT 共享提示语 + _FailFastLenUnsupported 出口（含 行:列 + 源码片段 + 正确做法）。HandlesExprCall.py 为同源死代码副本，一并同步语义未删。
 2026-09-28 15:53:02 +08:00
TermiNexus 97c196bfc7 feat(cast): 放行数组退让（[N]T* → T* 单向），与继承上转同处判据 
在 _ClassifyPtrImplicitConvert 的“被指类型非基本”分支里、继承上转之后加数组退让分支：源的被指类型是 ir.ArrayType 且其 element 与目标被指类型相同 ⇒ 放行（C/C++ 同口径）

判据顺序（两侧一致）：层数不同即禁 → 完全相同放行 → 通用指针通配 → 标量无损/有损 → 继承上转 → 数组退让 → 否则 DENY；反向 T*→[N]T*、多维只退一层（[N][M]T*→[M]T* 放行、→T* 不放行）
 2026-09-28 15:38:41 +08:00
TermiNexus 171b0e3eeb fix(cast): 补继承上转豁免（Derived*→Base* 允许隐式转换），修 MemBuddy*→MemManager* 被规则③误拦 
_ClassifyPtrImplicitConvert 由 staticmethod 改实例方法（全仓 5 处调用均为 self./Gen.，无 unbound 调用）；新增 _ClassNameOfPointee（复用 Gen.find_struct_by_pointee + 短名回退）与 _IsInheritanceUpcastPointee（复用 Gen._get_mro_chain）；两指针皆非基本标量时先判上转再判禁

保持：Base*→Derived* 仍禁（下转须显式强转）、无关结构体互转仍禁、通用指针通配/层数/完全相同/None/构造物化/标量无损口径不变
 2026-09-28 15:29:41 +08:00
TermiNexus 9f8190d58f fix(cast): 无损口径对齐 TPV + 规则③豁免构造物化（p: Point = Point() 放行，真实 Foo*→Foo 仍禁） 
_ScalarConvertLossless 改为与 TPV 一致：int↔int 全向允许、float↔float 全向允许、int→float 需目标浮点位宽≥源整数位宽、float→int 不允许（此前把整数↔浮点一律判有损，两侧不一致）

新增 _ValueNodeOf / _CtorCallStructType：指针→非基本值分支先豁免构造物化（Call 被调方命中 Gen.structs 且类型同一），其余保持禁止；报文前缀与 TPV 逐字一致；诊断沿用 _DescribeValueNode

已知未覆盖：TPC 无对称的“值→指针”检查；泛型构造不豁免；别名导入的类名可能命不中（保守不豁免，只误报不漏放）
 2026-09-28 15:17:48 +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 35de6321f6 refactor(return): 移除 @c.CReturn 多返回值处理器，只保留 -> tuple[ty1, ty2, ...]，遇到 CReturn 一律报错 
DeclarationGenerator：tuple[...] 分支逐字保留（仅 CReturnTypes 机械改名 MultiRetTypes），装饰器分支改为 SyntaxError，报文含函数名与“请改用 -> tuple[ty1, ty2, ...]”提示

HandlesAssign（a, b = f() 解包路径）：删除装饰器收集分支并改为报错；tuple[...] 恢复与逐个解包逻辑逐字不变

HandlesFunctions：新增 _CRETURN_REMOVED_HINT 与 _RejectCReturnDecorator，在函数定义入口（_GetFunctionSignatureLlvm / _EmitFunctionLlvm）fail-fast——即使只有装饰器、没有 -> 注解，也不会让返回类型静默退化成 i32

HandlesImports：外部函数声明处同样报错，并删除下游已失效的 CReturnTypes 参数拼接死代码

HandlesReturn / HandlesFor / BaseTranslator：CurrentCReturnTypes 等机械改名（读写端一致，无行为变化）

includes/c.py：保留 CReturn 名字作墓碑（删掉会让 @c.CReturn 变成未知属性、可能被静默忽略），docstring 写明已移除并指路 -> tuple[...]；README 措辞同步
 2026-09-28 13:57:04 +08:00
TermiNexus e5a6616f8b feat(static): static 修饰符改为语句起始前置 + 新增 static def（旧的注解位置响亮失败） 
vast/Parser.py：ParseStatement 与 _ParseDecorated 新增 static def 分派（判据要求第 2 个 token 是 def，故 static = 5 / static x = 5 不会被误吃成函数定义）；新增 _ParseStaticDef，镜像 _ParseExportDef 但**不改写返回注解**、而是在既有装饰器之后合成 @t.CStatic

SymbolUtils.py：_TYPE_DESCRIPTOR_MARKERS 删掉 static；新增 _StaticPositionSyntaxError 与 _InStaticOldAnnotationPosition，旧注解位置（名字: static 类型）一律 SyntaxError 并提示前置形式，绝不静默改写；_EXPORT_EXTERN_MODIFIERS 加入 static，_ExpandExportExternVar 新增前置分支——export/extern 追加在类型右侧（或 t.CExport / 或 t.State），static **前置在类型最左**（t.CStatic 加竖线），允许初值；数组前缀展开仍在修饰符展开之前

与 includes/ast/parser.vp 的 pending_static 通道同源：static 名字: 类型 = 值 产出与手写 名字: t.CStatic | 类型、装饰器 @t.CStatic 逐字段同形
 2026-09-28 13:49:28 +08:00
TermiNexus f9957787a0 feat(codegen): TPC 模块级 t.State 全局只声明不定义（external linkage） 
extern 名字: 类型的展开产物（名字: 类型 | t.State）：本模块生成 @名字 = external global T，不写定义（否则 duplicate symbol）

位置早于「已存在则升级 common 定义」分支，避免 extern 被反向升级成定义；与 import 侧 _EmitExternalGlobalDeclLlvm 同名分支同口径

export（t.CExport）侧无需改动：TPC 模块级全局本就用裸名（_mangle_name 不作用于全局变量），裸名导出语义天然满足
 2026-09-27 18:01:49 +08:00
TermiNexus 6fce79d531 feat(symbols): TPC 侧同步 export/extern 变量声明语法糖 
新增 _ExpandExportExternVar：export 名字: T [= 初值] → 名字: T | t.CExport [= 初值]；extern 名字: T → 名字: T | t.State；extern 带初值响亮失败 SyntaxError

排在 _ExpandArrayPrefixAnnotations 之后（先让注解规范化，再插标记）；_AtAnnotationColon 把 export/extern 认作语句边界，使数组前缀仍能脱糖

新增 _NextSignificantTokenIndex；ExpandSoftKeywords 文档改列九种展开
 2026-09-27 18:00:54 +08:00
TermiNexus 4346552c72 feat(symbols): TPC 侧同步 renum 语法糖，renum X: 展开为 class X(t.REnum): 
新增 _ExpandRenumBlocks（与 _ExpandUnionBlocks 同构，只改写头行）并接入 _ExpandSoftKeywordsImpl

行首 renum 的非 renum 名字: 形态响亮失败 SyntaxError（renum 不作标识符）

同步 TransPyV/includes 46cd4b4 的解析侧支持；ExpandSoftKeywords 文档改列八种展开
 2026-09-27 17:53:23 +08:00
TermiNexus e1a2821bff fix(tpc): 函数声明创建幂等化，消除 DuplicatedNameError 
同名声明只在 module.globals、不在 Gen.functions 时，旧代码会再走 ir.Function，而 llvmlite 的 NameScope 按名字去重（GlobalValue.deduplicate_name=False）必抛 DuplicatedNameError。GetOrCreateStubFuncDecl（含 check_existing=False 路径）、GetOrCreateFuncDecl、win32console 内建声明、output-stub 按需载入四处统一先复用 module.globals。真实事故：VarGenMixin.vp 同一模块两处 self.Gen.ExprGen.translate_value(...) 都走 check_existing=False，第二处崩在 llvmlite。
 2026-09-27 16:18:37 +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 5825e7e000 feat(codegen): 单目 & 支持对构造调用/函数调用结果取址 
与 TransPyV 侧 ExprGenOps._addrof_of_call 同口径：复用 _HandleUnaryOpLlvm 已求值的 OperandVal；构造调用 _HandleClassNewLlvm 返回临时对象的 Ptr(Struct)，原样返回；其它类型落到 allocaEntry 临时槽。避免二次求值导致 __before_init__/__init__ 跑两遍。
 2026-09-27 15:16:08 +08:00
TermiNexus ae02431dd2 fix(descriptor): static 作为注解位置存储类描述符（名字: static T） 
_TYPE_DESCRIPTOR_MARKERS 增加 static -> CStatic，与 const/volatile 共用同一展开器与注解位置判据；static 仅在注解位置生效（冒号后 / 形参 / 返回箭头后），非注解位置的 static 标识符与 static_libs 之类子串不受影响。缺类型（a: static）现在响亮失败而非静默退化。

修用户报告：a: static int（TransPyV/App/main.vp:56，ViperOS 驱动同款 pack_head: static uint32 = 0 广泛使用）此前注解位置未被消费，static 退化成一个类名并被建成 opaque 结构体，产出 a 的类型为 模块sha1 点 static 的 zeroinitializer 全局，llvm-link 报 invalid type for null constant。现展开为 a: t.CStatic | int。

回归：306 个 .vp 中 105 行被改且全部含 const/volatile/static，0 处意外改动；main.vp / mouse.vp / keyboard.vp / devfs.vp / fat32_types.vp 展开后 vast.parse 全部通过。
 2026-09-27 14:18:45 +08:00
TermiNexus 64538e08f8 feat(descriptor): 注解位置 __attribute__(...) 脱糖为 t.attr.*，并支持 []T 自动推导数组 
SymbolUtils 新增 _ExpandAttributeDescriptors：注解位置（冒号后 / 形参 / 返回箭头后，可与 const/volatile 混写）的 __attribute__(a, b(x)) 文本脱糖为 t.attr.a | t.attr.b(x)，与 TPV includes/ast/parser.vp 的 _IsMagicAttributeCall/_MakeTAttrMarker 同源；紧跟的 C 风格前置数组前缀 [N]T / []T 在同一次编辑里一并脱糖为 t.CArray[T, N] / t.CArray[T, None]（None = TPC 既有长度自动推导数组，见 HandlesAssign.py:1606）。

修 TransPyV/App/main.vp:44 —— V_TPV_VERSION: __attribute__(section('.PRVERSN')) []char = '...' 此前 []char 被 vast 当成 __attribute__ 调用的下标，报 unexpected token OP(']')（与根因脱节）；现展开为 t.attr.section('.PRVERSN') | t.CArray[char, None]。

把 _AtAnnotationColon 从 _InArrayAnnotationPosition 抽出，数组前缀与属性描述符共用同一注解位置判据，避免两份副本分叉。回归：306 个 .vp 仅 main.vp:44 一行被改，无意外改动；11 条合成用例与 main.vp 全文件 vast.parse 均通过。
 2026-09-27 14:06:04 +08:00
TermiNexus 3b5d85ce9d fix(handles): 补指针操作符目标写入与实参解引用，消除静默丢弃 
- HandlesAssign: 新增 ast.UnaryOp 赋值目标分支（*p = v 复用 _StoreWithCoerce）；Tuple/List 目标合并；删除 Tuple 分支里未绑定的死代码（UnboundLocalError）

- HandlesAugAssign: 新增 ast.UnaryOp 目标分支实现真 *p += v，其余形态 fail-fast

- HandlesExpr: 新增 ast.Starred 分支，值位置 *p 归一为 UnaryOp(Deref)（修 t.CPtr(*((uint64*)(blk))) 恒为 0）
 2026-09-27 00:19:44 +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 53a345a59a feat(ctrlc-stack): 新增 --ctrlc-stack 编译期开关（按键打印 .vp 调用栈） 
Config/Phase2Translator: --ctrlc-stack 自动开 DWARF；缓存失效；链接后 llvm-dwarfdump 导出 <exe>.stackmap（逐条归一化为 RVA——旧的整体判据会被 lld 去重产生的 0 地址行带偏，导致全表差一个 ImageBase）；链接参数追加 -ldbghelp；include 也生成 DWARF 并隔离到 includes.binary_ctrlcstack(_asan)；llc 追加 -frame-pointer=all。

BaseGen._RegisterDbgStackInstallViaCtor + StructGen.finalize 钩子: 注入 llvm.global_ctors(priority 65535) 在启动期调用 dbgstack.Install()，写盘前核对 global_ctors 否则 fail-fast。

FuncGen._adjust_args: 指针到整数的 fail-fast 补逐项类型诊断。
 2026-09-25 13:11:13 +08:00
TermiNexus f7ace9876d fix(vararg): va_arg/arg 类型解析改走注解解析同源并 fail-fast 
- _resolve_vararg_type 覆盖 builtins/库/符号表 typedef 与 T* 指针后缀，不再对手抄名单之外的名字（如 uint64）静默回退 i32
- i32 回退会让 Win64 8 字节变参槽被 trunc 丢高 32 位：viperlib vsnprintf 的 %016llx 因此只打印低 32 位，ConstFloat 的浮点常量名（即常量值）退化为真值低 32 位零扩展，double 字面量全变 0.0
- _HandleArgLlvm / _infer_vararg_type_from_context 统一调同一入口，消除三份同源重复解析链
 2026-09-24 20:41:05 +08:00
TermiNexus 2cc816ac13 修复了一些错误 2026-09-18 20:00:59 +08:00
TermiNexus 6af2dea917 修复了一些问题 2026-09-17 14:52:37 +08:00
TermiNexus 43e7cdd2cc feat(tpc): 函数级 DWARF 调试元数据 + 合并 IR 元数据规整 
DWARF: 新增 LLVMCG/DebugInfo.py（DebugInfoEmitter）——每模块一个 DIFile/DICompileUnit、每个 define 一个 DISubprogram 并在函数入口首条指令挂 DILocation，模块落盘前补 !llvm.dbg.cu 与 !llvm.module.flags(Debug Info Version 3)。开关：新增 --dwarf（默认关闭），dwarf_enabled = args.dwarf or args.asan，沿 Phase2Translator → _translate_file → Translator.DwarfEnabled → LlvmCodeGenerator.dwarf_enabled 下传。define 之外的 declare 不挂。include 库刻意不给 DI（其 .obj 进跨项目共享的 includes.binary 缓存，注入会污染缓存）

关键约束（踩过的坑，已在探针中实测）：DICompileUnit 与 DISubprogram 必须 is_distinct=True；emissionKind 用 FullDebug 而非 Full；spFlags 用 DISPFlagDefinition；DISubprogram 必带 type=DISubroutineType，缺了 llc 会崩 0xC0000005；模块级必须有 !llvm.dbg.cu + Debug Info Version 3

IRMetadataFix: 新增 SanitizeIRMetadata，在 _llc_compile 入口统一规整 IR——BuildCombinedIR 是多模块 IR 文本直接拼接，--dwarf 后每个片段自带 !0..!N 与两份命名元数据，22383 行样本里 !0/!1 各重复 67 次导致 opt/llc 报 Metadata id is already used。实现：按块重编号 !N 并改写 !dbg/命名元数据引用、!llvm.dbg.cu 全量聚合、其它命名元数据全同去重；无元数据文件逐字节 no-op、幂等（1.7MB/0.30s）

顺带修 _AddWeakComdat：函数头正则跨行吞换行，--dwarf 把 !dbg 放到 define 行尾后 comdat 被插到 ! 附着之后，llc 报 expected { in function body（现场 52 个 define 中 36 个中招）；改为插在附着之前，无 !dbg 时产物逐字节不变

已自证：llc/opt RC=0、行表含 .vp 文件名与行号、opt -passes=forceattrs,asan 与 llvm-link/always-inline 均不丢 !dbg。已知待办：llc 现报 inlinable function call ... must have a !dbg location ⇒ 需补语句/调用点级 !dbg（否则警告 ignoring invalid debug info 会丢弃整份 DI）
 2026-09-16 19:29:51 +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 2427a6e992 fix(typecode): 联合类型中 t.CPtr[...] 下标指针按层级合并，与 TPV 对齐 
LLVMTypeMapper 只把裸 t.CPtr 认作指针标记，X | t.CPtr[t.CPtr] 会退化为首段 i8（TPV 定义侧与 TPC 声明侧均为 i8**），跨模块调用点 declare 与定义 ABI 错位：实参传 1 字节、被调用方按 8 字节指针写，ZlibTest 由此触发 ASan heap-buffer-overflow

新增 SymbolUtils.IsCPtrSubscriptNode 判据（对齐 TPV _is_cptr_subscript 的 t.CPtr[...] 判定），_resolve_subscript 与 _resolve_bitor 各增分支，层数复用 TypeAnnotationResolver.from_node(...).PtrCount（先例 HandlesTypeMerge 同手法），使 X | t.CPtr[...] => Ptr^N(X)；裸标记分支逐字未改
 2026-09-16 07:09:09 +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 bf4bab093a fix(hotspot): 深度栈改用 common linkage，修复跨模块 self 记账漏扣 
症状：--hotspot-sites 下跨模块调用链的调用方 self 约等于 inc（子调用 inc 未被扣除），而同模块链正常，导致所有基于 self 的结论带偏差（实测 _translate_module_level 421.9e9/422.0e9、translate_children 164.5e9/164.9e9 等）。

根因：__fhs_tdepth/__fhs_tstart/__fhs_tchild 原为 internal linkage，Projectrans 多模块模式下每个 .vp 翻译单元各持一份独立深度栈；跨模块调用时被调方读到的深度为 0，slot=0，ret 时 slot>0 判定为假，其 inc 永远写不到调用方的 tchild[slot-1]，于是调用方 self = inc - 0 = inc。

修复：三件套改 common linkage，由链接器合并为全程序唯一一份（与本仓库多模块同名全局的既有做法一致）；__fhs_tscratch 与每函数计数器仍保持 internal。已用逐指令 Python 模拟验证：同模块各形态均正确、跨模块独立栈必然漏扣、共享栈后全部正确。

仅 --hotspot-sites 启用时生效，未启用路径逐字节不变。旧的 hotspot_time.txt 在跨模块链上的 self 列不可信，需重新测量。
 2026-09-14 14:35:17 +08:00
TermiNexus 136e9bc33e feat(hotspot): 热点日志在进程退出时也落盘（atexit + 幂等守卫） 
此前 --hotspot-sites 仅由 SetConsoleCtrlHandler 在 Ctrl+C 时落盘，导致正常退出与 fail-fast（VLogger.error 走 sys.exit(1)，底层是 extern exit() 即 libc exit）都拿不到热点数据。

现把两个 handler 主体抽为 void() 落盘函数（__fhs_dump_sites/__fhs_dump_time），新增 __fhs_dump_all 与每模块 internal i32 __fhs_dumped 幂等守卫，并在 ctor/main 入口同时注册 SetConsoleCtrlHandler 与 atexit；Ctrl+C 处理器仍返回 FALSE(0) 保持原有终止行为。同模块只落盘一次，不产生重复段。

覆盖：正常 return、sys.exit(1) fail-fast、Ctrl+C。不覆盖（已在报告中列明）：_exit、abort、崩溃信号、被强杀。不启用开关时 IR 逐字节不变；两个输出文件格式与排序不变。
 2026-09-14 14:08:55 +08:00
TermiNexus 84d91d53e5 perf(hotspot): 计时串行化并改为自身耗时(exclusive)统计 
--hotspot-sites 的每函数计时原为裸 rdtsc 的 inclusive 耗时，导致 _parse_* 一条调用链各项数值几乎相同、无法定位自身成本，且短函数测量不可信。

新增 _EmitReadTimestamp：x86_64 用 lfence 加 readcyclecounter 串行化读（业界通行的 lfence;rdtsc），非 x86_64 编译期降级为裸 readcyclecounter；入口与每个 ret 前共用。选 intrinsic 组合而非内联汇编，避免约束串转义与渲染风险。

用深度栈实现自身耗时：全局 __fhs_tdepth 与 [512 x i64] __fhs_tstart/__fhs_tchild，self = inc 减去本帧内被插桩子调用 inc 之和；递归靠每调用独立 slot 与深度索引天然正确；深度溢出或终结指令非 ret 的块明确跳过不记账（仅计进入次数），不伪造数值。入口段用 select 而非条件分支，避免改动 CFG。

hotspot_time.txt 行为 函数名 self inc 进入次数（仍按 self 降序），段头注明单位 tick 与 self 口径；hotspot_sites.txt 格式保持不变；帮助文本同步更新。未插桩的被调方（含 libc）耗时计入调用者 self，属该方法固有性质并已注明。
 2026-09-14 13:42:14 +08:00
TermiNexus fc5a6134ca feat(hotspot)!: 下线 --func-hotspot 并为 --hotspot-sites 增加每函数计时器 
移除 --func-hotspot 全链路（CLI 解析与绑定、Config argparse 与注入、Translator 属性、LlvmGenerator 收口与透传、BaseGen 专属实现、Phase2Translator 透传、帮助文本）；全仓已无 FuncHotspot/func-hotspot 残留引用。

通用截断逻辑保留并改名为 _InstallHotspotTruncate，供 --hotspot-sites 使用（分别清空 hotspot_sites.txt 与 hotspot_time.txt）；ctor 注册改为直接新建并接收处理器列表（sites 与 time 两个处理器在同一 ctor 内注册）。

--hotspot-sites 现附带每函数计时：入口读一次 @llvm.readcyclecounter() 存起始 tick，在函数所有 ret 之前再读一次并累加差值到 internal i64 __fhs_ftime_N，同时 __fhs_ftime_enter_N 记录进入次数；单位为 tick（x86_64 即 CPU 周期），语义为 inclusive（包含内层调用）。

计时结果按耗时降序写入同目录 hotspot_time.txt（# time <module_sha1> 分段 + 函数名/累计 tick/进入次数），不改变 hotspot_sites.txt 的既有格式与字段。不传 --hotspot-sites 时零影响。
 2026-09-14 13:10:06 +08:00
TermiNexus 2021c0edb7 feat(hotspot): 新增 --hotspot-sites 逐调用点计数并带源码 file:line 
为匹配白名单的直接 call 点插桩 internal i64 __fhs_site_<K>（call 前 +1），计数天然包含循环内放大的真实执行次数，可把热点定位到具体调用点。

新增 --hotspot-callees 覆盖白名单、--hotspot-sites-all 全量；按去 16 位 sha1 前缀后的基名匹配。Ctrl+C 落盘独立文件 hotspot_sites.txt（# sites 分段，含调用方/被调方/计数/源码位置），按计数降序；不破坏既有 hotspot.txt 格式。

在 AST->IR 生成期由 _HotspotSiteBuilder 为每条新生成的 call 指令轻量挂载 _src_file/_src_line，插桩时作为可选尾字段输出；取不到则留空不伪造。开关关闭时改用原生 ir.IRBuilder，零影响。
 2026-09-13 23:29:32 +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 5680592f37 feat(tpc): 新增 --func-hotspot 函数热点统计，Ctrl+C 时落盘 
启用后为每个函数定义生成 internal i64 计数器并在入口递增；各模块 Ctrl+C 处理器以追加方式写最终文件（含 main 的模块启动时清空一次），经 llvm.global_ctors 自注册；未传参数时零影响。
 2026-09-13 17:50:01 +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 015fbf17cf fix(tpc): 跨模块模块级变量类登记与 Mod.Var.Field 链解析；并停止跟踪 __pycache__/*.pyc 2026-09-12 11:51:42 +08:00
TermiNexus 9257dd841f fix(tpc): rowptr[X] 字段 element_class 登记补短名模糊扫描，修 Unknown module 误报 2026-09-12 11:24:49 +08:00
TermiNexus cc2f5d34eb feat(tpc): includes 只认项目配置；ASan 改为显式链接 clang64 运行库 
includes 目录不再回退仓库硬编码 TransPyCRoot/includes：Phase2Translator 新增 PROJECT_INCLUDE_DIRS（INCLUDE_DIRS 置空以兼容旧引用），Config.py 从 project.vpj 的 includes 同步；HandlesImports 的模块搜索、TypeAnnotationResolver._builtins_include_dirs 一律只读项目目录。

ASan：mingw64 clang 没有 x86_64-w64-windows-gnu 目标的 ASan runtime，新增 _FindAsanRuntimeDir 定位 clang64 运行库并按 -l: 显式链接（asan_dynamic-x86_64.dll.a + runtime_thunk），定位失败即报错退出。HandlesExprFormat：i32 不再写 'l' 长度修饰符（LP64 下 printf 会按 64 位读实参）。
 2026-09-11 22:47:21 +08:00
TermiNexus a433f79f54 基线重置，TransPyC 不再作为直接脚手架主仓库 2026-09-09 14:44:44 +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 45e78ad107 基线重置，修复了一些 bug 2026-09-07 14:46:02 +08:00
TermiNexus 60dbdfe8d2 fix(tpc): 方法调用虚分派——变量与模块短名同名时不误入模块函数路径（base.kind 折叠根因） 2026-08-28 10:23:26 +08:00
TermiNexus db80178d2e fix(tpc): is_instance_var 判定豁免与子模块短名同名的已注册变量（base.kind 误判为模块路径） 2026-08-28 08:23:08 +08:00
TermiNexus 63bc435723 feat(tpc): 注解支持 C 风格指针后缀 T*（int* → int | t.CPtr 多级展开） 2026-08-28 08:01:03 +08:00
TermiNexus 0230385891 feat(tpc): 新增单目 * / & 运算符（Deref/AddrOf）AST 节点与 LLVM 翻译 2026-08-28 07:34:58 +08:00
TermiNexus 50ca560563 fix(tpc): list 联合类型方法分派保护 + str 压平条件收紧 + external global 裸名兼容 
- HandlesAssign: 变量已有同 base 声明类型时不再覆盖 var_struct_class（sha1 前缀特化名覆盖裸名，导致 dbody.get 查表 miss 后 fallback 到 list[int].get，i32 返回值被截断成垃圾指针崩溃——TPC 侧根治）
- HandlesExprCall: IdentifiedStructType 真值判断改 is None（opaque 时 bool() 触发 __len__ assert）
- HandlesFunctions/HandlesImports: IsStr 压平条件加 PtrCount<=1，str|t.CPtr(i8**) 不压平；external global 正则兼容裸名格式
 2026-08-24 23:31:08 +08:00
TermiNexus c62153a685 perf(tpc): import 热路径优化——walk 结果缓存 + DebugPrint 参数惰性化 
- import 兜底查找（_EmitModuleDeclarationsLlvm）每次解析失败都 os.walk 递归扫描 includes/工程目录，且多级模块名与 basename 永不匹配纯浪费：改为多级跳过 + 目录 walk 结果类级缓存（编译进程内目录不变）
- DebugPrint 调用点（HandlesTypeMerge 类型查询热路径）无条件构造 f-string 参数（含昂贵的 ast.dump），即使 DebugFile 未设置也执行：改为 getattr(DebugFile) 防护后才构造（单文件 profile：_io.open 1253 次 1.76s + DebugPrint cum 2.24s）
 2026-08-22 06:05:43 +08:00
TermiNexus daf79af1cc fix(tpc): 返回 fail-fast 豁免 void 联合注解与 extern/export 声明型函数 
- sprintf 误报：返回注解 t.CVoid | t.CExport（BinOp BitOr 联合）被旧判定忽略 -> 掉出末尾误报，且 [FATAL] 终止杀死 include worker -> BrokenProcessPool
- 修复：新增 _IsVoidOrDeclAnnotation 递归识别联合注解（注解中 | 表示 and）：void（None/t.CVoid）+ extern/export 声明型辅助符号（State/CExport/CExtern）均豁免
- 验证：t.CVoid|t.CExport / int|t.State / t.CVoid / None -> 豁免；裸 int -> 仍 fail-fast（missing_return 用例保持命中）
 2026-08-22 05:17:03 +08:00