GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
624 Commits 1 Branch 2 Tags
21436b2690358bfcf4829e92fab286605978d4f7
Commit Graph
624 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
TermiNexus 21436b2690 feat(generic): 泛型实参推断为无裸名别名的整型位宽补精确票名 
- _infer_scalar_type_name_from_spec 支持 i64/i16 -> t.CUInt64T/t.CInt64T、t.CUInt16T/t.CInt16T；符号性未知时不猜（返回 None）

- infer_scalar_type_arg_from_llvm_ty 增加 sign 参数：LLVM 类型层无法区分 iN/uN，符号性由被调名源码文本经 SpecSignFromTypeNameSpan 判定

- 泛型函数与泛型类构造两处 Call 推断同步传符号性，修复 GenericOopTest fxi2 第 3 个类型实参（CUInt64T）推断失败
 2026-10-03 17:12:47 +08:00
TermiNexus ddb1e6cc2a fix(类型): get_type_size_bytes 补浮点位宽，修复浮点泛型实参的 __sizeof__ 尺寸解析 
现象：Test/VectorGenericTest/App/vectortest.vp:32 vector.Vector[CFloat64T] 特化时 vector.vp:12 T.__sizeof__() 报 "NameError: 未定义名称 T（当前泛型上下文: 类型形参 1 个 / 类型实参 1 个）" —— 新增诊断证明上下文是好的（T 能换成 CFloat64T），故问题在 __sizeof__ 快径没接住。

根因：get_type_size_bytes 只用 get_llvm_type_bits 取位宽，而该函数只认整数（Float/Double/Half/FP128 一律返回 0）⇒ 浮点 typedef（CFloat64T 经 map_t_type 已正确解析为 Double）被判"尺寸未知"返回 0 ⇒ CallGenDispatch._tc_h5_sizeof_len_isinst 的尺寸表也不含 CFloat64T（只有 CInt/CDouble/CFloat 等）⇒ 落回"回退 2"把接收者 Name(T) 当实例翻译 → NameError。同文件第 15 行 Vector[CInt] 走整数路径正常，故只有浮点特化暴露（不对称现象由此解释）。

修复：整数位宽为 0 时再取 get_llvm_float_bits（浮点位宽），两者皆 0 才返回 0。
 2026-10-03 16:50:42 +08:00
TermiNexus 3a4323e288 feat(generic): 特化上下文自检 fail-fast + NameError 附泛型上下文诊断 
背景：VectorGenericTest 在第 32 行 vector.Vector[CFloat64T] 特化时仍报 "NameError: 未定义名称 T"（8af967d 的类模板 tp 名补缺只能覆盖 tp 名缺失那一种，这里 tp 名在场）。静态读完 6 个 _specialize_generic_class 调用点与 ClassGenDispatch 的 __sizeof__ 快径后，无法确定是"上下文没建"还是"建了装不上"，故加两处诊断。

1) ClassGenGeneric._specialize_generic_class 在 set_generic_context 之后立刻自检：类型实参个数必须等于模板类型形参个数，且首形参必须能解析成具体类型名；否则 fatal_error 点出类名与特化键（含实参），替代下游 12 行之外那句脱节的未定义名称。

2) ExprGenName 未定义名称报文追加当前泛型上下文（类型形参 N 个 / 类型实参 M 个）：形参 0 个=上下文没建，形参>0 且实参 0 个=实参表丢了，皆>0=上下文在但该名不在其中，一眼可分。
 2026-10-03 16:38:01 +08:00
TermiNexus da18dd39a4 fix(classdef): 已注册类早退路径补字段类型完整定义 
上一条（96dad30）只改了"全新定义"路径的字段扫描循环，但 includes 在 Phase A 预注册、Phase B 重新翻译时走的是 existing 早退分支（ClassGenDef 117-167，只 module_add_named_type 后即 return 0），字段循环根本不执行 ⇒ includes/condition.vp 的 Condition 仍内嵌 opaque 成员、自身 unsized，llc 仍报 base element of getelementptr must be sized。

