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
63 Commits
Author SHA1 Message Date
TermiNexus 8461a3da47 fix(viperc): typedef 强转补充 stdint/win32base 解析兜底 2026-10-19 19:16:46 +08:00
TermiNexus 08fe5a7b6b fix(viperc): 支持多级模块路径的 typedef 强转（win32.win32base.LPCWSTR） 2026-10-19 19:16:00 +08:00
TermiNexus 42b094a575 refactor(viperc): 退役 t/c 模块标记，内建类型改由编译器直接识别 2026-10-18 12:56:57 +08:00
TermiNexus 3242560d02 支持 tls 关键字，全面准备清退 t, c 2026-10-17 23:40:06 +08:00
TermiNexus 813b59e25f fix(viperc): 修正 (expr).method() 接收者误入 get_attribute_ptr 导致的 strcmp(_,0x1) 崩溃 
- 表达式接收者分支（L1236 设计上可收 BinOp/Subscript/Call）在接收者求值非指针时会调 get_attribute_ptr；该 API 只接受 Attribute，内部直接强转成 ast.Attribute 并读 .attr，对别的节点会命中偏移 9 的字段：BinOp 的 op（OpKind.Sub=1）、Name 的 ctx（ASTCtx.Store=1）等，于是把整数 1 当字符串传给 strcmp → ASan access-violation on 0x1

- 现在仅当接收者确为 ast.Attribute 时才走“取字段地址”，其余节点保持已翻译的接收者值（与旧实现的回退结果一致）

- 现场：Test/OopInheritTest/App/main.vp 的 (a3 * 2.0 - a4).cross(a5)，接收者 BinOp 的 op=Sub=1
 2026-10-14 17:57:01 +08:00
TermiNexus d206abf3e1 chore: 全仓同步 w32→win32 模块改名与 range(int(...)) 显式收窄适配 2026-10-12 20:59:11 +08:00
TermiNexus 5c1b882169 chore(gen): c.CIf 家族移除报错覆盖 CElif/CElse/CEndif，注释口径统一为 cif 
ExprGenName / CallGenDispatch 的「已删除拼写」守卫原本只认 CIf/CIfdef/CIfndef，现补齐 CElif/CElse/CEndif 六个（与 TPC 侧一致），报文同步；StmtGenCifMixin 的头注释、docstring 与状态注释把语句统一称作 cif，内部标记仍写作 c.@CIf 族。
 2026-10-07 19:10:05 +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 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 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 feb29fa7a3 fix(generic-func): 发射特化调用改传符号名（callee: str）而非 Function*，修复生成空 @ 的非法 IR 2026-10-03 14:18:14 +08:00
TermiNexus 692998820c feat(generic): 泛型函数类型实参推断与单态化 
支持 def f[T](x: T) -> T 及 f(x)/f[T](x)：模板注册（Phase1Scan/Phase2 顶层 FunctionDef，键 {sha1}.{name}）、按形参注解对齐从实参推断类型实参（无来源即 fail-fast，不静默默认 int）、克隆模板并 set_generic_context 后翻译生成特化体（名字 {sha1}.f[int]，规范化复用 _mangle_generic_class_name）、同签名去重、跨模块按模板签名补 declare。泛型函数模板不再发 vpi（模板签名含未绑定 T），也不再发射 int 兜底版本。已知限制（未静默）：bound [T: bound] 解析期已被丢弃；t.CExport/t.CExtern/t.State 泛型函数、关键字/默认参数调用、mod.f[T](x) 显式下标等暂 fail-fast 或走既有报错。
 2026-10-03 11:59:26 +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 4eec3f0908 feat(dunder): 补齐 dunder 协议（__bool__/__call__/__str__/__abs__/__del__/**/增量/反向） 
- __bool__：ExprGenOps.coerce_cond_to_bool 统一 if/while/and/or/not/三元/协程条件的真值归一，优先调度 __bool__

- __call__：obj(args) 分发到 obj.__call__（CallGenMixin 裸名分支）

- __str__：str()/print/f-string 调度（CallGenDispatch/CallGenLeafKit/ExprGenFstr）

