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
36 Commits
Author SHA1 Message Date
TermiNexus 3242560d02 支持 tls 关键字，全面准备清退 t, c 2026-10-17 23:40:06 +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 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 4a685d478f refactor(tpv): 新语法 R10 单语句块并一行（7722 处 if/for/while 单语句体） 2026-10-05 03:10:55 +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 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 951b89be36 修正了部分代码的表达方式，最后可用版本，正在为 mlirlite 做准备 2026-09-23 16:09:32 +08:00
TermiNexus 9910e05760 修复了一些错误，更改了一点语法 2026-09-18 20:00:40 +08:00
TermiNexus 9a191daa8d 错拼 rowptr 改为 rawptr 2026-09-16 11:42:28 +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 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
TermiNexus 54462320d2 简化了一些表达，最后仍使用 fb 缓冲区的版本（新版本使用 栈f-string） 2026-08-28 04:50:09 +08:00
TermiNexus 82a86761b9 feat(tpv): 语言内协程 M1-M7 移植——async/await 状态机 + 异常传播 + 帧池 
- M1: async def -> 帧结构体 + create_/resume_ 状态机 + coro.coro_run 内联
- M2: async 参数、嵌套 await 提升 __await_N、If/While 内 await
- M3: For 内 await（range->While）、coro_sleep 轮询挂起、coro_destroy 回池
- M4: raise 存码、await 子帧异常传播、coro_exception、coro_gather
- M5/M6: try/except 链式匹配 + as e 绑定 + 异常类型码
- M7: try/finally、异常消息 msg 槽、自定义异常类、帧池复用
 2026-08-22 00:34:32 +08:00
TermiNexus 89995dffde refactor(gen): 去除 Handles 委托层——链式化 + GenTypes/GenApi 迁移 
- Gen 内部 1742 处 HandlesX.func() 改 self.Gen.Y.method() 链式调用
- 数据类/常量迁移 GenTypes.vp（10 类 + CLASS_META_*/META_*/SEQ_KIND_*/FIELD_MAX 等）
- 管线/保留文件经 GenApi.vp 模块级入口（48 函数带类型注解，从 Gen 方法签名自动生成）
- 删除 26 个纯委托 Handles 文件，仅留 5 个实体文件（Base/Translator/Expr/ExprCall/ExprCallTable）
- 修复字段分裂：TypeGenErr CurrentFile/TraceCount 链式化；CallGenBase TempDir/Cexport 真源化
 2026-08-21 06:32:40 +08:00
TermiNexus 9f396f4874 refactor(gen): 完成 P6 机械化迁移——Handler 类并入 Gen Mixin，语句实现单层化 
- 10 个 Handler 类主方法迁入 Gen：Assign/AnnAssign/AugAssign→AssignGenMixin，
  If/While/For/Return→StmtGenCifMixin，Match→新建 MatchGenMixin（注册 Generator MRO），
  Imports→ImportsGenMixin；方法体 self.Trans→trans，签名加 trans 首参
- 分派改：StmtGenMixin.translate_stmt 同链 self.translate_xxx + 跨链经 Handles 委托壳
  （NoVTable 静态绑定约束）；ExprCall 分派改走 ExprCallCall 壳
- 清理：HandlesTranslator 删 11 个 Handler 字段与 _init_state 创建段；
  StmtGenCifMixin 删 5 个 NewXxxHandle 工厂；main/BuildPipeline 补 HandlesAssign._g_gen 注入
- 委托壳保留：跨 Mixin 桥（Assign/AnnAssign/AugAssign/Match/Imports）待编译器缺陷修复后删
 2026-08-20 06:40:37 +08:00
TermiNexus e07ea491a5 chore(gen): 全量备份——Handles 委托壳瘦身与单例注入统一 
- 删除 Handles 各模块已迁移至 Gen 的旧函数体，保留一行委托壳（25 文件 -798 行）
- main.vp / BuildPipeline.vp 全局单例注入改为 _g_gen 直接赋值
- 机械化迁移测试前的基线备份
 2026-08-20 05:33:59 +08:00
