TermiNexus
65e03c823f
feat(obs): reject nullable call arguments for non-nullable parameters
...
Compiled callees register a per-parameter nullable mask (self included for methods, specializations included); cross-module callees fall back to their vpi param annotations. A nullable binding/field argument now fails instead of silently narrowing.
2026-11-03 18:12:20 +08:00
TermiNexus
94d8c0d151
fix(gen): keep &T auto-address correct when T is itself a pointer
...
`f(a: &T)` lowers to `T*` and takes the argument's address at the call
site. The old rule passed any pointer argument through unchanged, so
`bubble_sort(nums)` with `arr: &list[int]*` (T = list[int]*) sent
`list[int]*` where `list[int]**` was declared and failed with a pointer
level 1 -> 2 CastError.
- _apply_auto_addr_arg compares the argument's structural pointer depth
with the parameter type instead of "is a pointer". For a Name whose
own alloca already has the parameter depth, the alloca is passed
directly: the `&obj` fold on an object-pointer variable drops one
level, which is wrong for `&T` with a pointer T.
- translate_call_arg falls back to the definition-side vpi annotation
when the same-module table misses, so a cross-module callee that has
not been body-translated yet still gets its &T modes.
- _coerce_args_to_def_params uses the injected declare's parameter type
when the vpi text cannot resolve it (e.g. a generic class name), and
passes that type to the auto-address transform.
- a null literal passed to `&T` keeps passing through (no lvalue).
Probe: `bubble_sort(nums)` sorts through `&list[int]*`; `bump(x)` and
`bump(p)` with `p: int*` both increment x (value addressed, pointer
passed through). Self-host 110/110; GenericTest3, ListTest, PtrOpProbe
pass; EscapeTest still reports its expected LifetimeError.
2026-11-02 09:46:31 +08:00
TermiNexus
83d15289ef
feat(vpc): literal-container membership, one vpi scanner, extern/default fixes
...
- `x in (a,b,c)` / `[..]` / `{..}` lowers to an OR of equality tests (string
literals via strcmp) and `not in` negates it; literal containers used to
silently evaluate to false
- add VpiText (ParenEnd/ParamSpans/ParamCount/HasVararg/FindDefaultEq) and
drop the five hand-written copies of the parameter scanner; escape skips no
longer jump past the parameter-list end
- fill omitted arguments from recorded defaults before any zero-fill, and fail
fast when no default is recorded (memcpy keeps its intrinsic lowering)
- resolve package-qualified `extern def` calls without a SHA1 prefix:
explicit allow_star=1, rel-path module fallback, raw vpi bare-declaration
scan, and `extern def`/`export def` flags honoured during declare injection
- fix exact-size read_all usage in VpiStub.Load/Ensure and the vpi scanner
2026-11-01 00:05:44 +08:00
TermiNexus
84f11a69e7
refactor(callgen): annotate string values as char* (mechanical pass)
...
One-token annotation change across the call generators: str -> char*.
No logic changes; the same pass also rewrote literal "string" in comments,
which is why this is committed as a checkpoint rather than as behaviour.
2026-10-31 16:50:55 +08:00
TermiNexus
4bf04c2452
feat(vpc): binary .vpb stub companion and str->char* migration in call gen
...
- add VpiStub: fixed-layout blob written next to every .vpi (dual write at all
writers, Ensure() backfills a missing or stale companion on cache reuse)
- serve arity/signature queries for top-level functions from the blob, with a
silent fallback to the text scanner (methods, varargs, duplicates, corrupt file)
- prefer the injected declare over the text arity in the cross-module check
- CDefine/type text indexes and in-place SSA renumbering and bulk appends
- WIP: char* conversion in CallGenBase and CallGenLeafKit
2026-10-31 16:25:18 +08:00
TermiNexus
8effc94827
fix(call): bind mod.func() to the module function, not a same-named static method
...
A suffix lookup for func() also matches {sha}.Class.func symbols. The no-self exception added for sched.Scheduler._yield() was too broad: it kept such a method hit for a module-qualified call like proc.current(), returning Process* where ProcessManager.current() -> int is meant (proc.current() is a module-level function). Keep the namespaced-function exception only when the receiver path itself names the class (mod.Class.func()); bare and module-qualified calls reject method-shaped suffix hits and resolve the module symbol through the vpi.
2026-10-29 17:10:17 +08:00
TermiNexus
1f067aa58f
fix(call): accept void methods and rawptr arguments at the call boundary
...
Two follow-ups to the cross-module signature check:
- A method without a return annotation is void, like a module-level `def`. The vpi
return-annotation cache recorded it as a hardcoded i32, so callers invented an i32 return
for a void method. It now records `void` for non-extern declarations (methods included).
- A class-level function declared without `self` (`Class.func()`) is a namespaced plain
function, not a method bound to a receiver. The module-qualified call path rejected such
symbols as method bindings, which then fell through to the external-C whitelist and failed
on a void return (`Scheduler._yield`).
- A pointer argument passed to an integer-typed parameter is converted at the call boundary
instead of failing the implicit pointer-to-integer rule. A `rawptr` value whose callee
parameter degraded to uint64 (stale/mis-typed stub) now reaches the callee with its address
instead of aborting with a CastError.
2026-10-29 16:43:35 +08:00
TermiNexus
4c34e396a4
fix(call): align cross-module calls with the callee symbol's signature
...
mlirlite.build_call composes the llvm.call function type from the argument values and the
caller-supplied return type; it never consults the callee. Declares are synthesized the same
way (_ensure_method_declare appends missing params from the caller's own argument values and
never compares return types), so nothing verified that a call site agreed with the definition.
Two modules could therefore emit incompatible calls for the same symbol, which only the MLIR
verifier rejected later:
llvm.func @MapHHDM(i64, i64, i64) (definition, void)
llvm.call @MapHHDM(i64, i64, i32) -> i32 (caller)
- after the declare/definition exists, conform every fixed argument to its parameter type and
emit the call with the symbol's return type (_conform_call_args / _call_symbol_ret_ty)
- fail fast when a cross-module call site resolves a return type the symbol disagrees with,
instead of emitting both and letting mlir-opt report an operand type mismatch
- record a module-level `def` without a return annotation as `void` in the vpi return-annotation
cache (previously a hardcoded i32, so callers invented an i32 return for void exports);
extern/state C declarations and methods keep the legacy default
2026-10-29 15:53:43 +08:00
TermiNexus
782b4d63ff
feat(build): 增加 --build-self 与 copyself
...
- 新增 copyself：延迟后删除目标并复制文件/目录
- ViperC 新增 --build-self：自举到 __vpcbuild_2__ 后由 copyself 替换 __vpcbuild__
- 同步当前 ViperC 工作区已有的 Gen/Diag/Stub 改动
- .gitignore 忽略 __vpcbuild_* 与 _sha1_map.txt
2026-10-26 02:09:45 +08:00
TermiNexus
3febb87abf
refactor(app): 改为直接 import io，用 io.File / io.MODE
...
不再用 'import io as fileio' 别名：20 个文件统一 'import io'，
所有 fileio.X 调用点改为 io.X（win32.fileio 等模块路径出现在注释里的保持原样）。
2026-10-25 12:51:28 +08:00
TermiNexus
94515ddf12
refactor(app): win32.fileio 全部切换到跨平台 io
...
20 个文件把 'import win32.fileio as fileio' 改为 'import io as fileio'，
文件 IO 统一走 includes/io.vp（编译期 cif 选择 win32.fileio / posix.fileio）。
依赖编译器新增的模块级 cif 条件 import（a282918）。
注：这些文件中存在此前未提交的既有改动，按整文件一并提交。
2026-10-25 12:45:49 +08:00
TermiNexus
3242560d02
支持 tls 关键字，全面准备清退 t, c
2026-10-17 23:40:06 +08:00
TermiNexus
3c6041c97c
fix(viperc/diag): 把“当前实参位置”的记录点下沉到 translate_call_arg（覆盖所有调用路径）
...
TEMP-DIAG 实测：node=0 curarg=0 trace=1 top=11 —— 节点是合成的（无行号），但“当前实参
位置”压根没被记录，说明该构造器调用没走 CallGenLib 的参数循环，兜底只能退回栈帧（函数定义行）。
改为在**所有调用实参的公共入口** CallGenBase.translate_call_arg 顶部记录（它持有 arg_node），
并移除 CallGenLib 里的重复挂点。这样任何调用路径（含构造器）都能把报错定位到具体实参表达式。
2026-10-14 17:13:38 +08:00
TermiNexus
d206abf3e1
chore: 全仓同步 w32→win32 模块改名与 range(int(...)) 显式收窄适配
2026-10-12 20:59:11 +08:00
TermiNexus
948e1855a6
fix(gen): 跨模块 vpi 查询只在加载成功时记"已加载"备忘（修漏检回归）
...
A2 引入的 lookup_ret_kind_via_vpi 会在 life_of_expr（判右值生命期，可能在极早的翻译阶段）
里触发对方模块 vpi 的按需加载，但它沿用 _vpi_escape_packed 的旧写法：**无论加载成功与否**
都把该模块记入 _vpi_escape_module_loaded 备忘。于是当那个时刻 vpi 还没生成/打不开时，
该模块被毒化成"已加载"，之后所有共用这条备忘的跨模块查询（逃逸摘要 esc=、willFree wf=）
都跳过真正的加载 → 缓存恒空 → 判据静默失效。
现场：EscapeXmodTest（跨模块 esc）与 NewLifetimeWillFreeTest（跨模块 wf）双双漏检，
即"应拒绝却通过"。同模块用例不受影响，故更隐蔽。
修法：两处加载点都改为 _ensure_vpi_ret_annot_loaded 返回非 0（= 真加载/已缓存）才
_vpi_escape_mark_module；失败直接返回 0，留给后续查询重试。
- lookup_ret_kind_via_vpi（新代码，回归根源）
- _vpi_escape_packed（既有同款隐患，一并修）。
2026-10-10 11:25:43 +08:00
TermiNexus
6da8e2e095
feat(gen): 落地 @life(ret(...)) 返回值生命期契约（A2）
...
- GenApi：新增 compute_life_anno / _RetKindFromTag 与 RET_KIND_* 编码，
提供 get_ret_kind / get_ret_kind_method / lookup_ret_kind_via_vpi；
_WillFreeMergeTag 不再拦截 ret（改由 compute_life_anno 收集校验）。
- StructGenMixin：EscDirTable 由 3 槽扩到 4 槽（新增 ret_kind 列），
compute_escape_summary 把契约落在 box[5] 并登记。
- Stub：.vpi 行尾新增 escr=<ret_kind>（Converter 写、VpiReader 读 _g_vpi_esd_r）。
- AssignGenMixin.life_of_expr(Call)：@life(ret(...)) 声明优先于任何推断；
frame/heap/static/borrows=none 直接映射，borrows=x 取对应实参生命期，
方法调用按接收者静态类型解析类名。
- StmtGenCifMixin：同批移除定义端 return <本帧地址> 的 fail-fast，
返回值去向改由调用点按被调者契约判定。
2026-10-09 22:58:33 +08:00
TermiNexus
79299ec47d
feat(lifetime): 声明式指令契约落 .vpi（esce=/escn=），跨模块调用点也能最终裁决
...
写侧 Converter：读 compute_escape_summary 落在 box[3]/box[4] 的契约掩码，随函数头行尾写 esce=<强制逃逸位> / escn=<强制不逃逸位>；
只有指令（既无 esc/ret 也无 wf）时也补一个 "# esc=0 ret=0" 注释段——读侧是"见 # 才解析"。
读侧 VpiReader：_cache_vpi_esc_clears_text 同一次行扫描里顺带收 esce=/escn= 进 _g_vpi_esd_*（与 escg 同键 sha1[.Cls].func）；
新增 _lookup_vpi_escape_dir(.., noescape)；CallGenBase.lookup_escape_dir_via_vpi 包装。
调用点：模块级函数 / 方法 / 构造器三条路径在本文件指令表为空（= 跨模块）时改查对方 .vpi，
仍放在所有推断/回退之后最后套用：esc_mask = (esc_mask | esce) & ~escn。
2026-10-09 20:40:30 +08:00
TermiNexus
fc797da542
feat(lifetime): @life(escape/noescape) 多形参、硬逃逸位同命精化、归纳变量区间与跨模块常量特化
...
- GenApi：escape/noescape 标签支持多实参；新增 compute_escape_directives 与若干委托
- StructGenMixin：硬逃逸位（box[2]）、常量与归纳变量区间折叠、_PackEscapeClear/compute_escape_clears
- Call 系：调用点同命裁剪（_FrameArgsEscapeClears）+ 跨模块 escg= 查询；写侧 Converter、读侧 VpiReader
- AssignGenMixin：裸 T()（无 new、无 __new__）判为帧生命期
2026-10-09 18:44:51 +08:00
TermiNexus
97313e9e55
feat(gen): P2 生命期标注 @life(willFree(...)) 驱动释放后使用与二次释放检查
...
标注面：@life(willFree(<形参名|0起序号>))，兼容叠加式 @willFree(...)，可混用累加；序号按形参表下标、self/cls 计入。GenApi.compute_willfree_mask 解析标注并对非法标注 fail-fast。本文件表 StructGenMixin.WfTable + 跨模块 .vpi 行尾 wf=<mask>（Converter 写 / VpiReader 读 / CallGenBase 查）。调用点在实参全部翻译之后把对应实参变量槽置 VarEntry.Freed；其后的读取路径报 LifetimeError。重新赋值清除失效态。
2026-10-08 21:28:49 +08:00
TermiNexus
cd68bb62ac
feat(gen): M2.3 v3 跨模块逃逸摘要 + 全局赋值判据双保险
...
【v3 跨模块摘要】Converter._PyiFunction 在每个 def 签名行尾写 `# esc=<mask> ret=<ret>`（仅非零时写）；VpiReader 新增逃逸摘要缓存（键 {sha1}.{Class}.{method} / {sha1}.{func}，值打包 mask|ret<<32），与返回注解缓存同一次加载解析，并加"模块已加载"备忘 + 键前缀过滤避免拖慢编译；StructGenMixin 抽出 compute_escape_summary 供登记与落盘共用；CallGenBase.lookup_escape_via_vpi 按本类 + MRO 祖先模块 sha1 查询，方法/构造器/模块级函数三处调用点在本地表未命中时回退查 vpi。
【修复】Converter._PyiEnsureEscScratch 补 global（漏写导致全局仍 NULL，box 算成 0+520 → ASan WRITE on 0x208）；函数内写"本文件已声明的模块全局"且无 global/nonlocal 时必须 fail-fast——原判据只看 SymTab.Root.Vars，部分时序看不到模块全局而静默建局部影子；新增 FileVarNames（register_file_funcs 预扫收集顶层变量名）+ is_file_var() 兜底，普通赋值与注解式重声明两处都接上。
2026-10-08 17:28:06 +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
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
cbf76cd468
fix(callgen): text.ll 返回类型回退支持 MLIR 形态 llvm.func
...
- _CacheModuleRetTyTexts 同时认 define 行与 mlirlite 的 llvm.func 行（含缩进/void 省略 ->/变参）
- 缓存值以 '#' 前缀标记 MLIR 形态，命中时用新增 _ParseMlirRetTyStr 解析
- _ParseMlirRetTyStr 覆盖 none/iN/f16..f128/!llvm.ptr/!llvm.array/!llvm.struct（具名按登记表回查，未登记返回 None 不臆造）
- 背景：单端 MLIR 后 text.ll 无 define 行，回退恒空 ⇒ 指针返回值退回默认 i32 被 inttoptr 截断
2026-10-03 19:45:47 +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
fabd92adc7
feat(switch): 新增 switch 语句并禁止 match 内 fallthrough
...
- MatchGenMixin：case 体按 node.is_switch 置 _in_switch_case；_has_no_break 只认 FallThrough 节点（去掉 c.NoBreak() 兼容路径）
- StmtGenDeclMixin：translate_fallthrough 只在 switch 的 case 体内合法，match/switch 之外 fail-fast
- Translator：_in_match_case 更名 _in_switch_case（语义 = 当前 case 体属于 switch）
- FuncGenDef / FuncGenMixin：函数体 / 嵌套函数 / lambda 入口隔离并恢复 _in_switch_case
- 因 match 改为硬关键字，重命名同名局部变量 match -> Matched（StubMergerStore / ImportsGenMixin / ExprGenAttr / CallGenBase）
2026-10-02 23:15:43 +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
8e3811c490
fix(CallGen): 跨模块调用的 declare 形参与实参统一以定义侧为准
...
问题一（declare 形参被首个调用点冻结）：CallGenBase._ensure_method_declare 新建跨模块方法
declare 时形参类型取"首个调用点的实参类型"，而这条 declare 被同模块所有调用点共用 ⇒ 后续
调用传入另一种具体指针类型时，被这条被冻住的形参类型 coerce，报"非基本类型指针间隐式转换"。
现场：VarGenMixin.repl_ensure_entry 的 node: ast.AST*，先被 translate_annassign 以 ast.AnnAssign*
建 declare，后 translate_assign 传 ast.AST* 即报"源类型 …AST* → 目标类型 …AnnAssign*"。
⇒ 指针形参与整数同口径，一律采用定义侧（.vpi 注解段）类型；解析不出指针时保留实参类型。
问题二（实参未对齐 declare）：declare 改用定义侧类型后实参也必须对齐，否则首个调用点
（由它建立 declare、不走 coerce_to_type）原样传具体指针会与 declare 类型不一致（llc 报
argument type mismatch）。⇒ CallGenLib._coerce_arg_value_to_ty 的同层指针分支改为"类型内容
不一致即 bitcast 到定义侧类型"（原判据只覆盖一侧为 i8*、或模板注解来源两种情形）。
2026-10-01 20:29:15 +08:00
TermiNexus
3329c9beae
fix(TPV/CallGenBase): text.ll 返回类型的命名指针不再坍缩成通用 i8*，修 FakeDuck parts[0] 报整数隐式转指针
...
现象（TransPyV 编译 Test/FakeDuckTest）：
main.vp:115 p0: str = parts[0]
CastError: 整数隐式转指针已禁止…出错表达式: 下标表达式 Subscript
（parts = s1.split(',')，s1: str，split 由 includes/_fakeduck.vp 的 _str 提供）
根因链（逐环取证，均落在产物文件上）：
1. _fakeduck.vp:273 `def split(self, delimiter: str) -> list[str]*`。
2. 定义侧产物正确：temp/88/884eaabef9bd161c.text.ll:1775
define %"b0798adca340002b.list[str]"* @"884eaabef9bd161c._str.split"(...)
（884eaabef9bd161c = includes/_fakeduck.vp，b0798adca340002b = includes/_list.vp）
3. 调用侧 declare 走了 vpi 注解：temp/88/884eaabef9bd161c.vpi:27
def split(self, delimiter: str) -> list[str] | t.CPtr: pass
该联合在 stub 侧解析不出 `list[str]` 这个泛型特化名 ⇒ 坍缩成 i8*（既有设计已知的
「跨模块 declare 的 list[T] 返回类型被简化」），故 _translate_fakeduck_call 里那条
「从定义模块 text.ll 读精确返回类型」的兜底（CallGenFd.vp:134-142）必须生效。
4. 但该兜底读到的 `%"b0798adca340002b.list[str]"*` 又被本函数坍缩回 i8*：
CallGenBase._ParseLLVMRetTyStr 的「含 * 者一律返回通用 Ptr(Int8)」分支
（原注释："包括 i8*, i32*, %"name"*, { i32, i8 }* 等"）。
5. 于是 parts 的 alloca 退化为 i8* ⇒ parts[0] 走字节下标取到整数 ⇒ 赋给 str 报
「整数隐式转指针已禁止」（报文指不到真因，正是本问题最难查的地方）。
改动（CallGenBase._ParseLLVMRetTyStr）：
- 新增「命名类型 `%"name"*` / `%name*`」分支：剥引号/空格与尾随 `*`（支持多级），
先 GenApi.get_struct_type(name)、未命中再 GenApi.get_enum_base_type(name)，命中即
按星号层数包 Ptr 返回真实结构体/枚举指针；查不到登记项时才保持原来的通用 Ptr(Int8)
行为（名字可能来自尚未登记的模块，不引入新的静默降级面）。
- 同步更新该函数顶部说明（原写「含 * 者返回通用 Ptr(Int8)」，现区分字面量结构体 /
命名类型 / 其余）。
- 收益面不限 FakeDuck：所有经 text.ll 取返回类型的方法调用（CallGenCall / CallGenDispatch
/ CallGenProp / CallGenFd 等）都从「指针一律 i8*」变为「命名类指针精确」，
调用方 alloca 与下标/字段语义不再退化。
待验证（不自行执行编译命令）：用 TransPyV.exe 重跑
--project ./Test/FakeDuckTest/project.json --clean --clear-cache --rebuild-includes --traceback
预期 115 行不再报错；若仍在 parts2.get(0)（131 行）等处冒新错，请把栈贴回来。
2026-09-30 23:53:18 +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
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
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
eb1065f387
fix(CallGen): Function 的 Param 形参链与 llvmlite.Func 的 ParamNode 构造链不可互传（Vipeye 329/401/1065）
...
① 新增 CallGenBase._FuncTyFromFunction(pool, f_ref)：Function.Params 是 Param 链（__function.vp），LLVMType.Func 的类型构造链是 ParamNode 链（__types.vp，new_param_node/paramnode_set_next），两者是不相关 class ⇒ 严格指针规则下 Func(pool, ret, p_head, cnt) 的实参传递直接报错。改为逐个 new_param_node 重建 ParamNode 链（语义等价，只取各参数类型）。CallGenCBuiltin 329/401 + ExprGenOps 878（第 3 处同型缺陷）三处统一走该 helper。
② CallGenCBuiltin 1065 asm-out 全局变量回退：原把 find_global_in_module 的 GlobalVariable* 直接赋给 llvmlite.Value* 变量（不相关类；且 GlobalVariable 字段序为 Name→Ty，Value 为 Ty→Name，旧无条件 bitcast 会让 .Ty 读到 Name，后续 alloca.Ty.Pointee 全是错位数据）⇒ 改走 c.Addr(模块全局) 分支同款写法 make_global_ref(pool, Name, Ty) 构造带引号的 Ptr(Ty) Value 引用，同时修掉该错位读取。
2026-09-28 17:16:57 +08:00
TermiNexus
4807012bd8
fix(CallGenBase): struct 字面量字段链表节点误注解 Function* → ParamNode*（Vipeye 922/927）
...
事实：includes/llvmlite/__types.vp 里 new_param_node -> rawptr[ParamNode]、paramnode_set_next(node: rawptr[ParamNode], nxt: rawptr[ParamNode])、Struct(fields: rawptr[ParamNode], ...)，而本处 th_st/tt_st/en_st 被注解成 llvmlite.Function*（Function 与 ParamNode 是不相关类）⇒ 严格指针规则下这两处实参传递被判「struct↔struct 隐式转换已禁止」。
修法：把注解改成真实类型 llvmlite.ParamNode*（不需要、也不应该 t.CPtr 强转——变量本来就是 ParamNode，强转只是把类型错误重新掩盖）。
2026-09-28 17:02:35 +08:00
TermiNexus
dd56580855
feat(gen,static): static 符号禁止跨模块使用（定义侧登记 + 引用侧三处拦截）
...
语义 = C 的 internal linkage：static 符号（函数/变量）只在定义模块内可见，任何跨模块引用一律 fail-fast（NameError）。
- 登记表：CallGenBase 新增 StaticSha1Arr/StaticNameArr/StaticCount（PermPool 定长槽，与 CexportSha1Arr 同款）+ RegisterStaticSymbol/IsStaticSymbol（按 (符号名, 模块 SHA1) 精确配对，避免跨模块同名误判）。
- 定义侧登记：FuncGenDef 识别注解形态（-> t.CVoid | t.CStatic）与装饰器形态（@t.CStatic；裸 static def 已由解析层归一为装饰器）→ 登记函数名；TranslatorGenMixin.handle_module_level_var 识别注解形态（static x: int 已归一为 t.CStatic | int）→ 登记变量名。
- 引用侧拦截（三处，覆盖全部跨模块形态）：ExprGenAttr.translate_attribute 入口统一拦截 mod.name（含 import 别名还原）；CallGenMixin.translate_call 入口拦截 mod.fn(...) 调用（按 AST 形态一次覆盖 found_func/vpi/裸名兜底各分支）；ImportsGenMixin.translate_import_from_names 拦截 from mod import name。
- 性能：三处检查均以 StaticCount > 0 快速短路——项目中无 static 符号时零开销（不触碰逐条线性扫描与 sha1 解析）。
- 同模块自引用（sha1 相同）与非模块基座（self.method / obj.field / Class.static_method）一律放行。
2026-09-27 12:58:51 +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
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