物证：同一构建里 ThreadingTest 的 main.vp（fb785af4a2aa1a46.ll）因按需调 ensure_struct_def_in_module，已正确拷入 CRITICAL_SECTION/CONDITION_VARIABLE/SRWLOCK 的完整定义；而定义它们的 condition.vp 自身（de351f55b29d33a3.ll）没有 ⇒ 只有定义模块自身体内 GEP 时才暴露。

修复：早退分支在 module_add_named_type 后补调 _ensure_field_types_in_module（Struct/Array 值类型递归补完整定义、Ptr 补 opaque），与全新定义路径同口径。
 2026-10-03 16:05:24 +08:00
TermiNexus 96dad309ac fix(classdef): 值类型字段补完整结构体定义，修复跨模块嵌套结构体 unsized 导致 llc GEP 报错 
现场：Test/ThreadingTest 编译 includes/condition.vp 时 llc 报「base element of getelementptr must be sized」：getelementptr %Condition, %Condition* %1, i32 0, i32 1。

根因：ClassGenDef 定义类时对字段类型一律只调 module_ensure_opaque_for_type（仅 opaque 声明）。当字段是**值类型**跨模块结构体时，本类体内嵌的成员在 IR 中仍是 opaque ⇒ 成员 unsized ⇒ 本类 unsized ⇒ 本模块内对本类做带字段下标的 GEP 时 llc 报错。现场物证：condition.vp 的 .ll 里 CONDITION_VARIABLE/CRITICAL_SECTION = type opaque，而 Condition = type {CV, CS}。

修复：指针字段维持 opaque（指向物无需在本模块有体）；非指针（值类型结构体/结构体数组）改调 ensure_struct_def_in_module 复制完整定义，并配合 _ensure_field_types_in_module 覆盖数组元素。
 2026-10-03 15:58:48 +08:00
TermiNexus 28b7437e21 fix(generic): 泛型类构造 Call 实参推断同步收紧，抽出共用精确映射 
CallGenCtor._infer_generic_ctor_type_arg 的 Call 分支此前与泛型函数路径同款名字子串猜测（含 Int→int、Float→double），把 CUInt64T/CInt16T 静默归成 int=i32、CFloat32T 猜成 double。改为：把被调表达式交给注解解析器，命中标量才据精确位宽映射；非标量/不可解析仍 fail-fast（保持原有"明确的类型意图却无法解析"报错）。

新增 ClassGenGeneric.infer_scalar_type_arg_from_llvm_ty 作为两处共用的唯一入口（内部走 _infer_scalar_type_name_from_spec），泛型函数路径一并改为调用它，消除重复的 arena/SpecFromLLVMType 样板，保证两处同口径。
 2026-10-03 15:51:12 +08:00
TermiNexus 9a80f1df6c fix(generic): 泛型函数 Call 实参推断改为精确类型解析，移除名字子串猜测 
原实现按被调名子串猜类型实参（含 Int→int、Float→double 等），把 CUInt64T/CInt16T 一律归成 int=i32，静默窄化/扩宽位宽（禁止静默默认原则）；CFloat32T 也会被猜成 double。

改为：把被调表达式本身交给注解解析器 resolve_annotation_type，命中**标量**才据其精确位宽经 _infer_scalar_type_name_from_spec（唯一真源）映射；非标量（构造/普通函数调用）或不可解析一律返回 None，由调用方汇总后 fail-fast 提示显式标注。行为变化：CUInt64T(x)/CInt16T(x) 等无等位宽裸名的转换实参不再被静默猜成 int。
 2026-10-03 15:49:58 +08:00
TermiNexus e196d6a28a fix(类型): 模块限定注解支持 from-import 重导出解析 
现场：Test/ThreadingTest/App/main.vp:184 `lock: vthreading.Lock = vthreading.Lock()` 报「变量类型注解解析失败」。vthreading.Lock 是重导出（includes/vthreading.vp `from lock import Lock`），Lock 真定义在 lock.vp；普通模块的 from-import 重导出不像包 __init__ 那样登记别名 entry（VpiReader._inject_reexport_class_declare 仅对包 __init__ 触发），故按 vthreading sha1 查 Lock 恒落空。

resolve_annotation_type 的 Attribute 模块限定分支此前未做真定义模块校正：先按原 sha1 查（既有命中情形逐字不变），未命中时再经 _class_true_def_sha1（唯一真源，已在 _normalize_type_name 规则 4b 使用）校正后重查一次，无证据时原样返回不改变行为。
 2026-10-03 15:44:49 +08:00
