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
90 Commits
Author SHA1 Message Date
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 a01e9280cc fix(stub,phase1): 因取消整数提升，模块属性 CDefine 的窄乘法显式加宽为 sizet（修缓冲区尺寸回绕成 0/负值） 2026-10-13 16:34:39 +08:00
TermiNexus d206abf3e1 chore: 全仓同步 w32→win32 模块改名与 range(int(...)) 显式收窄适配 2026-10-12 20:59:11 +08:00
TermiNexus 3384941cd1 chore: 改名同步 TransPyV -> ViperC（源码/配置内的纯替换） 2026-10-12 15:06:28 +08:00
TermiNexus 4e46a25ab1 fix(gen): define 位宽/整数提升/移位/AugAssign 规则收敛，修 va_list 与 traceback 卡死 
- define 位宽：cdefine_decl_bits 单一裁决（注解 → 右侧强转 → 值最小可存宽度），定义方与 VpiReader 两处跨模块注册共用；lookup_cdefine_bits 取最后一条非零记录；存储即截断；使用侧改按声明位宽；通用求值器加编译期除零/移位越界 fail-fast
- 消除对无符号强转加宽方向的依赖：define_min_width 改 (value>>32)==0，截断改左移+算术右移，修 TPC/TPV 判定不一致导致 0x80000000 误判 64 位
- 整数提升：算术/移位、比较、一元 +/-/~ 提升到 i32；位运算保持同宽不提升
- AugAssign：y 有效宽度须 <= x、禁 y 显式有符号而 x 无符号；移位计数静态范围检查
- 函数入口复位 va_list 状态与 willFree 失效槽表（FuncGenDef/FuncGenMixin/VarGenMixin 等）
- BuildPipeline：traceback 逐行扫描改 span 判定，去掉对全文 strlen 的 O(n^2)
 2026-10-12 12:37:48 +08:00
TermiNexus 966fc3b8f5 fix(narrow): BuildPipeline.ensure_dir 消除隐式窄化（int(path_len) / char(saved)） 
buf[i] 元素为 i8，saved 由 int 改为 char 并用 char(ch) 显式收窄；plen 由 sizet 显式 int(path_len) 收窄
 2026-10-11 09:42:39 +08:00
TermiNexus 41772b4a0c refactor(narrow): 撤销 File.write 实参多余的 ULONG(...) 显式窄化 
File.write 形参已改为 sizet，调用点不再需要显式 ULONG 包裹（覆盖 WriteCallSidecar/_phase2_write_cmd/write_ir_to_file/WriteStackMap/TranslateFileGetTrans）
 2026-10-10 22:15:49 +08:00
TermiNexus 58951a29a8 fix(narrow): File.write 长度实参加显式 ULONG(...)（避免 64→32 隐式窄化） 
fileio.File.write(buf, count: ULONG) 的 count 是 32 位，而实参是 sizet/int64（strlen、pos、ir_len、total 等）；规则收紧后为隐式窄化，改为显式 ULONG(...)。本文件其它位置无隐式窄化。
 2026-10-10 22:10:01 +08:00
TermiNexus 5bb6538703 feat(types): 禁止隐式窄化（整数 高→低）；_tb_read_whole 容量改 sizet 
规则收紧（2026-10-10）：整数位宽 高→低 隐式窄化一律 fail-fast（CastError），仅两类豁免：① 目标 i1 的真值归一化；② 源是编译期常量且值落进目标位宽。_scalar_convert_reason 的 int↔int 同步改为'目标位宽≥源位宽才 PC_OK'。BuildPipeline._tb_read_whole 去掉 ULONG(sz)+ULONG(2) 的窄化，改 sizet(sz)+2。
 2026-10-10 21:57:18 +08:00
TermiNexus f2cbb658e1 fix(stubgen): vpi 落盘入口统一重建文件级名字窗口，修复 FileFuncNames 悬垂野读崩溃 
Phase1 1b-pre / 1b 兜底 / BuildPipeline / Repl 为生成 vpi 各自重新 parse 出独立 AST，但不走 register_file_funcs，导致 is_file_func(range)（_PushInductionEntry）仍读到上一个文件的表 + 已被 reset 的池 → 悬垂指针，ASan access-violation 崩在 HashTable._slot_hash。将 reset_file_name_window + register_file_func_names 收敛到 _GeneratePyiFromAst 唯一入口，覆盖全部 vpi 落盘调用点；Phase2 的重复调用随之移除。
 2026-10-10 14:00:41 +08:00