TermiNexus 65838da0dc fix(Generator): 补全 ClassGenBase 拆分遗漏的 17 个字段初始化 
结构体由 mb.alloc 分配，未初始化字段是内存垃圾。异常表字段（ExceptionCount/ExceptionNames/ExceptionParents/ExceptionCodes/NextExceptionCode/_exception_codes_tmp_count）此前未初始化，无用户异常类的项目（如 FuncTest）从不触发 _ensure_exception_tables 懒分配，is_exception_name 里非 null 垃圾指针通过 is not None 检查后 strcmp 越界（ASAN heap-buffer-overflow）。一并补上 RenumAliasTy/RenumAliasVariant/ClassMeta 4 个/Decorator 4 个/GenericSpecDepth 字段。
 2026-08-18 12:40:21 +08:00
TermiNexus 54fa8b46c8 refactor(gen): ExprGenMixin 拆 8 组（Base/Const/Fstr/Ops/Cdef/Name/Attr/Cls，6203→129 行） 
- ExprGenMixin 保留 translate_value，其余 74 方法按功能拆至 8 个子 Mixin
- 子 Mixin 均 1 级继承 ExprGenBase（TPV self 调用仅支持 1 级父类）
- 跨 Mixin 调用转 HandlesExpr 模块级委托（_g_gen 单例 cast）
- HandlesExpr 补 15 个委托：f-string 组 7 个、docstring 组 4 个、
  Cdef/Attr 各 1 个、Ops 组 translate_binop/_binop_to_dunder/_unaryop_to_dunder
- Generator 继承链加入 8 个 ExprGen 子 Mixin
- 全部 Gen/ 文件均 ≤1500 行，500~1500 行/文件架构重构完成
 2026-08-17 07:32:56 +08:00
TermiNexus 47ac2dd57c refactor(gen): ClassGenMixin 拆 5 组（Base/Enum/Generic/VTable/Def，4768→空壳） 2026-08-17 07:23:40 +08:00
TermiNexus 81d4ff3ac4 refactor(gen): TypeGenMixin 拆 5 组（Base/CDef/CType/Resolve/Err，2643→44 行） 2026-08-17 07:21:00 +08:00
TermiNexus 65cf71ff7e refactor(gen): FuncGenMixin 拆 Base/Def（2683→1178 行），补 5 个跨 Mixin 委托 2026-08-17 07:17:03 +08:00
TermiNexus 9f19bb3666 refactor(gen): CallGenMixin 阶段 C 拆 translate_call 检测段（Dispatch 6 helper）+ 辅助方法（Lib），顶层降至 1119 行 2026-08-17 06:59:14 +08:00
TermiNexus 1718738a19 refactor(gen): CallGenMixin 阶段 B 拆出 6 组（Ctor/Call/Prop/Fd/Vt/Va），顶层剩 translate_call 中枢 2026-08-17 06:34:33 +08:00
TermiNexus 8d9ff96f61 refactor(gen): 修复 CallGen 拆分后 undefined symbol（顶层改 1 级继承 + 跨 Mixin 走 HandlesExprCall 委托） 2026-08-17 06:17:15 +08:00
TermiNexus f9878e5a63 fix(core): 跨模块 CDefine 查找缓存 perm_pool + list 内置方法识别 
1. _lookup_cross_module_cdefine：lookup_from_import 返回非 NUL 结尾内部指针，
   base_mod 未截断导致 rc_full_mod 每层累积整个 from_imports + ".base"
   （dump:ast.base.base.base 无限递归根因）。入口截断模块名 + 缓存查询/写入
   key 统一用 base_mod；结果缓存到 perm_pool（XmodCdef 表）跨文件复用，
   CONST_INT 递归查找只做一次。
2. translate_call：obj.method 检测将 list[AST|CPtr] 特化 struct 误当普通结构体，
   查 append 返回类型（函数/text.ll/vpi 均未命中）fail-fast。新增
   _is_list_builtin_method 识别 list 内置方法，在 Ptr(Struct)/Ptr(Ptr)/
   AnnotClassName 三条路径跳过，落到 list 内置分支。
3. HandlesType 新增 register/lookup_xmod_cdefine 模块级委托（Mixin 隔离）。
 2026-08-15 00:15:43 +08:00