TermiNexus c035a82394 fix(类型): str/bytes 聚合指针检查豁免字符数组衰减，并统一判据真源 
误报现场：includes/os/_win32.vp:207 `name: str = find_data.cFileName`。WIN32_FIND_DATAA.cFileName 是 [260 x i8]，字段访问得到 Ptr(Array(i8,260))，其指针在 C 语义下天然衰减为 char*/str，属合法赋值，原判据把 Ptr(Array) 一律当真而误杀。

新增 ExprGenBase._str_rejects_ptr_kind（单一真源：1=结构体/类/联合指针、2=非字符数组指针、3=函数指针、0=可接受；[N x i8] 豁免）供 fail_if_str_annot_agg_ptr 与 CallGenLib 跨模块实参检查共用，消除两处重复的 kind 判定，避免同规则两处演化。
 2026-10-03 15:40:01 +08:00
TermiNexus bf2f38acd2 fix(generic): 修正 SpecToLLVMText 返回值判据倒置，恢复内建标量实参的泛型类型实参推断 
_infer_scalar_type_name_from_spec 把 SpecToLLVMText 的『0=成功』误判为失败（写成 == 0 就 return None），使该函数对任何内建标量都恒返回 None —— 泛型函数隐式推断中『实参来自内建标量形参/字段』的路径（Name/Attribute 分支）永远推不出，报『无法从实参推断泛型函数 ... 禁止静默默认 int』（现场：GenericOopTest fxi 体内 fxi2(a, b, ...)，a: double）。判据改为 != 0（与 ClassGenVTable 同约定）。

同时收紧位宽映射：i16/i64/f16 在 Viper 没有等位宽裸名别名（裸 int=int32、裸 float=float32），原映射 i16/i64->int、half->float 会静默窄化/扩宽位宽（i64->int 即 i64->i32），违反『禁止静默默认/兜底』原则；改为只映射位宽精确对应的形态（i1->bool、i8->char、i32->int、f32->float、f64->double），其余返回 None 交给调用方 fail-fast 提示显式标注。
 2026-10-03 15:28:02 +08:00
TermiNexus 09ea7283f9 fix(类型): str/bytes 不再作通用指针通配，补齐实参/赋值/返回三处隐式转换 fail-fast 
规则：void*/t.CPtr/rawptr 允许隐式转为任意指针类型，str/bytes 不允许（即便两者在 IR 层同为 i8*）。此前 coerce_to_type 的规则 1（通用指针通配）会把指向结构体/类/数组/函数的指针静默 bitcast 到 str 目标（反向亦然）。

- ExprGenBase：新增 _annot_name_is_bare_str/_annot_is_bare_str（裸 str/bytes 判定，组合段如 str|t.CPtr 不受影响）、fail_if_str_annot_agg_ptr（值是指向聚合类型的指针则 fail-fast，消息 CastError）、fail_if_str_annot_ast_agg_ptr（AST 注解入口）。

- 返回路径 StmtGenCifMixin.translate_return：在类型转换分支之前用 trans.CurFuncRetAnnot 判定，避免被规则 1 静默 bitcast。

- 赋值路径 AssignGenMixin.translate_annassign：四个分支（global / nonlocal / mod_glob / 局部）在 coerce 前用 aa.annotation 判定。

- 同模块实参 CallGenMixin.translate_call：在参数循环前一次性确保本模块 .vpi 参数注解缓存就绪（同跨模块 CallGenLib 键式：模块级函数 cls=None、段下标==形参下标），循环内按 _vpi_param_annot_seg_is 判定裸 str/bytes。
 2026-10-03 14:46:57 +08:00