- __abs__：abs(obj) 调度（CallGenMixin）

- __del__/__delete__：del obj → __delete__；del obj.attr 无 property deleter 时回退对象 __del__

- ** / __pow__：新增 llvm.pow 内联（整数按常量指数回写），_binop_to_dunder 补 Pow

- 增量赋值：__iX__ 优先、缺失回退 __X__（新增 _aug_op_to_dunder）

- 反向运算符：新增 _rbinop_to_dunder，lhs 无 dunder 时调度 rhs.__rX__
 2026-10-03 00:40:00 +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 b289e93650 fix(泛型实参 T* 形): 补齐 T* 消费侧（VpiReader 段解析 / AnnotClassName 提取 / 构造推断） 
唯一规范形 T*（rawptr[T] ≡ t.CPtr[T] ≡ T|t.CPtr，见 83baf5a/2b2b70e）落地后，
所有"读**已归一实参文本**或**结构体名**并做文本解析/嗅探"的点都必须接受 T* 形，
否则会**静默**走错分支（不是报错，更难发现）：

- VpiReader._resolve_single_vpi_type_str：尾随 * 段按层重写回 rawptr[...] 文本形
  再走原分支（与既有 rawptr[ 分支逐字等价）。必须补的原因：_subst_template_arg
  用特化类名 [...] 内的**已归一实参**替换模板注解里的 T，喂进来的就是 {sha}.AST*；
  旧代码只认 rawptr[ / t.CPtr[ / 裸 t.CPtr ⇒ 落到 strrchr('.') 取末段 "AST*"、
  查 struct miss ⇒ 返回 None/i8*，跨模块参数/返回宽度被悄悄收窄。
- ExprGenCls / AssignGenMixin 的 _extract_annot_class_name（各 2 处）：段尾剔除集
  补 '*'，剥后再 find_struct（旧形态 {sha}.AST|t.CPtr 按 '|' 分段能命中，新形态
  不剥则 miss ⇒ 返回 None ⇒ 链式 .get(0).kind() 分派退化）。
- CallGenCtor._infer_generic_ctor_type_arg：新增 _ptr_layer_type_arg —— 先经
  _norm_type_arg_name 归一（保证类名带定义模块 SHA1，否则裸 "AST*" 无法再归一、
  反而新分裂），再按 VarEntry/FieldEntry 的 Spec.PtrLevel 补 '*'，使构造侧推出的
  类型实参与注解侧同票名（否则 Box(x) 这类隐式特化分裂成两个结构体）。
- CallGenDispatch.__sizeof__：'*' 判据由 strrchr 改为**尾随**判定 —— 原写法会把
  list[{sha}.AST*]（元素为指针的容器）误判成指针并返回 8。

现场：Test/AstTest/App/main.vp:21 的 list[ast.AST | t.CPtr] | t.CPtr 特化链
（→ includes/_list.vp:36 T.__sizeof__()）。
 2026-09-30 21:16:48 +08:00
TermiNexus 2b2b70e636 fix(CallGenDispatch): __sizeof__ 认归一后的指针规范形 T*（尾随 * 一律按 8） 
泛型实参归一为 T* 后，T.__sizeof__() 的实参串如 {sha}.AST* 既不命中 | 也不命中 rawptr[ 前缀，落回把接收者 Name(T) 当实例翻译 → NameError: 未定义名称 T（现场 Test/AstTest/App/main.vp:21 特化 list[ast.AST|t.CPtr] → includes/_list.vp:36）。在既有两条指针判据旁补尾随 * 判据（同一处、同一顺序，均在 dot-strip 之前）。
 2026-09-30 20:58:02 +08:00
TermiNexus f3c708613f refactor(TransPyV): 统一自举写法（字段默认值/novirtual/define/enum/指针注解） 
- CallGenBase：字段声明处直接给默认值，InitCallGen 不再逐字段赋值
- CallGenFd/CallGenDispatch：@t.NoVTable 改 novirtual，清理过时注释
- VLogger：LogLevel 改 enum、t.CDefine 改 define 关键字、Logger|t.CPtr 改 Logger*、longjmp 用 rawptr
- Generator：_g_gen 由 Generator|t.CPtr 改为 Generator*
- CallGenProp：合并续行
 2026-09-30 19:09:22 +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 75ea6fb9b2 fix(transpyv): 消除隐式向下转型（ast.AST* 实参 → 派生 AST 形参） 
c 源码违规（严格指针规则：基类指针传派生类形参属向下转型，须显式转换）：

1) TranslatorGenMixin._prescan_funcdef_signatures：形参由 ast.FunctionDef* 改为
   ast.AST*，函数体内显式 `fd: ast.FunctionDef* = ast.FunctionDef*(node)`。
   理由：模块级调度器只持有 ast.AST* 子节点，同一处调用的
   translate_function_def / translate_class_def / _register_cexport_from_funcdef
   形参一律是 ast.AST*，本函数是唯一例外（报错现场：第 2 个实参 %"..AST"* 不能
   隐式转为形参 %"..FunctionDef"*）。改为与兄弟入口同口径，调用点无需改动。

2) CallGenDispatch len() 内置分支：_is_list_builtin_receiver 第 5 形参是
   ast.Call*（仅用于 D25 fail-fast 定位节点），实参 len_arg_node 声明为基类
   ast.AST* ⇒ 显式窄化 `len_arg_cl: ast.Call* = ast.Call*(len_arg_node)`。

附：对 App\lib 全量静态扫描（core\Gen 全 47 文件 + Stub/Phase/core/main）确认
此类「基类指针实参 → 派生形参」的隐式向下转型仅此两处，其余调用点均为同类型
或向上转型（规则允许）。

同文件另含仓库内既有书写整理（续行合并），无行为变化。
 2026-09-28 20:20:56 +08:00
TermiNexus 3bed3a70a6 docs(len): len() 两条 fail-fast 报文措辞与 TPC 逐字对齐（行为零改动） 
补上「只支持 定长数组/数组指针、i8*（str/bytes）、带 __len__ 的结构体」+「非 i8 裸指针没有长度语义」的正确做法提示，与 TPC HandlesExprBuiltin._LEN_SUPPORTED_HINT 一致，便于用户对照两侧报文。
 2026-09-28 15:53:09 +08:00
TermiNexus 87f5b1026c chore(gen): 删除 CallGenDispatch 的 [MDISP] 临时探针及其专用 import stdio 
该探针（并排取证 __with_ctx.__enter__ 与 pool.alloc 的 H6 判据命中差异）为定位 MpoolOopTest 的「跨模块调用 pool.alloc 找不到模块 SHA1」临时加入，现缺陷已定位，探针与其唯一使用者 import stdio 一并移除；非 local 对象分派逻辑不变。
 2026-09-27 12:32:52 +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 7d28c9649e feat(gen,err): CastError 定位到出错表达式；vpi 生成 fail-fast；函数属性接受直接形态 
- ExprGenBase：新增 _cast_fail_where，指针/整数隐式转换失败时打印出错表达式与列号（多实参调用可定位到具体实参，如 Name 'toggle_ptr'）

- Converter：import / from-import 别名列表为空、Alias 指针为空、name 为空分别 fail-fast，不再写出 import ,  这类残缺 vpi 行（该残缺会让包重导出注册失效，报出与根因无关的 NameError）

- FuncGenBase.extract_func_attrs：接受直接 @t.attr.<name> 装饰器形态（与类侧 _has_decorator 同口径），使 inline def 在无 import c 的文件里也生效

- 附：CallGenDispatch 内保留一处临时 [MDISP] 探针（MpoolOopTest pool.alloc 定位用）
 2026-09-27 11:41:11 +08:00
TermiNexus f0309e4904 fix(gen,renum): 指针操作符目标写入落盘 + REnum tag 三侧口径统一，修 kind() CastError 
- AssignGenMixin: 补 UnaryOp(Deref) 赋值目标分支（*p = v / *&x = *&y），非 Deref 的 &x/-x/~x fail-fast；*p += v 真正实现；Tuple/List 目标合并

- CallGenDispatch: kind() 改四级 REnum 判据（变体表 / struct __tag / pointee 带 __tag / X.field 声明类型反推）；修正 build_load 第一参数误传指针类型 rk_tag_p（生成 load i32*, i32* 使返回值 Ty 为 i32*，导致 CallGenLib.vp:355 vk_a: int = val.Ty.kind() 报指针隐式转整数的 CastError），rk_load 分支同步改 rk_ty.Pointee

- CallGenCtor / MatchGenMixin: __tag 读/写/比统一取字段声明类型 FieldEntry.Ty

- Test/FieldReadTest: 字段读取探针
 2026-09-27 00:19:44 +08:00
TermiNexus 676c19c362 feat(asm,err,typedef): 支持 __asm__/__llvmir__ 裸名与 typedef 语法糖；解析报错统一 Python 风格 traceback 
CallGenCBuiltin/CallGenDispatch: __asm__/__llvmir__ 裸名调用，asminp/asmout/irinp/irout 与裸 ASM_DESCR。

AssignGenMixin: 支持 define NAME: T = V 形式的 CDefine 浮点值恢复；负浮点(-1e308)剥一层 UnaryOp(USub)。

Phase1Main/Phase2: AST 解析失败改调 GenApi.dump_parse_traceback（Traceback + File/行 + 源码行 + caret）。

TypeGenResolve/TypeGenCType: typedef 文本扫描统一支持 typedef 语法糖（builtins/库/单文件三处共用同一解析）。
 2026-09-25 13:11:16 +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 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 ea2abba574 refactor(tpv): 删除 _deps_pending 置位面与 Phase A pending 多遍收敛机制 
69 个工程成功编译且 _phaseA_pending.log 恒 0 字节，证实 14 个置位点全部零命中。删除 14 个 _MarkDepsPending 调用点（原「依赖未就绪」分支保留默认类型或原报错路径）；删除 _MarkDepsPending 与 _AppendPhaseAPending 及 _phaseA_pending.log 读写；删除 Phase A 出口「pending 则不写盘、回滚 MethodsEmitted、continue」整段；删除 _deps_pending 与 _pf_dbg_pend_flagged 字段及全部读取分支；清理遗留探针 [PF-DBG] 与 [METHDBG]。16 files changed, +37 / -558
 2026-09-12 19:24:52 +08:00
TermiNexus 967095df5b refactor(tpv): _deps_pending 置位收敛到唯一入口 _MarkDepsPending（S4 第一步） 
- CallGenBase 新增 _MarkDepsPending(trans,kind,cls,method,dep,extra)：一处实现「置标志 + 统一格式 [DEPDBG] + 持久化 _phaseA_pending.log」三连

- 14 处置位点（D7-1 清单：attr_read/attr_write/method_ret/mro_ret/mro_anc/special_ret/prop_ret/dispatch_ret/dispatch_sp/func_ret/func_mangled/global_stub/class_parent/class_field_ty）全部改经该入口

- 行为不变；DEPDBG 行格式统一为 pending(<kind>): mod=.. cls=.. method=.. dep=.. extra=..，供下一步按 kind 统计命中数、删除死点
 2026-09-12 13:53:20 +08:00
TermiNexus 82eea2719f refactor(tpv): rowptr[T] 迁移 + D 表定长缓冲改精确分配 + SHA1 前缀判定收敛（D1/D3/D4/D5/D6/D7/C10） 2026-09-12 11:09:35 +08:00
TermiNexus ae63f4f6ab refactor(tpv): 容器判断改基名精确比较（SpecTypeNameBaseIs） 
TypeSpec 新增 SpecTypeNameBaseIs(name, base)：基名 = 截断第一个 '[' 起的泛型实参后，取最后一个 '.' 之后（去模块名 / LLVM 注册名的模块 sha1 前缀），再精确比较；零分配，复用 _spec_name_eq。

4 处容器判断改写：StmtGenCifMixin:1133/1142/1498（读注解名）、CallGenDispatch:1685（读 LLVM 注册名）。原 strstr 子串匹配会误命中 MyDictHelper / playlist；副作用是 GSList 等用户类不再被误判为内置 list，改由 OOP __iter__/__next__ 路径处理。第 5 处 CallGenMixin:973 的 CPtr 属标记判断（SourceName 会丢掉联合里的标记），需先定标记语义，本次不动。
 2026-09-12 10:10:14 +08:00
TermiNexus 95133d8483 refactor(tpv): 变量/字段注解类名读取统一走 Spec.SourceName 封装 
- VarGenMixin 新增 var_annot_class_name（SourceName 优先，回退 AnnotClassName）
- 变量侧类名恢复与诊断读取切读：ExprGenAttr(5) / ExprGenOps(6) / ExprGenName(1)
  / CallGenDispatch(3) / CallGenCall / CallGenProp / CallGenVt / ExprGenCls / AssignGenMixin / MatchGenMixin
- ExprGenAttr 字段侧直读改走 get_field_annot_class_name
 2026-09-11 22:02:28 +08:00
TermiNexus b8470c1cae fix(tpv): 拓宽方向统一为单一真源，并修 TypeStr 变参与 should_zext_widen 缺参 
三项独立缺陷（均来自类型系统盘点 _Type.md D7）：

1) should_zext_widen 签名缺 trans 形参，函数体内的 trans 退化为隐式全局（恒
   None），而 translate_binop 两处调用早已在传第 5 实参（被静默丢弃）⇒ 注释所
   述「源无符号 → zext」补救从未生效：Name/Subscript 形态的无符号源（uint16/
   uint32 变量、数组元素）在比较/二元路径恒被 sext 扩展（ide.vp/timer.vp 根因）。
   修：should_zext_widen 补 trans 形参并明确为拓宽方向的单一真源；
   translate_compare 两处补传 trans；ExprGenBase._zext_or_sext_val 改为委托
   should_zext_widen（wide_val=None 使「宽侧常量」启发式自然失效）。

2) _translate_t_type_cast 原以「目标类型名符号性」决策整数拓宽，且 target_name
   未知时默认 zext，与 coerce_to_type / should_zext_widen 的默认 sext 极性相反。
   修：统一由源的符号性决定（与 coerce 同源），并删除已无使用点的 target_name
   形参（1 处签名 + 7 处调用点）。