TermiNexus 41674d125c fix(gen): 修 vpi 生成阶段 is_file_func 读到已回收池的悬垂表（ASan 野读崩溃） 
现场：TransPyV.exe（ASan）编译 EscapeOkTest 崩在 Phase A-pre-vpi →
_GeneratePyiFromAst → _PyiFunction → compute_escape_summary → _ScanEscapes →
_PushInductionEntry → is_file_func → HashTable._slot_hash
（access-violation on unknown address 0xffffffffffffffff）。

根因（潜伏已久，非本阶段语义改动引起）：
- FileClassNames / FileFuncNames / FileVarNames / FileModuleSha1 是按文件重建的表，
  表与键共用该文件的瞬时池；契约要求跨文件/跨阶段先清空再重建
  （原写在 reset_visible_structs 里那四行）。
- Phase A-pre-vpi 为生成 vpi 会重新 lex/parse 每个文件，但不走 register_file_*、
  也不清表 → _PushInductionEntry 的 is_file_func 只认 range 的判据，落在 Phase1
  最后一个文件的表上，而那个池已被 reset_to(mark1) 回收。非 ASan 下常表现为读到
  0/旧值 的静默错答，ASan 下 0xfd 填充 → 垃圾容量/垃圾 __slots__ → 野读崩溃。

修法：
- 抽出 reset_file_name_window() 作为文件级名字窗口的唯一开启入口（原四行清空搬进去，
  reset_visible_structs 改为调它），并在注释里写死契约。
- 新增轻量 register_file_func_names(pool, tree)：只重建本文件顶层函数名（核对过 vpi
  路径只需这一张；FileClassNames/FileModuleSha1/FileVarNames 的读取点全在翻译期）。
- Phase A-pre-vpi 循环里，在 _GeneratePyiFromAst 之前调用
  reset_file_name_window() + register_file_func_names(mb, tree_vp2)。
- register_file_classes / register_file_funcs 改为无条件重建（原来 没有才建 的写法在
  表已被别的阶段建过时会静默复用悬垂表）。
 2026-10-10 09:41:15 +08:00
TermiNexus dd24dc670f fix(gen): P2 失效状态改存独立槽表，不再给 VarEntry 加字段 
现象：任何工程编译都在函数形参注册刚结束处 access-violation（pc=0，逐字节可复现）。定位：逐层探针把崩点压到 FuncGenDef 的 pre_scan 段，而该段对 Check（body 仅 if+return）应为空操作，唯一变量是 VarEntry 这个热结构被加了 Freed 字段。修法：撤销 VarEntry.Freed，改用 VarGenMixin 的独立失效槽表 _g_freed_slots（键 = 变量槽 alloca，整次翻译内唯一，故全局累积、无需按函数 reset/restore）；_FreedMark/_FreedCheck/_FreedClearSlot 三个 API 替换字段读写，P2 语义不变。同时清除全部 TEMP 探针。
 2026-10-09 11:51:11 +08:00
TermiNexus be2521fe46 chore(dbg): 临时阶段日志定位 Phase A 崩溃点（定位后移除） 
四个探针：PhaseA translating <path> / vpi.gen <rel_path> / TR.enter sha1 / TR.prelude.done。用于把崩溃点夹在 解析→vpi生成→模块前言→函数体翻译 四段之间。
 2026-10-09 10:08:43 +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 ce50daa87a refactor(build): 构建产物目录去掉 _mlir 后缀（temp/output） 
TempDir/OutputDir 回归 {BuildDir}/temp 与 {BuildDir}/output，与 TPC 及项目脚本预期一致；mlir_dir_suffix() 仅保留给 includes 二进制缓存（其布局为 sha1 子目录，与 TPC 的扁平 obj 缓存不同，合并会混淆）。
 2026-10-07 19:03:02 +08:00
TermiNexus 36d23d2f42 feat(build): 实现 Qt 运行时依赖部署（runtime.qt6_path / qt6_dlls / qt6_plugins） 
背景：project.vpj 里的 runtime 块此前只是声明（编译器不读取），Qr 程序运行时报 Could not find the Qt platform plugin "windows"。

实现：链接成功后（Phase2 的 PhaseC 成功点）调用 BuildPipeline.deploy_runtime_deps(exe_path)——把 qt6_dlls 各项从 <qt6_path>/bin 复制到 exe 同目录；把新增的可选字段 qt6_plugins 各项从 <qt6_path>/plugins 复制到 <exe 目录>/<相对路径>（父目录不存在则 mkdir）。Config.vp 新增 Qt6Path/Qt6Dlls/Qt6Plugins 读取（口径同 LinkerStaticLibs）。