TermiNexus 8af967db7f fix(generic): 泛型类模板类型参数名补缺 + 空上下文 fail-fast，修复特化方法体 T 变 NameError 2026-10-03 14:34:55 +08:00
TermiNexus 98ee53340f feat(call): 跨模块实参加 str/bytes 形参的 fail-fast（str 不作通用指针通配），并加 vpi 注解段等值判定 2026-10-03 14:23:12 +08:00
TermiNexus feb29fa7a3 fix(generic-func): 发射特化调用改传符号名（callee: str）而非 Function*，修复生成空 @ 的非法 IR 2026-10-03 14:18:14 +08:00
TermiNexus df1ffa4c2a refactor(subscript): 删除调用侧下标 zext 与 _zext_index_to_i32，统一交给 build_gep（单一真源） 2026-10-03 13:35:36 +08:00
TermiNexus bcbc7142be fix(subscript): 指针下标 GEP 补 zext，修复 i8 下标被符号扩展（uint8ptr[200] -> p[-56] 越界），zlib 漏计字节>=128 根因 2026-10-03 13:20:11 +08:00
TermiNexus ab0ee723b3 fix(classgen): 补 import llvmlite，修复 llvmlite.LLVMType/Int32 解析不一致导致的指针隐式转换 fast-fail 2026-10-03 13:01:42 +08:00
TermiNexus 2868798f58 fix(classgen): 补声明 GenericFunc* 五个类字段，修复 GenericFuncKeys 成员查找 fast-fail 2026-10-03 12:54:56 +08:00
TermiNexus 63acb2bf4d fix(fstring): 使用点按需补 @snprintf declare，f-string 不再依赖显式 import stdio 2026-10-03 12:46:30 +08:00
TermiNexus f2b65f57ec fix(match): case A | B 的 OR 模式注册全部备选（switch 仅取首个） 
_handle_simple_match 的 MatchOr 分支此前只把 pats[0] 译成 case 值 → switch value: case 1 | 2 中 2 落 default（LogicFlowTest SwitchMultiValueTest(2) != 10）。改为按臂记录 MatchOr 节点，建 sw 链时逐备选 new_switch_case 挂同一 body（等价 C 的 case 1: case 2:）；_handle_guarded_simple_match 同款：cond 改为各备选 subj==cv 的 OR 再与 guard 取与。非 MatchOr 路径逐字不变；非值备选改为 fail-fast（原为静默丢弃）。
 2026-10-03 12:11:43 +08:00
TermiNexus 3b465121cd fix(call): kwargs 调用路径补齐省略形参的默认值 
_translate_call_with_kwargs 此前对「位置/关键字均未提供的形参」直接跳过 → 调用实参数 < define 形参数，被调函数按 ABI 读未写寄存器/栈槽（remote.one(x = 1) 的 cap 读成 0，DefaultArgTest 断言失败）。改为：按 found_func mangled 名前缀取定义模块 SHA1，用全局默认表 find_func_defaults 取定义处默认值快照补齐（右对齐索引）；取不到默认值时 fail-fast，绝不静默漏参/填零。跨模块默认值通道本就通（vpi 带默认值），无需改产物格式。
 2026-10-03 12:08:32 +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 1fbebb2a62 fix(type): 普通模块 from-import 重导出类的归属模块校正 
_class_true_def_sha1 在 cand 模块下查不到该类时原样返回 cand_sha1；而普通模块（非包 __init__）的 from X import Y 重导出不登记别名 entry（VpiReader._inject_reexport_class_declare 仅对包 __init__ 触发）。于是 vthreading.Lock（vthreading 仅 from lock import Lock）的前向声明被错误建在 vthreading 模块下 → 方法返回类型查询去读 vthreading 的 text.ll/vpi（无 Lock.acquire）→ fail-fast（ThreadingTest 根因）。补：先查全局 re-export 内存表 lookup_reexport，未命中再按需解析 .vpi 的 from-import 定位源模块，取其真定义 SHA1（源为包时按同一 IR 名前缀口径继续校正）；无证据时行为不变。
 2026-10-03 11:37:27 +08:00
TermiNexus 18f4c2326f fix(match): REnum match 变体字段绑定前确保跨模块结构体完整定义 
_bind_variant_fields 对 renum_ty 做带字段下标的 GEP，LLVM 要求被指结构体 sized；而模块内对跨模块 REnum（如 llvmlite.__types.LLVMType）只有签名扫描产生的 type opaque，作 GEP base element 时 llc 报 base element of getelementptr must be sized（LLvmLiteTest 根因）。其它取字段路径在 GEP 前都会调 ensure_struct_def_in_module，唯独 REnum match 绑定漏了。补上该调用（同名原地替换 opaque，非追加；本地非跨模块类型自动跳过）。
 2026-10-03 11:21:41 +08:00
