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
34 Commits
Author SHA1 Message Date
TermiNexus 3242560d02 支持 tls 关键字，全面准备清退 t, c 2026-10-17 23:40:06 +08:00
TermiNexus d206abf3e1 chore: 全仓同步 w32→win32 模块改名与 range(int(...)) 显式收窄适配 2026-10-12 20:59:11 +08:00
TermiNexus b03e55bb7e fix(gen): 类归属不采信星号导入候选，收口 fatal_error 返回类型与默认值补全 
TypeGenResolve._class_true_def_sha1 / CallGenBase._lookup_reexport_from_vpi 新增 allow_star 参数：类归属只采信具名 re-export。此前 `from X import *` 候选被当成类的真实定义模块，而几乎每个文件都 star-import stdint，导致 TypeGenErr 前向声明被建成 "stdint.TypeGenErr"；该名字在 StructTable 里只剩一个错误 sha1 的条目，fatal_error 的跨模块返回类型解析全部落空并 fail-fast。

TypeGenErr.fatal_error/fatal_type_error 显式 -> int（留空会解析出退化类型 i0，命中 CallGenCall 的 i0 守卫）；_fail_method_ret_ty 增加失败上下文转储并并入同一条 VLogger.error（批处理下 error 即 sys.exit，其后代码全是死代码）。

CallGenMixin 模块级调用：默认值已知但重建不出时 fail-fast，不再静默产出操作数不足的 llvm.call（只会被 MLIR 校验拦下）；AssignGenMixin 两处 VLogger.error 补上 category 实参。

M2.3 v1b 收尾：逃逸摘要表与扫描临时区改为只分配一次、传递闭包扫到不动点、u64 改 sizet；VpiReader 不再 free 跨阶段引用的 src_sha1（heap-use-after-free）。
 2026-10-08 16:38:35 +08:00
TermiNexus c20bd4734b feat(gen): 值引用自动取址接入虚分派/构造/属性/静态等全部方法调用路径 
CallGenBase 新增 _vpi_auto_addr_mode（把原先埋在 _coerce_args_to_def_params 里的 vpi 注解解析抽成唯一实现，两处共用）与 _apply_auto_addr_to_call_args（同模块先查 AutoAddrModes，跨模块回退 vpi 注解）。接入原先完全不查表的路径：虚分派（原在 vpi 取址前 return）、_call_method_on_ptr 覆盖的构造 __new__/__init__（含泛型）与 dunder 分派、属性 getter/setter/deleter、静态/类方法、super()、FakeDuck；属性 setter 由 AssignGenMixin 传入 rhs AST 以支持 &T 取左值地址。
 2026-10-07 19:59:52 +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 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 30a3da4cd4 refactor(tpv): 新语法 R10（反斜杠续行合并）+ 回退 R5（语义不等价） 
- 反斜杠续行合并为单行（304 处），呼应"尽可能不换行"。
- 回退 c.DerefAs(p, v) → *p = v 两处（StructGenMixin）：原写法是 bitcast 后
  store 指针位，新写法按 pointee 值类型赋值，类型不符（i8* → List 值），
  语义不等价，保留 c.DerefAs。

种子自举通过。
 2026-10-04 22:56:27 +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 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 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 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 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 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 eef84657a1 fix(tpv): 修正 REnum 表按名查找与 match 分派，恢复 str() 指针强转 
str() 对整数(sizet/i64)走 snprintf 十进制格式化(Python 语义)，不是 i8* 强转；用它读 sizet|t.CPtr 联合表元素再 strcmp 永不相等 => _is_renum_class_name 恒 0、变体名查不到(__types.vp:407 bits / :159 Void 根因)。IR 实证 output/a8891afb66d3eda4.text.ll L5551-5558。

- ClassGenEnum: RenumClassNames/RenumVariantNames 读侧统一改 (str)(t.CVoid(x, t.CPtr))；新增 _is_renum_by_entry 与 RenumTableDump；REnum 注册静默早退改 fail-fast

- MatchGenMixin/CallGenMixin: match 分派 2a/2b 与变体构造入口并上 by_entry 判据

- TypeGenResolve: 泛型下标 Phase B 解析不出特化时 fail-fast