fail-fast：声明了但源文件不存在 / 复制失败 / mkdir 失败 => VLogger.error 并中止构建；三字段全未声明则整段跳过。

验证：重编 SUCCESS（210.11s）；ViperMNIST 产物含 7 个 Qt6*.dll + platforms/qwindows.dll，实跑 stderr 无插件报错；ViperAIChat / ViperQtHelloWorld 同样 OK 并完成部署。
 2026-10-07 09:08:35 +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 df2de5ecfa refactor: 去 t.CPtr(&a) 冗余包装（R15） 
TransPyV 4 文件 / 7 行：Phase/BuildPipeline.vp、core/Gen/AssignGenMixin.vp、core/Gen/TranslatorGenMixin.vp。验证：自举三重重编 SUCCESS + 全量 77 项顺序回归通过。
 2026-10-05 17:55:52 +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 a2874a14e6 chore(tpv): 移除 --allow-multiple-definition 兜底并同步缺省链接参数 
main.vp 的缺省 linker flags 与 ViperBuild 内置 _c_linker 默认值去掉 -Wl,--allow-multiple-definition，与 project.vpj 同口径；Phase2 三处引用该 flag 的注释改为描述链接器选 main / 链接前按路径去重的实际机制。重建验证：跨模块内联优化完成、链接成功 139.17s。
 2026-10-05 09:22:58 +08:00
TermiNexus e79ea010b0 fix(tpv): 消除 PYI_BUF_SIZE 跨模块重复全局并去掉 --allow-multiple-definition 兜底 
Phase1 与 BuildPipeline 各自把 PYI_BUF_SIZE 声明为模块级全局，模块级全局走裸名符号（类 C extern 全局语义），两模块各发一份强定义 @PYI_BUF_SIZE，llvm-link 报 symbol multiply defined 并回退到单独编译。改为编译期宏 define PYI_BUF_SIZE = 262144（与同文件 define SRC_BUF_SIZE 同口径，不产生符号），同步更新引用该符号的非 CDefine 示例注释。project.vpj 移除 -Wl,--allow-multiple-definition 兜底。验证：跨模块内联优化完成，最终链接无该 flag 成功（161.70s）；TransPyV 自举产物顺序回归 77/77 全通过。
 2026-10-05 09:16:12 +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 9717ce0107 feat(traceback): 运行期调用栈显示 callsite 行号（编译器旁文件 + 链接后 objdump 归一） 
MLIR 后端下 mlirlite 只记录 DI 不输出、且 mlir-translate 不产 !dbg（实测），
导致我方 .vp 函数在最终 exe 无任何 .debug_line（<exe>.stackmap 只剩 mingw CRT
的 C 源记录）→ 用户代码帧只能显示 line 0。

改为 Route A：--traceback 时编译器记录每函数(F)与每次调用(C，含调用点行)，
写 <sha1>.vpcall；链接后 WriteStackMap 用 llvm-objdump 反汇编，把 callq 的
返回地址 RVA 按 (调用方,被调方,出现序号) 匹配到调用点行，并在函数入口写定义行
兜底；合并进现有 .stackmap 格式。运行期 traceback.vp 不改。

验收：PtrOpProbe --traceback 生成 427 条我方记录（抽查 main 的 malloc/printf
等行号与源码逐一吻合）；非 --traceback 构建零旁文件、产物与运行结果不变。
 2026-10-04 22:38:02 +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 1dcd29db9c fix(phaseb): llc 并行失败按阶段定位，不再一律报 llc 编译失败 
- LlcTask 追加 FailStage 字段（0=未失败/1=mlir-opt/2=mlir-translate/3=ASan opt/4=llc），worker 在各步失败时写入

- run_llc_parallel 按 FailStage 打印真正失败的阶段名与对应命令：MLIR 后端下 mlir-opt/mlir-translate 失败此前被误指为 llc（现场 .ll 含 LLVM IR 时 mlir-opt 报 unexpected character，日志却指向 llc）

- 字段追加在结尾，所有 stride/memset 均按 LlcTask.__sizeof__() 计算，既有偏移不变
 2026-10-03 19:01:50 +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 cc8ea01476 feat(sidecar): 翻译点增写 {sha1}.full.ll，Phase B 改用在线 FULL 产物（④-b/④-c） 
