From 37c15c9aa0534b2fecbe153e72505e32ca57a917 Mon Sep 17 00:00:00 2001 From: TermiNexus Date: Mon, 19 Oct 2026 18:25:15 +0800 Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E6=94=B9=20README.md=20=E4=B8=BA?= =?UTF-8?q?=E7=BA=AF=E8=8B=B1=E6=96=87?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 221 +----------------------------------------------------- 1 file changed, 4 insertions(+), 217 deletions(-) diff --git a/README.md b/README.md index 1756015..c189a6f 100644 --- a/README.md +++ b/README.md @@ -1,223 +1,10 @@ -# ViperC - -[English](#english) | [中文](#中文) - -The **Viper language compiler, written in Viper itself** — and it is **self-hosted**: ViperC compiles its own source and produces `viperc.exe`. It translates Viper sources to LLVM IR, then drives `llc` + `clang++` to link a native Windows executable. The first-generation CPython compiler ([TransPyC](https://git.gvsds.com/GVSDS/TransPyC)) is now only kept as the bootstrapping **seed**. - -**用 Viper 语言编写的 Viper 编译器**，且**已完成自举**：ViperC 能编译自身源码并产出 `viperc.exe`。它把 Viper 源码翻译为 LLVM IR，再调用 `llc` + `clang++` 链接为 Windows 原生可执行文件。第一代 CPython 编译器（[TransPyC](https://git.gvsds.com/GVSDS/TransPyC)）现在只作为自举**种子**保留。 +This is a request to remove the Chinese portions from the ViperC README. Here is the resulting document with all Chinese sections stripped, keeping only the English content. --- - +# ViperC -## 中文 - -### 这是什么 - -`ViperC` 是 Viper 的第二代编译器：**用 Viper 自己写、也被 Viper 自己编译**。整条链路上没有任何 Python 运行时参与编译 —— 词法/语法分析走 `includes/ast`（自研解析器，9 个文件），IR 生成走 `App/lib/core/Gen/`，目标代码由 `llc` 与 `clang++` 产出。 - -自举链路： - -```text -TransPyC（种子，CPython 实现） - │ 只做一次：把 ViperC 源码编译成 viperc.exe - ▼ -viperc.exe（第一阶段产物） - │ 自举：用这个 exe 再编译 ViperC 自身 - ▼ -viperc.exe（自举产物，当前仓库随包/随 exe\ 提供的那份） - │ - └─ 用它编译任意 Viper 工程（ViperApps\*、Test\* …） -``` - -现状与规模（本机实测）： - -| 项 | 值 | -| --- | --- | -| 编译器源码 | `App/` 下 **82 个 `.vp` 文件，63,783 行** | -| 其中翻译器核心 | `App/lib/core/Gen/` **54 个文件，47,297 行** | -| 阶段与合并 | `App/lib/Phase/` 6 文件 5,339 行；`App/lib/Stub/` 9 文件 6,207 行 | -| 工程与工具 | `App/lib/Projectrans/` 3 文件 712 行 | -| 自测/回归套件 | 工作区根 `Test\`（**独立仓库**）：**97 个工程，129 个 `.vp`**，由 `Test\SequentialRegressionTest.py` 驱动 | -| 平台 | Windows x64（源码直接 `import win32.*`） | - -> 自举可行性分析与历史数据见 [`wiki/13-bootstrapping.md`](https://git.gvsds.com/GVSDS/TransPyC/blob/main/wiki/13-bootstrapping.md)（该文标注：Phase A → Phase B/C 已跑通，编译器已脱离 Python 运行时）。 - -### 目录结构 - -```text -ViperC/ -├── project.vpj # 工程配置（source_dir=./App, build_dir=./__vpcbuild__, 输出 viperc.exe） -├── App/ # 编译器源码（Viper） -│ ├── main.vp # CLI 入口：内存池初始化、单例注入、参数解析、Phase 调度 -│ └── lib/ -│ ├── Projectrans/ -│ │ ├── Config.vp # project.vpj 加载与路径解析（含 includes 缓存目录） -│ │ └── Utils.vp # SHA1 / 目录清理 / 杂项 -│ ├── core/ -│ │ ├── VLogger.vp # 日志（info/warn/error/banner/success） -│ │ ├── IncludesScanner.vp # includes 目录扫描（决定哪些需重编译） -│ │ ├── CompilerFactory.vp # 工厂：持有 mb + perm_pool 两个 MemBuddy 单例 -│ │ └── Gen/ # 翻译器（52 文件）—— 把 AST 变为 LLVM IR -│ │ ├── Generator.vp / Translator.vp / GenApi.vp / GenTypes.vp -│ │ ├── BaseGenMixin / AssignGenMixin / VarGenMixin / ImportsGenMixin -│ │ ├── MatchGenMixin / AsyncGenMixin / StructGenMixin / TranslatorGenMixin -│ │ ├── Call/ (12) 调用生成：普通调用 / C 内建 / 构造 / 虚表 / 变参 / 内联汇编 … -│ │ ├── Class/ (6) 类：定义 / 泛型 / 虚表 / 枚举 / Mixin -│ │ ├── Expr/ (9) 表达式：名字 / 常量 / 运算 / 属性 / f-string / CDef … -│ │ ├── Func/ (3) 函数定义 -│ │ ├── Stmt/ (3) 语句：声明 / C-if / Mixin -│ │ └── Type/ (6) 类型解析与 C 类型映射 -│ ├── Phase/ -│ │ ├── BuildPipeline.vp # .ll → llc → .obj → clang++ → .exe（含 ASan 插桩分支） -│ │ ├── Phase1/ # Phase 1：按需翻译 includes + stub 分离（.stub.ll / .text.ll） -│ │ └── Phase2/ # Phase 2：多文件工程翻译、IR 组合、编译 -│ └── Stub/ -│ ├── StubGen/ # .vpi 读取 + 声明转换 -│ └── StubMerger/ # 多份 .stub.ll / .text.ll 依赖排序与合并 -``` - -> 自测/回归套件不在本仓库：位于工作区根 `Test\`（独立仓库，97 个工程 129 个 `.vp`）， -> 由 `Test\SequentialRegressionTest.py` 驱动（`--exe exe\viperc.exe`）。 - -### 前提条件 - -| 工具 | 说明 | -| --- | --- | -| Windows 10/11 x64 | 编译器源码直接 `import win32.*`，当前仅 Windows | -| `llc` | LLVM 静态编译器（本机 22.1.8），由 `project.vpj` 的 `compiler.cmd` 指定 | -| `clang++` | mingw-w64 工具链，`-fuse-ld=lld` 链接（本机 `D:/msys64/mingw64/bin/clang++.exe`） | -| ≥ 1.5 GiB 空闲内存 | 启动即 `malloc` 1 GiB 主池 + 512 MiB 常驻池 | -| [TransPyC](https://git.gvsds.com/GVSDS/TransPyC) | **仅当需要重建自举种子时**才需要 | - -目录布局（编译时需要能找到 `includes/`，`project.vpj` 里写的是相对路径 `../includes`）： - -```text -TransPyC\ # 工作区根 -├── TransPyC\ # 第一代编译器（种子） -├── ViperC\ # 本仓库 -├── Test\ # 回归套件（独立仓库） -├── exe\ # 随包提供的自举产物（viperc.exe） -└── includes\ # Viper 标准库 + includes/ast 解析器 -``` - -### 快速开始 - -```bat -:: 日常：直接用自举产物编译任意工程 -exe\viperc.exe --project ViperApps\ViperMNIST\project.vpj --clean - -:: 编译并立即运行 -exe\viperc.exe --project ViperApps\ViperMNIST\project.vpj --clean --run - -:: 只有在需要重建编译器本体（自举种子）时，才动用 TransPyC -python TransPyC\Projectrans.py --project ViperC\project.vpj --clean -``` - -产物位置 = `<工程目录>\\output\`，即默认 `<工程>\__vpcbuild__\output\app.exe`； -ViperC 自身因 `linker.output` 为 `viperc.exe`，产物是 `ViperC\__vpcbuild__\output\viperc.exe`。 - -跑回归套件（工作区根 `Test\`，独立仓库）： - -```bat -python Test\SequentialRegressionTest.py --exe exe\viperc.exe -``` - -### 命令行参数 - -| 参数 | 含义 | -| --- | --- | -| `--project ` | `project.vpj` 路径（不给则在当前目录、上级目录找） | -| `--src ` | 单文件模式源目录（覆盖配置；入口取 `/main.vp`） | -| `--temp ` | 声明接口临时目录（覆盖配置，默认 `/temp`） | -| `--output ` | 输出目录（覆盖配置，默认 `/output`） | -| `--phase 1\|2\|all` | 1=只做 stub 分离；2=只做 IR 组合+编译；all=全部（默认） | -| `--cc ` | LLVM 编译器命令（覆盖配置） | -| `--build-dir ` | 覆盖 `project.vpj` 的 `build_dir`（相对路径仍基于工程目录解析） | -| `--clean` | 清理 temp / output / includes 预编译缓存 | -| `--rebuild-includes` | 只删 includes 预编译缓存（`includes.binary`），强制重编 includes | -| `--clear-cache` | 只清 temp 缓存（`.vpi` / `.stub.ll` / `.text.ll`），强制重生成 stub | -| `--run` | 编译成功后立即执行产物 | -| `--repl` | 交互式 REPL（M1：表达式片段 → DLL → 调用回显）；未给 `--project` 时按 cwd → `viperc.exe` 同目录查找 `repl.vpj` 模板工程（找不到则报错并提示 `--project`）；与 `--asan` / `--phase2command` 互斥 | -| `--asan` | ASan 模式：先 `opt -passes=asan` 插桩；运行库须由 `project.vpj` 的 `linker.static_libs` 声明，否则 fail-fast | -| `--phase2command ` | 不执行 `llc`/链接，只把命令写进指定 `.bat` | -| `--nowarn-register` | 抑制 Phase A 依赖类 WARN（跨模块 `text.ll` 未生成，下遍收敛） | -| `--no-llvmpeephole` | 关闭 FunctionPrint 的本地窥孔（T2 store/load 转发、T3 空 bitcast） | -| `--detection` | 开启 MemBuddy 分配检测（`0xCDCD` 标记 + 记录表探针，查越界写） | -| `--show-args` | 打印全部解析结果 | -| `--version`, `-v` | 打印 Viper / VRTE / ViperC 版本、提交号、目标三元组与 LLVM 版本 | -| `--help`, `-h` | 打印帮助 | - -### 架构 - -```text -source_dir 下全部 .vp/.py（多文件模式：递归扫描所有源文件） - │ - ├─ Phase 1（stub 分离） - │ IncludesScanner 按需翻译 includes → Phase1/* - │ Translator + Gen/* 生成 IR，再分别落盘： - │ .stub.ll 声明 - │ .text.ll 实现 - │ - ├─ Phase 2（组合 + 编译） - │ StubMerger* 按拓扑序合并 本地 stub + 依赖 stub + 本地 text → 完整 IR - │ BuildPipeline：完整 IR → llc → .obj → clang++（附加 includes 预编译 .obj）→ .exe - │ - └─ /output/ -``` - -**核心模块分工：** - -| 模块 | 职责 | -| --- | --- | -| `App/main.vp` | CLI 入口：内存池与单例初始化、参数解析、Phase 调度、`--run` | -| `lib/Projectrans/Config.vp` | `project.vpj` 加载、路径解析、includes 缓存目录 | -| `lib/core/CompilerFactory.vp` | 持有 `mb`（主池）与 `perm_pool`（常驻池）两个 `MemBuddy` | -| `lib/core/Gen/Generator.vp` | 项目级 `Generator` 单例，Phase1/Phase2/BuildPipeline 全程复用 | -| `lib/core/Gen/Translator.vp` | 翻译器主体，`translate()` 与 `dump_ir()`（`.stub.ll` / `.text.ll` / 完整 IR） | -| `lib/core/Gen/GenApi.vp` | 翻译器对外接口与全局状态（如 temp 目录） | -| `lib/Phase/Phase1/` | 扫描 includes、拓扑排序、按需生成声明 | -| `lib/Phase/Phase2/` | 多文件工程：递归扫描源文件、翻译、IR 组合、调度编译 | -| `lib/Phase/BuildPipeline.vp` | `.ll` → `llc` → `.obj` → `clang++` → `.exe`（ASan 走插桩分支） | -| `lib/Stub/StubGen/` | 读取 `.vpi`，转换为 stub 声明 | -| `lib/Stub/StubMerger/` | `stub.ll` / `text.ll` 的收集、依赖拓扑、IR 拼接与落盘 | -| `lib/core/IncludesScanner.vp` | 扫描 `includes/`，决定哪些文件需要重编译 | -| `lib/core/VLogger.vp` | 日志系统（含 `--nowarn-register` 开关） | - -> 自举相关注意点：自举后模块级全局变量会带 **SHA1 前缀**（模块隔离），因此像 `_g_gen` -> 这类单例必须**逐模块赋值**（`GenApi._g_gen = gen` …），不能只在 `main.vp` 里赋裸名 —— -> 否则部分模块读到自己的 `None`，表现为"全局名判定恒为 0"之类的误报。 - -### 内存模型 - -全程无系统 `malloc` 抖动，只有两个 `MemBuddy` 内存池（`lib/memhub` 的伙伴分配器）： - -- `POOL_SIZE = 1 GiB`（`1073741824`）—— 主池，`mb`，翻译过程的常规分配。 -- `PERM_POOL_SIZE = 536871176`（≈512 MiB 可用）—— 常驻池，`perm_pool`，跨阶段存活的对象。 -- 两者由 `CompilerFactory.factory` 单例持有；`mb` 另以 `sys._mbuddy` / `argparse._mbuddy` / - `ast._mbuddy` / `Config._mbuddy` … 的形式逐模块注入。 - -`--detection` 会把两个池都切到检测模式（`0xCDCD` 填充 + 记录表探针），用于排查越界写。 - -### 与 TransPyC 的关系 - -| 维度 | TransPyC | ViperC | -| --- | --- | --- | -| 实现语言 | CPython | Viper | -| 定位 | 自举**种子**（只用来生成稳定的 ViperC） | **现行编译器** | -| 自举状态 | — | ✅ 已完成，能编译自身 | -| 入口 | `TransPyC/Projectrans.py` | `App/main.vp` | -| AST 解析 | Python `ast` / 自研 vast | `includes/ast` 自研（9 文件） | -| 工程配置 | `project.json` | `project.vpj` | -| 平台 | Windows / Linux | Windows（`win32.*`） | - -### 进一步阅读 - -- [TransPyC 编译器仓库（种子）](https://git.gvsds.com/GVSDS/TransPyC) -- [Viper 语言文档（wiki 目录）](https://git.gvsds.com/GVSDS/TransPyC/tree/main/wiki) -- [自举可行性分析与进展](https://git.gvsds.com/GVSDS/TransPyC/blob/main/wiki/13-bootstrapping.md) -- [编译系统（工程配置 `project.vpj` / `viperbuild` 元编程）](https://git.gvsds.com/GVSDS/TransPyC/blob/main/wiki/12-compilation-system.md) -- [ViperOS 操作系统（用 Viper 写的 OS）](https://git.gvsds.com/GVSDS/ViperOS) +The **Viper language compiler, written in Viper itself** — and it is **self-hosted**: ViperC compiles its own source and produces `viperc.exe`. It translates Viper sources to LLVM IR, then drives `llc` + `clang++` to link a native Windows executable. The first-generation CPython compiler ([TransPyC](https://git.gvsds.com/GVSDS/TransPyC)) is now only kept as the bootstrapping **seed**. --- @@ -432,4 +219,4 @@ out-of-bounds writes. - [Viper language docs (wiki)](https://git.gvsds.com/GVSDS/TransPyC/tree/main/wiki) - [Bootstrapping analysis and progress](https://git.gvsds.com/GVSDS/TransPyC/blob/main/wiki/13-bootstrapping.md) - [Compilation system (`project.vpj` / `viperbuild` metaprogramming)](https://git.gvsds.com/GVSDS/TransPyC/blob/main/wiki/12-compilation-system.md) -- [ViperOS (an OS written in Viper)](https://git.gvsds.com/GVSDS/ViperOS) +- [ViperOS (an OS written in Viper)](https://git.gvsds.com/GVSDS/ViperOS) \ No newline at end of file