TermiNexus 8d5dbeab89 feat: 引入 CompilerFactory 永久内存池，1a 每文件 reset 解 NewAstTest OOM 
main 创建 512MB perm_pool（MemBuddy 第二实例，永不 reset）并注册
CompilerFactory 工厂（对齐 TPC Translator 装配模式，memhub 保持通用）。
各 Gen Mixin 跨 mark 持久表（struct/枚举/Renum/spec/vtable/全局函数/
闭包/函数指针/Cexport/Reexport/TraceFrames/Doc）全部迁移到 perm_pool，
替代 stdlib.malloc 深拷贝提升速度。

Phase1 1a 主循环（98 includes 全量 parse AST 驻留主 pool → 1GB 耗尽）
改为：StdlibAlloc=1 注册数据进 perm_pool + 每文件翻译完 reset_to(文件级
mark) 回收 AST；1b-pre vpi 预生成循环同样 reset_to(mark1)。同步修 7 处
reset 后悬空隐患：StructTable 表体、add_field DefaultVal、Renum 变体/
别名表内容、vtable full_names 内容、FuncptrRets 深拷贝。

CompilerFactory 类名与模块名同名（合法场景，TPC 已支持模块别名优先）。
 2026-08-14 04:02:36 +08:00
TermiNexus a0edc3d961 fix(gen): 泛型 type_params 生命周期与无注解赋值 annot 推断 
- ClassGenMixin: list[str](pool, 8) elem_size 修正(原 4 致 Pair[T1,T2]
  重叠写)，新增 GenericClassTpParams stdlib 深拷贝表，特化统一取深拷贝
- Generator: 初始化 GenericClassTpParams 防 0xBEBEBEBEBEBEBEBE
- TypeGenMixin: 泛型上下文栈式管理，支持嵌套特化
- CallGenMixin: sz_builtin 补 double/float/char，修复 T.__sizeof__ NameError
- StubMerger: _CommentOutGlobalInBuf 循环注释同名全局，修复 @_mbuddy 重复定义
- HandlesAssign: 无注解赋值按 RHS 推断 AnnotClassName(类实例化/源变量/
  运算符重载/字段注解/方法返回注解 vpi)，修复联合类型 Ptr(i8) 属性访问失败
 2026-08-13 17:31:54 +08:00
TermiNexus 64195f183e feat(type): 支持字符串 CDefine（如 ZLIB_VERSION = "1.3.2"） 
- TypeGenMixin 新增 CDefineStrFlags/CDefineIsStr 字段与
  register_cdefine_string/lookup_cdefine_string/is_cdefine_str 方法
- AssignGenMixin._register_cdefine_from_value 新增 CONST_STR 分支
- ExprGenMixin.translate_name_value CDefine 本地/跨模块均支持字符串
- Generator.InitGen / HandlesType 委托同步初始化新字段
 2026-08-13 02:58:15 +08:00
TermiNexus 882c78c67a feat(gen): ListTest 联合下标修复 + DocTest docstring 完整保留 
- CallGenMixin: 默认参数快照无条件查询、静态类调用识别、len() 走 __len__
- TypeGenMixin/AssignGenMixin: T | t.CPtr 泛型标量元素宽度修复
- ExprGenMixin: / → __truediv__、指针判空走 icmp null、__doc__ 完整保留（登记表+跨模块符号解析）
- BuildPipeline: 翻译后提取模块 docstring（预注册阶段跨模块可用）
- Generator: DocKeys/DocValues/DocCount 登记表字段
 2026-08-11 21:21:40 +08:00
TermiNexus 6677da99f7 refactor(gen): P6 方法化 - StmtGen/AssignGen/VarGen/ImportsGen/TranslatorGen Mixin 
5 个新 Mixin(92 方法)承接 HandlesBody/If/While/For/Return/Nonlocal/Match/Enum/AnnAssign/AugAssign/Var/Imports/Translator/Main 的无状态函数与 _g_ 全局；15 个 Handles 模块改为一行委托(调用方零改动)；Generator 组合扩展至 12 Mixin，__init__ 初始化 8 个新字段；BuildPipeline/main 注入 14 个模块 set_global_gen；修复 ImportsGenMixin 与 TypeGenMixin 的 CurrentFile 重复字段冲突(改 HandlesType 委托，延迟 import 规避循环依赖)。
 2026-08-10 18:42:07 +08:00