TermiNexus 105456e56e feat(type): 泛型类注解必须带类型实参，裸名 fail-fast 
resolve_annotation_type 入口集中守卫：注解（或其 A | t.CPtr 一侧）的基名（Name.id / Attribute.attr）是已注册泛型模板却没写 [...] 时 fatal_error，报文给出正确写法示例（vector.Vector[CInt]、GSList[G5Node]）。判据复用 _find_generic_template（按项目注册），非泛型同名类（struct_test 的裸 Box、dict）不误报；Subscript 形态不受影响，仍走 _resolve_generic_subscript_ty 与 _fail_on_degenerated_generic_annotation。自举源码 includes/** 与 TransPyV/App/** 已确认无裸泛型注解。
 2026-10-03 11:16:42 +08:00
TermiNexus 8da4550d79 fix(vpi): 全局变量注入补自注入守卫，消除同模块 external global 与定义重名 
循环 import（os/__init__ 导入 os._win32/os._posix，而二者又导入包 os）使 imported_modules 含本模块包名 → LoadDepVpiIntoModule 命中本模块自身 sha1 → _inject_global_variable_declare 为本模块自己的模块级全局发射 @<sha1>.<name> = external global，随后定义端 handle_module_level_var 再发 = global … → llc redefinition of global（SysLibTest 根因）。补上 _inject_function_declare / _inject_method_declare 已有的同款自注入守卫（_declare_only==0 且 src_sha1==trans.ModuleSha1 时早退）。
 2026-10-03 11:08:58 +08:00
TermiNexus 19d7a90c28 feat(match): 支持 match/switch 守卫（case X if cond） 
通配计数只统计无守卫的 case _，允许多个带守卫的 case _ if ...；_handle_simple_match 预扫描 has_guard，有守卫时改走 _handle_guarded_simple_match（按书写顺序的 if-else 比较链，guard 归一为 i1 后与值比较取与，链尾落 default/end），无守卫时保持原 switch 分派路径逐字不变（零回归）；_handle_renum_match 对带守卫臂 fail-fast，避免 switch(tag) 静默忽略 guard。
 2026-10-03 10:58:47 +08:00
TermiNexus 67667b10db fix(class): __before_init__ 定义时复用同名前向声明，消除同模块 declare+define 
本类方法体内构造自身（如 Vec2.__add__ 里 return Vec2(...)）时，构造路径先经 _call_method_on_ptr → _ensure_method_declare 在本模块建好同名 __before_init__ 前向声明（IsDeclared=1）；随后 _generate_before_init 又 create_function 追加一条同名 define，使同一模块 IR 同时出现 declare 与 define → llc 报 invalid redefinition of function（OopInheritTest 根因；④ 改用 full.ll 直喂 llc 后不再被旧 BuildCombinedIR 去重掩盖）。改为按名复用该前向声明（命名首参 %self、校准类型、清 IsDeclared 转 define），与 _generate_method/FuncGenDef 同构。
 2026-10-03 10:26:57 +08:00
TermiNexus 4c114d8875 fix(call): 泛型模板的前向声明占位不再阻断构造期类型实参推断 
注解 vector.Vector | CPtr（无实参）会经 TypeGenResolve 登记不透明前向声明占位 {sha}.Vector（IsForwardDecl=1）。模块限定构造 vector.Vector(...) 在 CallGenMixin 命中该占位后，gen_ctor_entry != None 使泛型推断分支（struct_ty is None and gen_ctor_entry is None）被整段跳过，静默按普通结构体/函数构造并产出裸泛型基类对象 → 后续方法调用触发 D25 接收者 fail-fast（VectorGenericTest 根因）。改为：命中项是前向声明占位且类名为已注册泛型模板时，不锁定 struct_ty/gen_ctor_entry，放行泛型推断按实参（_hint: T）特化；裸名分支与模块限定分支同口径。
 2026-10-03 10:18:29 +08:00
TermiNexus 53ba4e48bd fix(expr): 修正 not 取反的 const_int 参数顺序（bits 在前） 
上一提交 df9a5a9 误把 const_int 参数写成 (value, bits)，实际签名为 const_int(pool, bits, val)。改为 const_int(pool, 1, 0)（i1 false），使 not x 真正降级为 (bool(x)==0)，不再与 1 比较而恒等。对照本文件 663/680 行的 const_int(pool, 1, 0) 用法可确认参数顺序。
 2026-10-03 09:58:35 +08:00
TermiNexus 9bd3ac3dfb refactor(sidecar): 删除 BuildCombinedIR 文本合并死代码（④-d） 
在线模型方案（④-a~④-c）已由 LoadFullIR 取代文本合并，BuildCombinedIR 及其专属辅助（_Seen* 去重表、_RegisterStubLines、_LoadAndAppendStub、_LoadAndAppendTextDeclares、_IsTypeDefLine/_IsIrHeaderLine/HoistTypeDefsBeforeDeclares、_collect_stub_sha1s、_stub_scan_cache_*）已无调用方，一并删除（约 1348 行）；同步改写 #35/TranslatorGenMixin 中引用旧函数的注释。
 2026-10-03 09:13:17 +08:00
TermiNexus df9a5a9beb fix(expr): 修复 not 一元运算未取反（i1 条件与 0 比较） 
not x 的降级此前写成 (bool(x) == 1)，在 i1 上与恒等等价，导致 not r2 不取反（FuncTest Test 7 bool return 失败）。注释本意即 not x = (bool(x) == 0)，改为与 i1 常量 0 比较。
 2026-10-03 09:07:04 +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 ec9e950185 fix(gen): 全局初始化器引用跨模块 vtable 时补 external 声明（④-a） 
模块级对象全局的 storage 初始化器以符号名写入依赖类 vtable
（i8* @<dep_sha1>.<Cls>.vtable），此前不建 GlobalVariable ⇒ 单模块
OUTPUT_FULL 缺该符号声明，只能靠 BuildCombinedIR 合并依赖 stub 补入。

现于写初始化器前：跨模块（ModuleSha1 != 当前模块）且模块内无该全局时，
new_global_variable(..., Ptr(i8)) + module_add_global 补 external 声明
（对齐 CallGenLeafKit._make_vtable_ref_i8）。仅跨模块补，本模块类由
_generate_vtable 产出定义，避免同模块重复定义。

去 IR 化步骤④-a（生产者自足，FULL IR 自足化前置）；未编译验证。
 2026-10-03 08:39:13 +08:00
TermiNexus 324a22b6d1 refactor(call): CallGenFd 返回类型精确化改以 vpi 为权威 
返回类型「精确化」原只读定义模块 text.ll；改为先查 vpi 返回注解缓存
（_lookup_method_ret_ty_via_vpi），未命中再回退 text.ll，与 ② 的
vpi→text.ll 口径一致。

去 IR 化遗留收尾；未编译验证。
 2026-10-03 08:28:07 +08:00
TermiNexus 3b0ed04e70 chore(stubmerger): 删除 StubMergerIR 中 6 个无调用方的旧 IR 文本扫描助手 
删除 _IsFuncDeclaredOrDefined / _CommentOutDeclareInBuf / _CommentOutGlobalInBuf /
_HasGlobalInBuf / _CommentOutOpaqueTypeInBuf / _HasFullTypeDefinition —— 全仓无调用方
（去重判定早已迁移到 StubMergerBuild 的 _seen_* 哈希表），保留在用中的
_is_submodule_of_imported。顺带更新本模块头注释（现为 meta sidecar 工具）。

去 IR 化收尾清理；未编译验证。
 2026-10-03 08:26:02 +08:00
TermiNexus 611f49cfb6 refactor(repl): 会话函数签名改从翻译期模型取，去除片段 IR 文本解析 
- 新增 _repl_ty_ptr_token（LLVMType* → tag*1000+bits）与 _repl_model_func_sig
  （按裸导出名查 tr.Module 的 Function，读 RetTy/Params；含 ctx 首形参与 EH 出参判定）
- _repl_precheck_session_funcs / _repl_register_session_funcs 增 mod 形参；
  两处调用点传 tr.Module
- 删除旧 IR 文本解析：_repl_ir_func_sig / _repl_ir_find_define_at /
  _repl_llvm_ty_token / _repl_span_str 及其 scratch ReplTySpan / ReplTySpan3 /
  ReplIrDefOff / _REPL_FN_TY_CAP

去 IR 化步骤⑤；返回码（1/2/3/4/5）与旧实现一致。未编译验证。
 2026-10-03 08:23:45 +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 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 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 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 a3bb62f2c3 feat(switch): switch 允许重复 case 标签（match 仍禁止） 
- HandlesMatch / MatchGenMixin：值标签去重仅对 match 生效；switch 允许重复 case
  标签（按书写顺序，先出现者生效）；通配臂多个（default / case _）仍 fail-fast
- wiki/07-control-flow.md 同步该语义
 2026-10-03 00:18:55 +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 38860a6313 feat(match): 重名 case 标签 fail-fast 
MatchGenMixin._translate_match_impl 新增前置检查（任何 IR 产出之前）：新增
_case_label_same / _value_label_same 比较 switch 标签（常量 / 名字 / 属性链 /
MatchSingleton / MatchClass 变体名 / MatchOr 子模式），标签重复或出现多个
`case _` 时 fatal_error 终止（C switch 不允许重复 case 标签）。
 2026-10-02 22:44:34 +08:00
TermiNexus d633a5786f fix(flow): 函数体入口清空 break/continue 目标与 match-case 标记 
- FuncGenDef.translate_function_def：进函数体前保存并清空 _break_bb / _continue_bb /
  _in_match_case，退出恢复
- FuncGenMixin：嵌套函数体与 lambda 体两处同样处理——原实现下嵌套函数体内的
  break/continue 会继承外层函数的跳转目标（跨函数 br，非法 IR）
 2026-10-02 22:40:04 +08:00
TermiNexus fb4175736f fix(flow): 循环/match 外的 break/continue 改为 fail-fast 
- StmtGenDeclMixin：translate_break / translate_continue 增加 node 形参，目标块
  缺失（_break_bb / _continue_bb 为 None）时 fatal_error，不再静默不发跳转
- StmtGenMixin：Break / Continue 分派传入 node（供错误定位）
 2026-10-02 22:35:26 +08:00
TermiNexus 43d25e58b9 feat(match): case 内 break 跳出 match，并落地 fallthrough 
- Translator：新增 _in_match_case（FallThrough 合法性判定用）；_break_bb 注释补充
  case 内 break 语义
- StmtGenDeclMixin：新增 translate_fallthrough（本身不产出 IR；非 case 体内 fail-fast）
- StmtGenMixin：FallThrough 语句分派
- MatchGenMixin：进出 case 体（含 default 臂）时暂存/覆盖 _break_bb = match end_bb，
  使 case 内 break 跳出 match 而非外层循环；_has_no_break 兼容 FallThrough 标记；
  REnum / simple 两条 switch 路径的 fallthrough 由"只留无终结符块"改为显式 br
  下一个 case body（原实现产出非法 IR）
 2026-10-02 22:33:15 +08:00
TermiNexus 0b7f7a50c7 docs(types): 同步 list 相关注释，list[T, N] 不是定长数组 
- TypeGenResolve._is_count_arg_container：说明把 list 纳入判据只是为了历史写法
  list[E, N] 的第 2 实参不被误当类名归一；list 本体是 _list.vp 的堆上 STL 容器
- AssignGenMixin：注释示例由 list[type] / list[type, N] 改为 CArray 形态
 2026-10-02 22:16:30 +08:00
TermiNexus 8d01c01afd feat(viperbuild): 落地 --src 工程模式配置面，并补齐循环 else 与整型 None 比较 
- 新增 lib/core/builtin/ViperBuild.vp：--src Pass 0 依赖闭包扫描 + 宏配置提取 +
  默认值填充 + 写回 Config；main.vp 路由改为工程模式并删除单文件分支
- Translator.vp：写入 triple / datalayout，翻译期擦除 viperbuild 宏语句；
  ImportsGenMixin.vp：对 viperbuild 豁免 SHA1 校验
- StmtGenCifMixin.vp：for / while 的 else 子句在 11 条循环生成路径全部接通
- ExprGenOps.vp：None 比较按 None 所在侧分派，整型 None 隐式为 == 0 / != 0
 2026-10-02 22:07:01 +08:00