GVSDS/Viper_VRTE: GVSDS(TM) Viper SE Runtime Environment and Library (VRTE) - Viper_VRTE - GVSDS

GVSDS/Viper_VRTE

0 Fork 0

T

TermiNexus f95eb8016b fix(mlir): i1 常量物化用裸布尔关键字（true/false 不带 : i1）

mlir-opt 报：
  error: expected ')'
      %c7 = llvm.mlir.constant(false : i1) : i1

`true`/`false` 是 MLIR 的裸布尔关键字，不能再带类型后缀（其余标量必须写
`值 : 类型`）。

修复两处常量物化：
- `_MlirEmitOneConst`（函数内常量）；
- `_MlirGvEmitConst`（全局初值 region 叶子 op）。

README §2.3 常量表补 i1 行。

2026-10-03 22:11:45 +08:00

feat(parser): switch 的 case/default 支持 if 守卫

2026-10-03 10:58:53 +08:00

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

fix(memhub,gzip): 内存池 OOM 归属画像与 free 拒绝现场；gzip 注解 *= 词法粘连

2026-09-26 19:27:24 +08:00

refactor(includes): 适配新指针口径与语法，rawptr[T] → T* / t.CPtr → rawptr

2026-10-01 18:05:05 +08:00

fix(mlir): i1 常量物化用裸布尔关键字（true/false 不带 : i1）

2026-10-03 22:11:45 +08:00

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

fix(memhub,gzip): 内存池 OOM 归属画像与 free 拒绝现场；gzip 注解 *= 词法粘连

2026-09-26 19:27:24 +08:00

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

Revert "fix(includes): llvmlite/mlirlite/torch 的分配器形参放宽到基类 MemManager"

2026-09-29 15:48:06 +08:00

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

fix(w32/condition/rwlock): SRWLOCK / CONDITION_VARIABLE 建模为不透明结构体

2026-10-01 19:24:07 +08:00

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

__builtin.py.bak

从 TransPyC 主项目中分离 VRTE

2026-08-17 11:01:35 +08:00

_dict.vp

refactor(_dict): 元素地址运算去掉 uint64 往返，改用裸指针字节偏移

2026-10-01 18:04:45 +08:00

_fakeduck.vp

修正 _fakeduck.vp 表达含义

2026-09-30 00:25:55 +08:00

_list.vp

refactor(_list): 清理未使用导入，append 的 new_data 改用 rawptr

2026-10-01 18:30:44 +08:00

_variant.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

_withcontent.vp

fix(memhub,gzip): 内存池 OOM 归属画像与 free 拒绝现场；gzip 注解 *= 词法粘连

2026-09-26 19:27:24 +08:00

.gitignore

'基线重置，修复了一些 bug，fix(llvmlite): build_alloca_at_entry 在已终止入口块后在 br 后追加 alloca 致非法 IR嵌套循环（如 LoopTest.test_nested_loop 内层 for）内联新建循环变量 alloca 时，入口块已以 br 终止，block_append_text 把 alloca 追加到终止指令之后，生成不可达指令，llc 报 "instruction expected to be numbered %N or greater"。改用 block_insert_text_before_terminator：未终止等同追加，已终止插到终止指令之前；编号乱序由 RenumberSSA 重排处理。'

2026-09-07 15:05:50 +08:00

argparse.vp

fix(argparse): argv 取值改用直接下标 argv[idx]，避开 TPC 赋值路径对 i8** 右值的自动解引用

2026-10-01 18:29:53 +08:00

asm.vp

feat(dbgstack,parser,asm): 新增按键栈转储运行时；前置数组声明符/union 语法；asm 迁移新语法

2026-09-25 13:11:15 +08:00

atom.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

base64.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

binascii.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

builtins.vp

fix(memhub,gzip): 内存池 OOM 归属画像与 free 拒绝现场；gzip 注解 *= 词法粘连

2026-09-26 19:27:24 +08:00

condition.vp

fix(w32/condition/rwlock): SRWLOCK / CONDITION_VARIABLE 建模为不透明结构体

2026-10-01 19:24:07 +08:00

coro.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

ctraits.vpi

从 TransPyC 主项目中分离 VRTE

2026-08-17 11:01:35 +08:00

event.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

gzip.vp

fix(memhub,gzip): 内存池 OOM 归属画像与 free 拒绝现场；gzip 注解 *= 词法粘连

2026-09-26 19:27:24 +08:00

hashtable.vp

fix(includes): 槽视图改为 cast 到声明类型（地址 → 二级指针不再隐式转换）

2026-09-29 15:10:33 +08:00

hello.vp

从 TransPyC 主项目中分离 VRTE

2026-08-17 11:01:35 +08:00

linkedlist.vp

refactor(includes): 适配新指针口径与语法，rawptr[T] → T* / t.CPtr → rawptr

2026-10-01 18:05:05 +08:00

lock.vp

将 lock.vp 的 c.Addr(self.cs) 替换为 &self.cs

2026-09-30 13:52:40 +08:00

math.vp

refactor(includes): 适配新指针口径与语法，rawptr[T] → T* / t.CPtr → rawptr

2026-10-01 18:05:05 +08:00

memhub.vp

refactor(includes): 适配新指针口径与语法，rawptr[T] → T* / t.CPtr → rawptr

2026-10-01 18:05:05 +08:00

platmacro.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

posix.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

random.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

rwlock.vp

fix(w32/condition/rwlock): SRWLOCK / CONDITION_VARIABLE 建模为不透明结构体

2026-10-01 19:24:07 +08:00

shutil.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

socket.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

spinlock.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

stdarg.vp

refactor(includes): 适配新指针口径与语法，rawptr[T] → T* / t.CPtr → rawptr

2026-10-01 18:05:05 +08:00

stdint.vp

refactor(includes): 适配新指针口径与语法，rawptr[T] → T* / t.CPtr → rawptr

2026-10-01 18:05:05 +08:00

stdio.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

stdlib.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

string.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

subprocess.vp

fix(memhub,gzip): 内存池 OOM 归属画像与 free 拒绝现场；gzip 注解 *= 词法粘连

2026-09-26 19:27:24 +08:00

sys.vp

略微清理了 sys.vp

2026-09-29 17:00:36 +08:00

testcheck.vp

修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善

2026-09-23 17:42:03 +08:00

this.vp

给 this.vp 增加了一个空格

2026-09-29 17:00:20 +08:00

traceback.vp

fix(traceback): 撤掉 caller_ret（[RBP+8] 在 .vp 帧里不是返回地址）

2026-09-28 12:21:26 +08:00

vector.vp

将 vector 整理

2026-09-29 16:59:46 +08:00

viperbuild.vpnci

feat(stub): 以 viperbuild.vpnci 替换 project_build.vpnci

2026-10-02 22:07:01 +08:00

viperio.vp

清理了 viperio

2026-09-29 16:59:21 +08:00

viperlib.vp

略微清理了 viperlib，受限于 Vipeye 缺陷暂缓

2026-09-29 16:59:09 +08:00

vipersimd.vp

将 vipersimd.vp 的注解描述得更准确（t.CPtr -> double*）

2026-09-29 16:58:40 +08:00

vthreading.vp

去除了 vthreading 的 c.Addr

2026-09-29 16:47:50 +08:00

zipfile.vp

将 zipfile 改为最简洁形式

2026-09-29 16:47:20 +08:00