TermiNexus ba3f22702e refactor(gen): P5 对象化迁移完成 - FuncGenMixin/ClassGenMixin 全量迁移+委托层; 泛型模板表迁入 gen 字段; stub 方法 ParamCount 不含 self(修复跨模块方法调用默认参数填充错位); 默认参数快照失败 fail-fast(防悬空 AST UAF); HandlesMatch 改委托 gen._lookup_renum_variant 2026-08-10 06:24:50 +08:00
TermiNexus 0e4f00baf4 refactor(gen): P4 CallGenMixin - HandlesExprCall 86 函数迁移 + 委托层 
HandlesExprCall(7043 行, 本仓库最大文件)全部模块级函数迁移为
CallGenMixin 方法(含 translate_call 1408 行整体迁移)，全局表
(cexport/LLVMIR 序号/temp_dir/闭包/funcptr/全局函数表/默认参数表)
迁入 gen 字段；旧函数保留为 _g_gen 单例委托，4 类保留。Generator
多继承追加 CallGenMixin(现为 5 Mixin 组合)。

修复 P4 迁移引入的两处缺陷：
1. HandlesTranslator 引用已删除的 HandlesExprCall._g_temp_dir → None
   导致跨模块 .vpi 注入全局失效(json 翻译崩溃)，改用
   HandlesType.get_temp_dir()
2. Generator 50 字段突破 FIELD_MAX=48 硬上限导致字段截断丢失，
   字段槽位上限提升至 64(HandlesStruct/StructGenMixin/HandlesClassDef)
 2026-08-10 03:31:10 +08:00
TermiNexus 24c1aada30 refactor(gen): P3 ExprGenMixin - HandlesExpr/ExprOps 51 函数迁移 + 委托层 
HandlesExpr 45 个表达式函数(translate_value/subscript/attribute 等)
与 HandlesExprOps 6 个运算符函数(try_operator_overload/translate_binop
等)迁移为 ExprGenMixin 方法；本模块调用 self 化、外部模块调用保留
前缀，_lookup_cross_module_cdefine(490 行)完整迁移。旧函数保留为
_g_gen 单例委托。Generator 多继承追加 ExprGenMixin(4 Mixin 组合)。
 2026-08-10 02:11:26 +08:00
TermiNexus 34a37358c9 refactor(gen): P2-2 StructGenMixin - HandlesStruct 53 函数迁移 + 委托层 
HandlesStruct 全局注册表/可见性状态迁入 StructGenMixin 字段，
53 个结构体注册/查找/字段函数迁移为方法(register_struct/find_struct/
lookup_field/get_mro_chain 等)；旧函数保留为本地 _g_gen 单例委托。
Generator 多继承追加 StructGenMixin(现为 3 Mixin 组合)。
 2026-08-10 01:55:15 +08:00
TermiNexus e1ef67d013 refactor(gen): P2 TypeGenMixin 迁移 + 全局单例委托机制 
Generator 改 @t.NoVTable 多继承(BaseGenMixin + TypeGenMixin)组合；
HandlesType 54 个类型函数迁移为 TypeGenMixin 方法(全局状态迁入
gen 字段)，旧函数保留为委托层。单例经 HandlesType 模块级 _g_gen
注入(BuildPipeline/main)，避免 TPC 包短名未注册与 Generator
类/模块名歧义导致的编译链接问题。bootstrap 38/38 通过。
 2026-08-10 01:46:28 +08:00
TermiNexus 37626bca63 feat(gen): P1 Generator 骨架 - BaseGenMixin/Generator 拆分与 BuildPipeline 接入 
引入 lib/core/Gen/ 对象化骨架(对象化 P2 起点), BuildPipeline.Generate
接入 LLVMCG 生成链路; Generator.InitBaseGen 内联初始化(规避 Viper 继承
不转发父类方法符号的链接问题)。
 2026-08-10 00:28:51 +08:00