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
856 Commits
Author SHA1 Message Date
TermiNexus 695699f01e fix(build): 统一 SHA1 口径消除符号前缀不一致(undefined reference) 
- Phase2 App 源文件 SHA1 改用 IncludesScanner.compute_file_sha1(CRLF→LF 归一化), 与 StubMerger 对同一批文件口径一致; 此前用 Utils.compute_sha1(原始字节) 在 CRLF 文件上产生不同前缀
- compute_file_sha1 BUF_SIZE 128KB→1MB(与翻译侧 SRC_BUF_SIZE 一致), 消除大文件尾部变更不触发缓存失效
 2026-08-09 22:54:32 +08:00
TermiNexus f63dcd7fed fix(handles): 对象化前的最后稳定版本 
- 修复 t.CVoid(x, CPtr) 裸名 CPtr 识别失败导致方法体 ret null(scale/move/__new__/take_damage 链式调用对 NULL 解引用崩溃)
- c.Addr(self) 返回对象指针(load 一层 Ptr(Struct)), 与 c.Addr(self.field) 语义一致
- return 语句指针→指针元素类型不匹配(i8* → 类指针)自动 bitcast, 避免 llc 类型不匹配
- 多层继承 vtable 槽沿父类链用 find_func_global 定位实际定义类(修复 ElectricCar.is_running=null)
- 新增一元运算符重载(__neg__/__pos__/__invert__)
- 新增表达式接收者方法调用 (expr).method(args)
- map_t_type 补 CFloat8/16/32/64/128T 精确宽度浮点映射
 2026-08-09 22:19:21 +08:00
TermiNexus da23160ca6 fix(handles): 变参调用按 Win64 8 字节槽位提升(整数 sext 到 i64, f32 提升 f64) 
根因: 变参按窄类型(i32)传入, LLVM 只写 4 字节进 8 字节栈槽, 高 4 字节残留旧数据;
viperlib %d 强制 va_arg 读 i64 暴露残留高位(如 0x400921FB00001000, 高位是 PI 残留)。
修复: found_func.IsVarArg==1 且参数在变参位时提升, 对齐 TPC/Python-llvmlite ABI 自动提升。
SprintfTest R1-R4 PASS, DefineTest PAGE=4096 验证通过。
 2026-08-09 04:06:17 +08:00
TermiNexus e5a99abb63 fix(handles): 本轮修复集 - StructTest/TypeCastTest/StringIterTest/va_list 
- t.Struct 纳入标记基类: 消除幻影父类虚假 vtable + Phase A-pre 延迟注册, 修复 point_sum 参数退化为 i32(签名与函数体 Ptr 不一致, llc 报错)
- 指针算术改 GEP 元素缩放(对齐 TPC): ptrtoint+add 字节语义致 i32*/struct* 偏移错误(StringIterTest Test4/8)
- 右移按操作数符号性选 lshr/ashr + t.XXX 注解 AnnotClassName 提取 attr + _node_type_unsigned Name 分支查变量无符号性(TypeCastTest)
- 显式类型转换按符号性 sext/zext; _call_method_on_ptr 传 node 修复 line 0 报错; __getitem__/__setitem__ stub 守卫 + 结构体字段 bitcast 条件化
- va_list 24 字节对齐 + build_alloca_aligned; CIf 运行时回退(CIf 真值/CIfdef 恒真); parse traceback; builtins 关联
 2026-08-09 03:39:26 +08:00
TermiNexus e79b676e51 feat(handles): 实现 c.CIf/c.CIfdef/c.CIfndef 编译期宏(对齐 TPC HandlesIf) 
- 常量表达式求值: CDefine/跨模块 CDefine/平台宏 + 算术/比较/逻辑/位运算
- 编译期剪枝: 命中分支只编译, elif 递归, 未定义名特判(CIfdef 走 else/CIfndef 走 then, 不报错)
- 求值失败(运行时变量)回退运行时翻译(HandlesExprCall: CIf 真值比较/CIfdef 恒真)
 2026-08-09 03:39:18 +08:00