- CallGenProp: 泛型特化名末段按括号外点切分

- CompilerFactory/ClassGenBase: REnum 注册表改挂编译期单例

- ClassGenDef: CEnum/REnum 分派歧义 fail-fast
 2026-09-12 23:14:23 +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 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 cfb92e5da5 初步清理 t. 类型异味 2026-09-11 18:36:32 +08:00
TermiNexus e20a6f3d11 fix(tpv): 修 VKernel 暴露的 codegen 缺陷（浮点 CDefine/__sizeof__ packed/CONST_STR/alloca/无符号/ABI） 
- 浮点 t.CDefine 初值序列化与源恢复（gfx PI 编成 0.0）

- __sizeof__ 按 packed 计算（cpu _tss memset 越界写 4B）

- 数组初始化器支持 CONST_STR 单字符；模块级别名不再产出 global i32 0 假全局

- 临时缓冲/构造临时量 alloca 提升至入口块（B6 未覆盖路径）

- 无符号判定补 CSizeT/小写别名/结构体字段 + udiv/urem + range 位宽与符号 + zext 扩展

- 跨模块 declare 形参按 vpi 定义侧收敛（修 _vpi_method_param_annot 拒绝 cls_name=None 导致 coerce 恒失效）
 2026-09-11 14:26:54 +08:00
TermiNexus 6b368b46a7 feat(tpv): App 与 TPVAppBK 新代版本对齐（rowptr 配套实现全套） 
把 TransPyV/App 覆盖为 TPVAppBK 内容（39 文件）：6 参注册式 _BuildReachableSha1Set 全套（StubMergerBuild/Store/Collect/__init__/IncludesScanner/Phase1Scan 等）、CallGen 与 TypeGenResolve 等新代实现。配套根 includes 为 rowptr 工作区（另有 includes_rowptr_bk 备份）。
 2026-09-05 14:13:03 +08:00
TermiNexus 85e7011b6c refactor(tpv): INTPTR/UINTPTR 去硬编码，依赖 stdint.vp CTypedef 声明 
- map_t_type 删除 INTPTR/UINTPTR = Ptr(i32) 硬编码（与 stdint.vp L10/L14 声明重复）

- INTPTR = t.CInt|t.CPtr、UINTPTR = UINT|t.CPtr 由 CTypedef 动态查表解析（L1377 先于 map_t_type 兜底）

- stdint.vp 成为单一事实源；语义不变（INTPTR 是 int* 历史命名，非 C 标准 intptr_t 整数）
 2026-08-28 15:33:45 +08:00
TermiNexus 24ae2dc966 refactor(tpv): 删除 Handles 目录，核心逻辑合并进 Gen 
- 新建 Gen/Translator.vp：Translator 类 + Mixin + 常量 + _mbuddy 自 HandlesTranslator 迁入（删 7 个委托壳与 _g_gen）

- GenApi 下沉 7 个 global/nonlocal 管理委托（add/is_global_name、add/is_nonlocal_name、get_nonlocal_type/index、clear_scope_names）+ update_global_func_typestr

- CallGenLeafKit 并入 ExprCallHandle 类，NewExprCallHandle 改本地引用

- 删除 Handles/HandlesExpr/ExprCallTable/HandlesBase（60+ 委托零消费者/纯委托壳）与 Handles 目录整体

- 全 App 56 文件 import 改指 lib.core.Gen.*，清理死 import，委托调用改 GenApi，main/BuildPipeline _g_gen 注入删除
 2026-08-28 14:29:25 +08:00
TermiNexus d99b6268de refactor(tpv): Gen 目录按前缀分组迁移子目录 + REnum.kind() 编译期转 __tag 
- Gen/*.vp 按前缀分组迁入 Call/Class/Expr/Func/Stmt/Type 子目录，import 同步更新（BuildPipeline/Generator/StructGenMixin 等）

- CallGenDispatch: REnum.kind() 前置拦截 → bitcast i32* + load（读 __tag），杜绝方法查找兜底误绑 AST.kind（this 偏移语义错误）

- 留根：Assign/Async/Base/Imports/Match/Struct/Translator/Var 单文件前缀 + GenApi/GenTypes/Generator/__init__
 2026-08-28 14:16:03 +08:00