3) TypeStr 生成（FuncEntry.TypeStr 的唯一生产者）与其现算现用副本
   （ClassGenVTable._format_func_type_str）都未打印变参后缀 ...，而 FuncGenDef
   对 *args 会设 IsVarArg=1，且继承方法强制走 TypeStr 回退 ⇒ vtable 中的函数
   指针类型与真实签名不符。修：按 llvmlite IR 打印规则补齐（有参 ", ..."，
   无参 "..."）。
 2026-09-11 19:57:18 +08:00
TermiNexus cfb92e5da5 初步清理 t. 类型异味 2026-09-11 18:36:32 +08:00
TermiNexus e66d9e3adb fix(tpv): 修 N 系列 codegen 缺陷（常量位宽/无符号判定/实参扩宽/结构体取址） 
- N1 ExprGenConst/CallGenDispatch: CONST_INT 按 target_ty 位宽物化, 修 uint64(0xFFFFFFFFFFFFFFFF) 被降 i32 再 zext

- N2 ExprGenOps: 新增 _call_ret_annot_unsigned 查被调方 vpi 返回注解, 修 uint32 返回值 >> 生成 ashr

- N3 TypeGenResolve: 联合注解提取跳过存储类限定宏, 修模块级全局 uint32 比较生成 sge/slt

- N5 CallGenLib: 常量实参按形参扩宽 + _coerce_args_to_def_params 支持 3 段方法调用

- N17 CallGenLeafKit/CallGenMixin: 默认值表按定义模块 sha1 限定 + 收紧交叉校验守卫

- N18 ExprGenBase/CallGenLib: rvalue 结构体实参落栈取址
 2026-09-11 15:50:09 +08:00