- 翻译点（Phase1Main / Phase2 PhaseA / Phase2 includes 重试）在 dump stub/text/meta 后
  追加 dump_ir(OUTPUT_FULL) → {sha1}.full.ll（FULL 缓冲 16MB = stub+text 2× 余量）
- Phase1 增量跳转新增要求 full.ll 存在（缺失即重译补写）
- 新增 StubMergerBuild.LoadFullIR（与 BuildCombinedIR 同契约：读文件到 out_buf）
- Phase B 三处调用点 BuildCombinedIR → LoadFullIR；COMBINED_IR_SIZE 4MB → 16MB
- 诊断报文/注释同步（读 full.ll 失败）

full.ll 为模型在线时产出的自足单模块 IR（类型定义在声明之前，天然满足 llc 顺序）；
BuildCombinedIR 暂保留（④-d 再删）。未编译验证。
 2026-10-03 08:43:03 +08:00
TermiNexus 35f2070d3b feat(sidecar): meta 增写 STRUCT/VTABLE，REPL 布局恢复改读 meta 
- WriteModuleFuncMeta 更名 WriteModuleMeta：追加 STRUCT <name> FIELDS n PACKED 0|1
  （opaque → STRUCT <name> OPAQUE）与 VTABLE <class> SLOTS n；数据源改为
  Module.NamedTypeHead / GlobalHead，不再有任何 IR 文本反推
- VpiReader REPL 布局改读 {sha1}.meta：新增 _meta_atoi / _repl_meta_scan_layout
  按前缀精确匹配解析 STRUCT/VTABLE 行
- 删除旧 .stub.ll 文本解析辅助 _repl_stub_take_name / _repl_stub_body_count
  及其 scratch 缓冲 ReplStubNameBuf / _REPL_STUB_NAME_CAP

去 IR 化步骤③；未编译验证。
 2026-10-03 08:18:15 +08:00
TermiNexus 94d2bf5047 feat(sidecar): 落盘 {sha1}.meta 函数定义清单，声明文件判定改读结构化 sidecar 
- 新增 WriteModuleFuncMeta：翻译期从 Module.FuncHead + Function.IsDeclared 产出 FUNC <mangled> DEF|DECL（与 dump_ir 的 stub/text 判据同源）
- 新增 _MetaHasDef / 重写 IsDeclOnlyModule：不再扫 text.ll 的 define 行，改读 meta
- Phase1/Phase2 落盘点紧随 text.ll 写出 meta；Phase1 增量跳转额外要求 meta 存在
- Phase2 内联 is_decl_mi 与 PhaseC 判定统一走 IsDeclOnlyModule

去 IR 化步骤①（sidecar 最小闭环），全后端统一，默认行为不变。
 2026-10-03 08:06:39 +08:00
TermiNexus 0ebe2e0752 feat(backend): 新增 MLIR 后端开关/产物隔离/降级管线/模块别名（默认 llvm 逐字不变） 
- Config: BackendTarget/BackendIsMlir/set_backend/is_mlir_backend/backend_dir_suffix/alias_module_name；读取 options.backend（回退 options.target）

- main.vp: 新增 --backend llvm|mlir（CLI 优先级最高，默认 llvm），加载工程后、resolve_paths 前生效

- 产物隔离: temp/output 追加 _mlir 后缀；includes 缓存追加后端后缀（.binary[_asan][_mlir]）

- BuildPipeline: MLIR 降级 mlir-opt(校验) -> mlir-translate --mlir-to-llvmir，覆盖串行/并行/--phase2command，且置于 ASan opt 之前；LlcTask 增 MlirOptCmd/MlirTranslateCmd 字段

- 别名: ResolveModuleToPath 与 _FindSha1ByModName 经 Config.alias_module_name 把 llvmlite 重定向到 mlirlite（调用点零改动）
 2026-10-03 07:53:04 +08:00
TermiNexus 981af07d5c fix(phase): App 预注册期注入依赖 vpi，修 list[ast.ClassDef*] 票名前缀分裂 
Phase A-pre（App 预注册）此前不做导入处理、不注入依赖 .vpi，导致包重导出
类的字段注解在预注册期只能保留「包前缀」（1abcd…），并被冻结进结构体布局；
阶段 A 构造函数侧却能借包别名 entry 校正为真定义前缀（e70bd…），两处票名
分裂 ⇒「非基本类型指针不可隐式转换」（现场 ClassGenGeneric.vp:92）。