TermiNexus 57d6ffefad fix(TPV): c.Set 实现赋值语义 a=b(三形态: c.Deref左值/Name/Attribute), 修复 undefined reference to Set; 函数默认返回/裸return按返回类型生成浮点零值(ConstFloat 0.0, 修复 llc value doesn't match) 2026-08-08 21:35:59 +08:00
TermiNexus 59ae99f6d7 fix(TPV): 浮点CDefine存储与浮点调试打印改用CRT stdio(绕开viperlib %g格式化bug); REG-SRC 拆位模式打印定位 float_val 覆写假象 2026-08-08 20:38:24 +08:00
TermiNexus 92ba3af752 fix(TPV): 浮点 CDefine 注册多方案绕开 pool 覆写与跨模块 double 传递问题 - 查表/str_val/源文件重读+atof_out 输出参数; PRE-TR/PRE-ML/REG-SRC 定位插桩; 记录浮点节点构造值表 2026-08-08 19:42:54 +08:00
TermiNexus 24d3de4b72 fix(TPV): 统一浮点 CDefine 注册路径 + 1a 预扫描签名防 UAF - handle_module_level_var/PreScan 统一走 _register_cdefine_from_value(浮点/整数自动识别); 新增 register_cdefine_double/lookup_cdefine_double(%.17g 存值); translate_name_value 浮点 CDefine 返回 ConstFloat(修复 llc ret i32 0); 1a 预扫描函数签名提前泛型特化到 mark1 前(防 UAF); 移除 ASSIGN-DBG; 临时定位插桩 CDEF-DBG 2026-08-08 18:18:44 +08:00
TermiNexus aa6eee54e9 fix(compiler): 支持模块限定泛型类类型注解 numpy.ndarray[t.CDouble] 
Subscript value 为 Attribute 时仅支持 t.CArray/t.Callable，模块限定
泛型类（numpy.ndarray[T]）触发 fail-fast。提取 _resolve_generic_subscript_ty
辅助函数，Name 泛型类与 Attribute 泛型类共用（收集实参→mangled→特化）。
 2026-08-08 16:41:47 +08:00
TermiNexus 16d0302b08 fix(compiler): stub 注入泛型类跳过方法 declare，修复 ndarray[T] 错误特化 
Phase2 翻译 App 文件注入 numpy stub 时，_inject_method_declare 解析
class ndarray[T] 的模板签名（ndarray[T] | t.CPtr），T 无上下文可替换
→ _specialize_generic_class("ndarray", ["T"]) 递归崩溃。泛型类
（type_params 非空）跳过方法 declare 注入，具体特化方法 define 已由
Phase1 生成，返回类型仍走 vpi 返回注解缓存泛型归一化。
（含 4 处 TC-DBG 定位插桩，验证后移除）
 2026-08-08 16:33:04 +08:00
TermiNexus 94b84c7dc1 refactor(compiler): c.LLVMIR 改无返回值直接嵌入 IR 文本（不做指令解析） 
translate_c_llvmir 重写：LInp 替换为值引用文本、LOut 分配唯一 SSA
寄存器 %llvmirN 并自动 store 写回变量 alloca；模板经 block_append_text
直接嵌入当前基本块；返回 None（ret_ty 废弃）。删除 9 个旧指令解析
辅助函数。
 2026-08-08 16:10:29 +08:00
TermiNexus 3a6296d638 fix(compiler): 支持裸名 float/double 映射 + 前向声明时序 + 类型解析 fast-fail traceback 
- resolve_annotation_type Name 分支与 map_t_type 补小写 float(→f32)/double(→f64)，
  float(0.0) 转换原误映射 f64 改为 f32（vipermath fmodf result: float 修复）
- forward_declare_functions 解析签名期间临时切 declare_only=1，
  签名触发的泛型特化只注册结构体，方法体延迟补译（numpy _empty_like 前向引用修复）
- HandlesAnnAssign 变量类型注解解析失败改 fatal_error（Python traceback）
- c.LLVMIR 未识别指令改 fatal_error 立即终止（原静默返回 None）
 2026-08-08 15:59:08 +08:00
TermiNexus ee8f532dc5 fix(compiler): 泛型注解收集类型实参时替换泛型参数 T + 属性访问 fail-fast traceback 
- _get_type_name_from_annotation Name 分支应用 resolve_generic_type_name，
  修复 ndarray[T] 二次递归特化崩溃（SimdTest numpy）
- _specialize_generic_class 入口防御性替换残留类型参数名
- translate_attribute/get_attribute_ptr 非指针属性访问改 fatal_error（Python traceback 风格）
- c.Deref(ptr).attr 属性访问 base 取指针本身不做 load
- list[str] 容器 elem_size 4→8 修复（str 是指针 8 字节）
- 泛型函数显式类型参数 xxx[T](x) 回退普通函数调用；T(v) 转换走 resolve_annotation_type
 2026-08-08 15:23:48 +08:00
TermiNexus ba6beb439c feat(compiler): __sizeof__ 支持实例接收者与泛型类引用（self/obj 实际类型 + Stack[T] 特化） 2026-08-08 12:26:44 +08:00
TermiNexus 51d0ef2c18 fix(compiler): __sizeof__ fast-fail 改为 Python traceback 风格 
- __sizeof__ 处理器两个错误分支（已注册但大小 0 / 类型未注册）从 VLogger.critical（╠ 树形格式）改为 HandlesType.fatal_error（TypeError + File/line + 源码行 + 立即终止）

- 修复: 原 CRITICAL 不退出，会继续走到 _fail_method_ret_ty 二次报错，掩盖根因
 2026-08-08 12:00:39 +08:00
TermiNexus e0303c46f6 fix(compiler): 裸类形参按引用传参 + 同名类优先本模块 + 裸名泛型构造/类型参数转换 
- 裸类形参（方法+函数）解析为 Ptr(struct)，修复 GSList[T].append 按值传参悬垂（G5 Test4 head.Value 读到垃圾）

- resolve_annotation_type 裸类名优先 find_struct_by_module 命中本模块，避免跨模块同名类（main.vp G5Node vs g5container.vp）类型混用

- translate_call 新增裸名泛型类模板构造：Box(42)→从实参推断→特化→构造（GenericTest Test4/5/10、GenericTest2 Stack/Range 等）

- 类型转换路径先 resolve_generic_type_name：类特化/泛型函数中的 T(x) 解析为 int/str/bool/double 转换

- 泛型函数翻译时设泛型上下文 T→int（TPV 泛型函数按普通 i32 函数编译，退出作用域前清除）
 2026-08-08 11:54:32 +08:00
TermiNexus 60493d6ae5 fix(compiler): 支持多 includes 目录，修复 G4 g4node 未注册 SHA1 
- Config.vp 解析 includes 数组全部元素为空格分隔 IncludesDirs（首元素仍存 IncludesDir 兼容单目录）

- IncludesScanner 逐目录递归扫描合并，FileEntry.IncDir 记录所属 includes 根目录

- StubMerger 存储新增 IncDir 并行数组（MAX_INC_DIR_LEN=512），容量 256→1024

- Phase2 预注册/3.5 按需编译改用逐条目 IncDir 拼接源路径（空串回退 includes_dir）

- HandlesImports import 未注册错误显示行内内容 + App 兄弟模块文件豁免

- 新增 TransPyV 自身 project.vpj
 2026-08-08 10:31:44 +08:00
TermiNexus ea8bb0b3a4 fix(compiler): 方法返回类型三级来源重构（移除 _infer_method_ret_ty 按名推断） 
方法返回类型改为：当前模块函数 → text.ll define → vpi stub 返回注解缓存，全部未命中 fail-fast 终止（无白名单、无 hook 编译器）。

1. VpiReader 文本提取缓存 + 按需加载 + 动态扩容 + 无注解默认 i32
2. 类名解析修复（继承括号不入类名、模块级函数清空类名）
3. SetTempDir 提前到 Phase1（json 在 Phase1 翻译，Phase2 太晚）
4. 内置方法 __before_init__/__init__/__new__ 固定返回类型
5. 泛型归一化匹配 + _subst_template_arg 模板参数替换
6. 调试插桩 VPI_DEBUG_ENABLE 开关（默认关闭）
 2026-08-08 09:43:15 +08:00
TermiNexus a9ebb20790 "fix(compiler): vpi 返回注解缓存按需加载 + 动态扩容 
1. _lookup_method_ret_ty_via_vpi 查缓存前按需读取
   {temp_dir}/{sha1[0:2]}/{sha1}.vpi 填充缓存，覆盖模块自身翻译时
   （同模块方法调用、定义在后）stub 尚未注入的场景
2. 缓存容量由固定 4096 改为 stdlib.realloc 翻倍动态扩容（上限 1M），
   根治写满后条目静默丢弃导致 JsonValue._pool_alloc 等查不到"
 2026-08-08 02:24:12 +08:00
TermiNexus 09833a80eb feat: 支持 t.Callable 函数指针类型注解、赋值与间接调用（含返回类型签名缓存） 2026-08-08 01:12:40 +08:00
TermiNexus 3197152d4e fix: vpi stub 注解解析改用被读模块自己的 imports 上下文，根治跨模块误报 2026-08-08 00:51:19 +08:00
TermiNexus 95a52bb9f6 fix: vpi 注入错误上下文帧携带触发 import 的真实行号与行内容 2026-08-08 00:38:06 +08:00
TermiNexus 6dbcbe247e fix: vpi stub 注入期间修正错误归因，多级堆栈显示编译上下文与被读 stub 真实位置 2026-08-08 00:33:29 +08:00
TermiNexus 94ae2aee52 refactor: 提取 _lookup_sha1_from_modname_raw，消除 HandlesExpr 重复的模块 SHA1 查找段 2026-08-08 00:02:39 +08:00
TermiNexus 0665ee1164 refactor: StubMerger 复用公共工具（LookupSha1ByModName 委托、_sliced_path 复用 slice_subdir、_PathToModuleName 下沉） 2026-08-08 00:02:39 +08:00
TermiNexus 96e045889e refactor: 提取 is_vp_or_py_at/JoinPath/read_file_to_buf 公共工具，消除 IncludesScanner/Phase2 重复代码 2026-08-08 00:02:39 +08:00
TermiNexus e2bdfc1c4e chore: 移除 DDEBUG/MATCHDBG 调试日志残留 2026-08-07 23:29:39 +08:00
TermiNexus 989e898a93 refactor: 提取公共 bytes_to_hex/nibble_to_hex_char，消除三处重复的 SHA1 hex 转换 2026-08-07 23:29:39 +08:00
TermiNexus 7d6917762c fix(core): 数组下标 <32 位索引 zext 到 i32，修复字节索引越界 2026-08-07 22:36:28 +08:00
TermiNexus d6690c6e39 feat(core): for 支持定长数组与列表字面量迭代，其余字面量 fast-fail 2026-08-07 22:36:28 +08:00
TermiNexus 762d535a86 fix(core): 局部数组+列表字面量改走逐元素初始化，消除 list[T] 误特化崩溃 2026-08-07 22:36:22 +08:00
TermiNexus 9322ac469f fix(core): 泛型特化翻译并入模板模块 imports，消除跨模块误报 2026-08-07 22:36:22 +08:00
TermiNexus adff2f35c4 fix(core): print 类型感知格式化，跨模块未导入 fast-fail，报错行号防御 2026-08-07 22:36:16 +08:00
TermiNexus 557a40c662 chore(core): 移除 Phase1.vp 遗留的 DBG-MC 调试输出 2026-08-07 19:58:05 +08:00
TermiNexus 89cc30c757 基本稳定 2026-08-07 19:32:46 +08:00
TermiNexus 987088fdff 'fix(core): support keyword args in method calls 
_translate_method_call ignored cl.keywords, so keyword-style calls
like add_argument("--count", short="-c", arg_type=INT) lost all
keyword values (short_name/arg_type stayed default), breaking
Test 4. Match keywords against function params by name, fill
missing params with zero values to keep call arity consistent.'
 2026-08-07 17:30:41 +08:00
TermiNexus f7cc0f84d1 解决了_parse_type_string 节点损坏，改用字符串直接解析 2026-08-07 01:44:34 +08:00
TermiNexus c876df7907 依据 T97 决定性结果，修复了 CVoid 严格验证，other_ty 有效性验证，fallback 不依赖 kind() 实现 2026-08-06 23:00:01 +08:00
TermiNexus f440bda421 清理 __new__/__init__/add_argument 中的 [DBG-argparse] 运行时打印， 
还原标准库为静默实现。
 2026-08-06 21:21:41 +08:00
TermiNexus 6d3fc4569c 通过了 Memhub BuddyTest 测试 2026-08-06 19:50:46 +08:00
TermiNexus f8436c74d2 提交新的建议忽略 2026-08-06 18:08:09 +08:00
TermiNexus 8ad500c4da 基本稳定可以编译 Test 2026-08-05 20:12:08 +08:00
TermiNexus a3b9bdc409 修正了逻辑，使 TPV 可以编译 Test，但自举还有一段距离 2026-08-03 02:01:20 +08:00
TermiNexus 9dcf34599d 升级了仿 Python 错误堆栈提示，修复了 bool 不存在的问题，将 bool 改为 i1 而非 i8，实现了 bool 的归一化 2026-07-31 04:12:12 +08:00
TermiNexus bfb55d68f4 取消了 i8* == i8* 实际使用 strcmp 的规则，修复了诸多 Bug 2026-07-30 21:56:19 +08:00
TermiNexus d227bee139 将 .py 和 .pyi 后缀名改为了 .vp 和 .vpi 后缀名 2026-07-30 16:34:50 +08:00
TermiNexus 32af3f93fa 自举实验失败，C1 编译 Test 成功，暂未达到自举收敛点 2026-07-30 15:44:32 +08:00
TermiNexus 68481a5a7f Fixed some bugs and tried to maintain the bootstrap 2026-07-28 21:10:05 +08:00
TermiNexus 03d0bba534 修正了一些错误 2026-07-26 20:33:17 +08:00