改动（只放开 App 预注册，不动 includes 预注册那条防依赖环自锁的约束）：
- Translator 新增 _pre_allow_dep_inject 开关，并在导入处理门拆成两道：
  ①导入处理 + 自动容器可见性 + LoadDepVpiIntoModule —— 全量翻译与 App 预注册共用；
  ②模块级变量预注册 + 函数前向声明 —— 仍只在全量翻译做。
- BuildPipeline.TranslateFileGetTrans 新增 pre_allow_dep_inject 参数并写入 Translator。
- Phase2 App 预注册调用点传 1；includes 预注册保持默认 0。
 2026-10-02 01:03:31 +08:00
TermiNexus 825fe6d326 fix(TransPyV): 指针 cast 的跨层 idiom 修正：(str | t.CPtr)(x) → rawptr(x) 
c 类（源码违规）：(str | t.CPtr)(x) 按既定语义 = i8**（char**，指针的指针），

而这些位置要的是 i8*。TPC 的 return/赋值检查现在按声明精确校验（本次即

TypeGenResolve.vp:1221 `return (str | t.CPtr)(v)` 声明返回 i8* 却 return i8** 被抳下），

该 idiom 在旧的无条件 bitcast 下一直不可见。

改法：86 处 (str | t.CPtr)(X) → rawptr(X)（rawptr 是 t.CPtr 的内置名，同为 i8*；

整数操作数走 inttoptr，指针操作数走 bitcast）。不用 str(X)：整数操作数会编译成 itoa

（Gen/FuncGenMixin.vp:1159 注释已记录该陷阱），精确类型仍由使用处的 `: str` 标注承担。

保留 4 处本就该是 i8** 的用例（未改）：Converter.vp:820（_g_pyi_cdef_names 声明为

str | t.CPtr 的指针数组）、CallGenCBuiltin.vp:1194/1215（声明即 str | t.CPtr）、

1411（先 cast 再 [0] 取首元素）。

另：Gen/Type/TypeGenResolve.vp:1221 手工改为 return t.CPtr(v)（该文件含你的未提交改动，未一并提交）。
 2026-09-28 18:43:59 +08:00
TermiNexus bb864dff6f fix(traceback): stackmap 的文件名全部退化为 ?? —— _tb_parse_dec 不跳前导空格 
dwarfdump 的方括号索引右对齐（file_names[  1] / include_directories[ 12]），_tb_bracket_idx 把 '  1]' 交给 _tb_parse_dec，首字符非数字使循环体一次不进 -> 全部 pidx=0；行记录 fidx=1..N 永不匹配 -> 每条记录落到 '??'（实证 9146/9146 条共用同一个 '??' 串，而函数名/行号均正确）

_tb_parse_dec 增跳前导空格与制表符（修复文件名与目录索引两处）

dir_index: 偏移 st+9 指向冒号本身，恒解析为 0 -> 相对文件名拼不出绝对路径；改为 st+10
 2026-09-27 19:01:23 +08:00
TermiNexus d82f24e17a fix(diag): AST 解析失败日志行内联 行/列 + 原因 
四处解析失败上报点（Phase2 的 [Phase A-pre-vpi]、Phase1 的 [Phase 1b-pre] 与单文件、main.vp 单文件）此前只打 AST 解析失败，看不到定位与原因；现内联 第 N 行第 M 列: <原因>，与 dump_parse_traceback 的完整 traceback 同源（原因由 includes/ast/parser.vp 的 _record_* 与 parse_tokens 出口兜底补记提供）。另：App/main.vp 同时带上你工作区既有的 define 迁移/版本号改动。
 2026-09-27 17:32:34 +08:00
TermiNexus 373a20c3e5 perf(prof,gen): 编译热点优化 + 内存池 OOM 诊断接线 + REnum 指针载荷修正 
CallGenBase: 模块返回类型文本表改单趟登记+查找，find_func_in_module 合并为单趟链表遍历（PROF 热点）

BuildPipeline: ensure_dir 增加快速路径（已存在目录直接返回）

AssignGenMixin/Translator: alloc 失败打印 Pool/PermPool 统计与阶段上下文（SetAllocCtx）

CallGenCtor: REnum 指针载荷补显式 build_ptrtoint 再 coerce/store；新增 DebugInfoGen.vp

其余为历史累积改动一并入库
 2026-09-26 19:27:23 +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 eb01a45024 修复了一些问题 2026-09-17 14:51:18 +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