codecin 6.4.0__tar.gz → 7.0.0__tar.gz

{codecin-6.4.0 → codecin-7.0.0}/CHANGELOG.md

@@ -5,6 +5,167 @@
 
 ---
 
+## [7.0.0] - 2026-11-01
+
+一次以「编译产物格式统一 + AOT 去 Go 化」为主题的大版本：默认产物从 `.bin`
+切换为可自描述的 `.sdgcc`（内部 `CODE` 段仍与 BIN v3 逐字节一致），`cvm`
+改为读取 `mkn.toml` 驱动多文件编译，AOT 新增纯 C 后端（GCC/Clang/Zig），
+不再依赖 Go 工具链即可产出 Windows PE 与 Linux ELF（x86-64 / AArch64）。
+
+### 新增 (Added)
+
+- **`.sdgcc` 编译产物容器**（`codecin/sdgcc.py`）：28 字节头 + 24 字节/段的
+  定长段表，`CODE` 段逐字节保存 BIN v3，另附 `META`（TOML）、`SYMS`（标签）、
+  `SRCS`（源码清单）。`CODE` 与旧 `.bin` 完全同构，旧读取器可直接消费。
+- **单文件 / 多文件模式**：容器内记录 `mode` 与源码清单；`cvm build` 对 mkn
+  项目默认**多文件**（入口 + `import` 闭包），`--single` 切换单文件模式。
+- `cvm` 模块（CVM format 2）改为 `code/program.sdgcc` 成员，仍可读取旧
+  `code/program.bin`（format 1）；`cvm build` 接受 `.sdgcc` / `.bin` 混合输入，
+  旧 `.bin` 输入会被原样封装。
+- **AOT 工具链层**（`codecin/toolchain.py`）：为去除 Go 依赖后的 C 后端提供
+  编译器发现与交叉编译支持——三个目标（`x86_64-windows` / `x86_64-linux` /
+  `aarch64-linux`）、`CODECIN_CC_<TARGET>` 覆盖、自带工具链目录、
+  `-dumpmachine` 目标校验，以及 `python -m codecin.toolchain install` 从镜像
+  下载/校验/解包（含路径穿越防护）。
+- **AOT C 后端**（`codecin/cbackend.py`）：把 UCBC 指令逐条展开成 C（寄存器
+  数组 + 显式 NZCV + 扁平内存 + 栈/call-ret），由 GCC/Clang 生成机器码；
+  不再经过 Go。已覆盖整数运算、比较跳转、`B`/`CBZ` 条件分支、内存读写、
+  `PUSH/POP/CALL/RET`、`OUT` 与核心 syscall（ALLOCFRAME/TIME/RAND/MALLOC/
+  ITOA/FTOA/PRINT_STR/ABORT 等），未实现指令在运行期以明确信息退出（码 1）。
+  与 VM 对同一 CIN 程序的输出已做逐字节比对。
+- **C 后端 syscall 覆盖 0-38**：浮点数学（`sqrt/pow/sin/cos/tan/FADD…/FCMP/
+  FTOI/ITOF`）、整数/字符串（`abs/strlen/strcmp/strcpy/strcat/malloc/itoa/
+  ftoa/str_concat/bool_str/substr/indexof/upper/lower/trim/ltrim/rtrim/atoi`）
+  与 `floor/ceil/round`、`time/rand/srand`、`abort`，全部按 VM 语义实现
+  （含 `malloc` 16 字节对齐、`itoa` 有符号、`strcmp` 字节差、`substr` 越界裁剪）。
+- **C 后端文件 I/O（SYS 51-57）**：`file_read/file_write/file_append/
+  file_exists/file_delete/file_size/mkdir`，返回值与 VM 对齐（失败 -1、
+  `file_read` 失败返回空串、`mkdir` 递归建目录），并与 VM 做了同一程序
+  的输出对拍。
+- **C 后端系统层（SYS 58/61-67）**：`dirlist`（有序、目录带 `/`）、
+  `getenv/setenv`、`osname/hostname/username/cwd/homedir`；Windows 的
+  `username` 与 Go `user.Current()` 对齐为 `DOMAIN\user`。
+- **C 后端网络（SYS 147-150/157）**：`tcp_dial/tcp_send/tcp_recv/tcp_close`
+  与 `dns_lookup`，Windows 走 Winsock（`-lws2_32`）、POSIX 走 BSD socket；
+  与 VM 在本地 echo 服务器上做了同程序对拍（收发字节数、退出码一致）。
+- **C 后端 HTTP（SYS 97/98/145/146）**：`http_get`/`http_post`/`http_req` 与
+  `http_code`；URL 解析（host/port/path）、`Connection: close` 读尽响应、
+  8 MiB 上限、状态码记录，GET 与 POST 均与 VM 在本地 HTTP 服务上对拍。
+- **C 后端 TCP 服务端（SYS 151/152）**：`tcp_listen/tcp_accept`，与
+  `tcp_recv/tcp_send/tcp_close` 组合可让 AOT 产物直接对外提供 TCP 服务；
+  已用 Python 客户端对 VM 与 AOT 两个版本做同一协议对拍。
+- **C 后端 UDP（SYS 153-156）**：`udp_open/udp_sendto/udp_recvfrom/
+  udp_close`（可选 `ip:port` 回填），与 VM 在本地 UDP echo 对端上完成
+  收发字节数对拍。
+- **C 后端 Base64（SYS 101/102）**：`base64_encode/base64_decode`
+  （标准字母表、`=` 填充、解码忽略空白与非法字符），与 VM 对拍一致。
+- **C 后端 SHA-256（SYS 100）**：`sha256` 返回小写十六进制摘要（自实现
+  压缩函数，无第三方依赖），`"abc"` 与空串摘要均与 VM 一致。
+- **C 后端画布（SYS 43-46/48/49）**：`canvas/set_color/fill_rect/
+  fill_circle/draw_line/save_png`，白底 RGBA8、坐标裁剪、Bresenham 直线，
+  PNG 用 zlib stored 块 + CRC32 手写输出；用例解码像素后校验红块/蓝圆/
+  绿线与白底，并与 VM 产物尺寸对齐。
+- **C 后端 `download`（SYS 99）**：GET → 仅 2xx 落盘（非 2xx 或网络错误
+  返回 -1），与 VM 的 0/-1 语义一致，并有用例校验落盘内容。
+- **C 后端 `show_canvas`（SYS 50）**：无窗口环境下明确返回 `-1`（不静默成功、
+  也不崩溃），画布内容仍可 `save_png` 落盘。
+- **C 后端路径/环境补充（SYS 87/89/90）**：`is_dir`、`temp_dir`、`chdir`
+  （Windows 走 `_chdir`），与 VM 输出对拍一致。
+- **C 后端 `dir_remove`（SYS 86）**：递归删除（`rm -rf` 语义），与 VM 对拍
+  一致，用例额外断言目录确实不存在。
+- **C 后端 `file_copy`/`file_move`/`file_mtime`（SYS 84/85/88）**：复制、
+  重命名（跨盘回退为复制+删除）、mtime（unix 秒，失败 -1），与 VM 对拍一致。
+- **C 后端 `path_join`/`path_basename`/`path_dirname`（SYS 80-82）**：
+  按平台分隔符归一化（Windows `\`，POSIX `/`）、折叠重复分隔符，与
+  `filepath.Join/Base/Dir` 输出一致。
+- **C 后端 `path_abs`（SYS 83）**：Windows 用 `_fullpath`、POSIX 用
+  `realpath`（失败回退 `getcwd + 拼接`），输出与 `filepath.Abs` 一致。
+- **C 后端不支持项提示更精确**：`supports()` 报错从「未实现的 SYS 47」升级为
+  「未实现的 SYS 47 (CANVASTEXT)」，`auto` 回退/`c` 报错时可直接看出缺什么。
+  对应端到端用例改为用 `draw_text` 触发，验证报错含 syscall 名。
+- **C 后端时间/平台信息（SYS 91-94）**：`time_ms`（单调时钟）、
+  `sleep_ms`（上限 600s）、`cpu_count`、`arch_name`（amd64/arm64/x86），
+  与 VM 语义一致，并有用例验证计时单调与休眠生效。
+- **C 后端 `mem_info`/`is_android`（SYS 95/96）**：`mem_info` 输出
+  `{"total_kb":N,"free_kb":M}`（Windows `GlobalMemoryStatusEx`、Linux 解析
+  `/proc/meminfo`）；`is_android` 以 `/system/build.prop` 判定。
+- **C 后端交叉编译打通（Zig 兜底）**：`toolchain.find_zig()` 自动发现
+  `~/.codecin/zig/**/zig` 或 `CODECIN_ZIG`，在缺少目标 GCC 时改用
+  `zig cc -target <triple>`（自带 libc，无需 sysroot）。已实测同一份指令流
+  交叉编译为 `x86_64-linux`（ELF e_machine 0x3E）与 `aarch64-linux`
+  （0xB7），并加入自动跳过式用例 `test_cross_compile_elf_targets`。
+- **测试稳定性**：网络用例改用 `ThreadingTCPServer` + `daemon_threads`
+  并在 `finally` 里 `server_close()`；TCP 服务端用例改为按需重新分配端口
+  重试；`tcp_echo` 的对端在 accept 超时后直接退出。`tests/test_cbackend.py`
+  全量从偶发挂起恢复到 ~78s 稳定通过。
+
+### 变更 (Changed)
+
+- **AOT 默认走 C 后端**：`--build-backend auto` 在指令流可被 C 后端完整翻译时
+  使用「C → GCC/Clang」管线（不再经过 Go），遇到未覆盖的指令/syscall 才回退
+  旧的 Go 后端；新增 `--build-backend c` 可强制 C 后端（不支持时直接报出
+  具体指令/SYS 号，不静默换后端）。`--build-target windows/amd64`、
+  `linux/amd64`、`linux/arm64` 映射到 `x86_64-windows` / `x86_64-linux` /
+  `aarch64-linux`；AOT 输入新增 `.sdgcc`。
+- `mkn build` / `codecin --compile-only` 默认产物由 `.bin` 改为 `.sdgcc`；
+  显式 `-o *.bin` 仍产出旧格式，`.bin` 作为**兼容输入**继续受支持。
+- `crom.dump_bin()` 抽出序列化逻辑供容器复用，`cvm` 单文件编译不再落临时
+  `.bin`；`cvm build` 读取 `mkn.toml` 的 `[build] optimize/mem_size` 与
+  `entry`，产物元数据随之记录。
+- **弃用 `--max-instructions`，默认不限制指令数**：`Config.max_instructions`
+  默认改为 `0`（0 = 不限），`aot`/`native_codegen` 的步数上限默认同步改为
+  0（引擎侧 `maxSteps <= 0` 即不限）；`codecin`/`cvm` 的帮助中不再展示该
+  参数（保留为隐藏参数以兼容旧脚本）。死循环请用 `Ctrl+C` 中断。
+
+### 修复 (Fixed)
+
+- **安装提示仍在承诺纯 Python 回退**：`setup.py` 在 PATH 缺 `go` 时输出
+  「本次安装回退纯 Python 解释执行」，而 v5.9.0 起解释器与 JIT 已整体删除，
+  缺少 `codecin-native` 时程序根本无法执行。现改为说明真实后果与两条修复路径
+  （安装 Go 后重装 / 从 Release 取预编译库），并在安装收尾打印
+  `原生引擎: 可用/不可用` 汇总，避免 `pip install` 静默成功、首次运行才暴露。
+- `codecin/native.py:get_engine()` 的 docstring 改为「无纯 Python 回退」，
+  与 `cpu.py` 的 native-only 语义一致。
+
+### 已知限制 (Known limitations)
+
+- **C 后端运行时尚未覆盖**：`draw_text`(47)（缺内嵌点阵字体）、音频
+  (39–42)、GUI 与键盘类 SYS。含这些调用的程序在 `--build-backend auto`
+  下会回退旧的 Go 后端，`--build-backend c` 会明确报出 `SYS 47
+  (CANVASTEXT)` 之类的功能号，不会静默产出错误结果。
+- **交叉编译产物未在目标机执行验证**：`x86_64-linux` / `aarch64-linux`
+  已能产出合法 ELF（e_machine 0x3E / 0xB7），但本机为 Windows，未在
+  Linux 真机或 WSL 中运行过。
+- **旧 Go 后端仍保留**：`--build-backend native|vm` 作为回退路径存在，
+  待 C 后端覆盖足够后再移除。
+
+---
+
+## [6.4.2] - 2026-10-31
+
+一次以「内置标准库 pic 包化 / 注册表文档补全」为主题的维护发布。
+
+### 新增 (Added)
+
+- `codecin/lib/<name>/`：41 个内置标准库改为 pic 包目录（`pic.toml` +
+  `src/<name>.cin`），可独立 `pic build` / `pic install`；新增
+  `script/sync_stdlib_packages.py` 负责生成、`--check` 校验与 `--build` 构建，
+  CI 校验包结构一致性。
+
+### 变更 (Changed)
+
+- 内置标准库改为 `codecin/lib/<name>/` 包目录，运行时直接解析
+  `codecin/lib/<name>/src/<name>.cin`；`import "math.cin"` / `import "lib/math.cin"`
+  写法不变，`import "math"` 也可用。
+- 版本号提升至 **6.4.2**（`codecin/__init__.py` 单一真源，Go 侧
+  `version_gen.go` 与 registry 服务端同步）。
+- registry README 补全发布字段、搜索参数、下载 ETag/Range、错误码、认证缓存、
+  后台 UI 与 Docker/nginx/备份说明；Dockerfile 增加健康检查。
+- 41 个内置库已发布到中央注册表 `package.codecin.org.cn`（6.4.2），`repo` 统一为
+  `https://gitee.com/codecin/internal-libraries`。
+
+---
+
 ## [6.4.0] - 2026-10-30
 
 一次以「pic 搜索 / 版本管理 / 分块导入」为主题的发布：CIN 的 `import` 现在可以

{codecin-6.4.0 → codecin-7.0.0}/MANIFEST.in

@@ -3,7 +3,7 @@
 
 include README.md CHANGELOG.md LICENSE
 include pyproject.toml setup.py
-recursive-include codecin/lib *.cin
+recursive-include codecin/lib *.cin *.toml
 recursive-include codecin/native *.go *.txt go.mod go.sum build.sh build.ps1
 # 注: 不 include 预编译原生库 (*.dll/*.so/*.dylib) —— 它们在用户安装时由
 # setup.py 现场编译, 见 pyproject.toml 的 package-data 说明。

{codecin-6.4.0/codecin.egg-info → codecin-7.0.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codecin
-Version: 6.4.0
+Version: 7.0.0
 Summary: Code CIN - 高级语言与运行时 (CIN/PL/ASM 工具链 + Go 原生 VM + ARM64/RISC-V/FP/Vector 指令集)
 Author: ByUsi Studio, 北啊呢
 License-Expression: MIT
@@ -196,7 +196,7 @@ graph LR
 | 日志系统 | rich | 彩色日志/表格/面板/traceback, --debug / --log-level DEBUG 超详细诊断 |
 | 性能分析 | 指令级 | CPI + 内存统计 + 热指令 |
 | CROM压缩 | zlib | 段式格式 (v4), 只保存已分配页 (Go/Python双实现) |
-| AOT 静态编译 | 独立可执行 | native 后端直接生成机器码 (VM 后端兼容), Windows/Linux/macOS 静态可执行 |
+| AOT 静态编译 | 独立可执行 | C 后端把指令逐条翻译成 C, 由 GCC/Clang 生成机器码 (Windows/Linux, x86-64/AArch64); 未覆盖指令回退 Go 后端 |
 
 ---
 
@@ -454,7 +454,7 @@ flowchart TD
 **安装（pip）**
 
 ```bash
-pip install codecin          # 安装 (内置标准库 codecin/lib/*.cin 随包分发)
+pip install codecin          # 安装 (内置标准库 codecin/lib/<name>/src/*.cin 随包分发)
 pip install -U codecin       # 升级到最新版 (不要锁定版本号)
 codecin --version
 ```
@@ -516,24 +516,45 @@ v5.9.0 起**只有一条执行路径**: Python 完成 CIN/PL/ASM 编译后, 通
 Python、Go 工具链、libc 或任何动态库**。CIN 构建时会解析 `import` 闭包做依赖
 完整性检查, 并把**全部依赖库在编译期展开嵌入产物** (产物不读取任何 `.cin` 文件)。
 
-默认使用 **auto 后端**: 指令数不超过 20000 时走 **native** (把编译后的指令流
-直接生成 Go 源码, 核心整数/控制流/内存/SYS 指令不再经过 UCBC 解码与 opcode
-dispatch, 由 Go 编译器产出目标平台机器码); 超过阈值自动回退 **VM** (内嵌 UCBC
-字节码), 避免大量指令展开导致 `go build` 极慢。`--build-backend auto|native|vm`
-可强制指定。超过 800 条指令的 native 程序会自动按基本块拆分成多个 Go
-函数，进一步控制编译时间。
+默认使用 **auto 后端**: 指令流能被 **C 后端**（`codecin/cbackend.py`）完整翻译时，
+逐条展开成 C，再由本机或交叉 **GCC/Clang** 编译成机器码——**不再依赖 Go 工具链**；
+遇到尚未覆盖的指令或 syscall 时回退到旧的 Go 后端（`native`/`vm`）。
+`--build-backend auto|c|native|vm` 可强制指定，`c` 遇到不支持的程序会直接报出
+具体指令/syscall，不会静默换后端。
+
+C 后端的目标：`x86_64-windows`（PE）、`x86_64-linux`（ELF）、`aarch64-linux`
+（ELF），与 `--build-target windows/amd64` 等写法一一对应。缺少交叉编译器时按
+提示安装，或 `python -m codecin.toolchain install <target> --url <压缩包>` 安装
+自带工具链。
+
+C 后端当前覆盖的 syscall（未列出的会让 `auto` 回退 Go 后端，`c` 则报错）：
+
+| 范围 | 能力 |
+|------|------|
+| 0–38 | 浮点/整数/字符串/`itoa`/`ftoa`/`malloc`/`substr`/`trim`/`atoi` 等 |
+| 43–46, 48–50 | 画布：新建、颜色、矩形、圆、直线、`save_png`；`show_canvas` 无窗口环境下返回 -1 |
+| 51–58 | 文件读写/追加/存在/删除/大小/建目录、`dirlist` |
+| 61–67 | 环境变量、`osname/hostname/username/cwd/homedir` |
+| 80–90 | `path_join/basename/dirname/abs`、`file_copy`/`file_move`/`dir_remove`/`is_dir`/`file_mtime`/`temp_dir`/`chdir` |
+| 91–94 | `time_ms`、`sleep_ms`、`cpu_count`、`arch_name` |
+| 97–102 | `http_get`/`http_post`/`download`/`sha256`/`base64` |
+| 137, 145–157 | `ALLOCFRAME`、`http_req`/`http_code`、TCP 客户端与服务端、UDP、DNS |
+
+未覆盖：`draw_text`(47)、音频(39–42)、GUI/键盘。这些 syscall 会让 `auto`
+回退 Go 后端；用 `--build-backend c` 强制时会明确报出功能号。
 
 ```bash
-# 本机平台 (auto: 小程序 native, 大程序 VM)
+# 本机平台 (auto: 能走 C 后端就走 C, 否则回退 Go 后端)
 codecin program.cin --build-exe program          # Windows 自动补 .exe
 
-# 交叉编译 (只需要安装 Go 工具链; native/vm 后端都支持)
+# 交叉编译 (C 后端需要对应目标的 GCC/Clang; Go 后端只需 Go 工具链)
 codecin program.cin --build-exe app-linux --build-target linux/amd64
-codecin program.cin --build-exe app-mac   --build-target darwin/arm64
+codecin program.cin --build-exe app-arm   --build-target linux/arm64
 
 # 强制某个后端 + 优化级别
+codecin program.cin --build-exe app-c      --build-backend c --optimize 2
 codecin program.cin --build-exe app-native --build-backend native --optimize 2
-codecin program.cin --build-exe app-vm --build-backend vm --optimize 2
+codecin program.cin --build-exe app-vm     --build-backend vm --optimize 2
 
 # 独立编译 + 链接 (ASM/PL): 每个对象单独汇编, 再由链接器合并
 codecin --emit-object main.asm -o main.co

{codecin-6.4.0 → codecin-7.0.0}/README.md

@@ -178,7 +178,7 @@ graph LR
 | 日志系统 | rich | 彩色日志/表格/面板/traceback, --debug / --log-level DEBUG 超详细诊断 |
 | 性能分析 | 指令级 | CPI + 内存统计 + 热指令 |
 | CROM压缩 | zlib | 段式格式 (v4), 只保存已分配页 (Go/Python双实现) |
-| AOT 静态编译 | 独立可执行 | native 后端直接生成机器码 (VM 后端兼容), Windows/Linux/macOS 静态可执行 |
+| AOT 静态编译 | 独立可执行 | C 后端把指令逐条翻译成 C, 由 GCC/Clang 生成机器码 (Windows/Linux, x86-64/AArch64); 未覆盖指令回退 Go 后端 |
 
 ---
 
@@ -436,7 +436,7 @@ flowchart TD
 **安装（pip）**
 
 ```bash
-pip install codecin          # 安装 (内置标准库 codecin/lib/*.cin 随包分发)
+pip install codecin          # 安装 (内置标准库 codecin/lib/<name>/src/*.cin 随包分发)
 pip install -U codecin       # 升级到最新版 (不要锁定版本号)
 codecin --version
 ```
@@ -498,24 +498,45 @@ v5.9.0 起**只有一条执行路径**: Python 完成 CIN/PL/ASM 编译后, 通
 Python、Go 工具链、libc 或任何动态库**。CIN 构建时会解析 `import` 闭包做依赖
 完整性检查, 并把**全部依赖库在编译期展开嵌入产物** (产物不读取任何 `.cin` 文件)。
 
-默认使用 **auto 后端**: 指令数不超过 20000 时走 **native** (把编译后的指令流
-直接生成 Go 源码, 核心整数/控制流/内存/SYS 指令不再经过 UCBC 解码与 opcode
-dispatch, 由 Go 编译器产出目标平台机器码); 超过阈值自动回退 **VM** (内嵌 UCBC
-字节码), 避免大量指令展开导致 `go build` 极慢。`--build-backend auto|native|vm`
-可强制指定。超过 800 条指令的 native 程序会自动按基本块拆分成多个 Go
-函数，进一步控制编译时间。
+默认使用 **auto 后端**: 指令流能被 **C 后端**（`codecin/cbackend.py`）完整翻译时，
+逐条展开成 C，再由本机或交叉 **GCC/Clang** 编译成机器码——**不再依赖 Go 工具链**；
+遇到尚未覆盖的指令或 syscall 时回退到旧的 Go 后端（`native`/`vm`）。
+`--build-backend auto|c|native|vm` 可强制指定，`c` 遇到不支持的程序会直接报出
+具体指令/syscall，不会静默换后端。
+
+C 后端的目标：`x86_64-windows`（PE）、`x86_64-linux`（ELF）、`aarch64-linux`
+（ELF），与 `--build-target windows/amd64` 等写法一一对应。缺少交叉编译器时按
+提示安装，或 `python -m codecin.toolchain install <target> --url <压缩包>` 安装
+自带工具链。
+
+C 后端当前覆盖的 syscall（未列出的会让 `auto` 回退 Go 后端，`c` 则报错）：
+
+| 范围 | 能力 |
+|------|------|
+| 0–38 | 浮点/整数/字符串/`itoa`/`ftoa`/`malloc`/`substr`/`trim`/`atoi` 等 |
+| 43–46, 48–50 | 画布：新建、颜色、矩形、圆、直线、`save_png`；`show_canvas` 无窗口环境下返回 -1 |
+| 51–58 | 文件读写/追加/存在/删除/大小/建目录、`dirlist` |
+| 61–67 | 环境变量、`osname/hostname/username/cwd/homedir` |
+| 80–90 | `path_join/basename/dirname/abs`、`file_copy`/`file_move`/`dir_remove`/`is_dir`/`file_mtime`/`temp_dir`/`chdir` |
+| 91–94 | `time_ms`、`sleep_ms`、`cpu_count`、`arch_name` |
+| 97–102 | `http_get`/`http_post`/`download`/`sha256`/`base64` |
+| 137, 145–157 | `ALLOCFRAME`、`http_req`/`http_code`、TCP 客户端与服务端、UDP、DNS |
+
+未覆盖：`draw_text`(47)、音频(39–42)、GUI/键盘。这些 syscall 会让 `auto`
+回退 Go 后端；用 `--build-backend c` 强制时会明确报出功能号。
 
 ```bash
-# 本机平台 (auto: 小程序 native, 大程序 VM)
+# 本机平台 (auto: 能走 C 后端就走 C, 否则回退 Go 后端)
 codecin program.cin --build-exe program          # Windows 自动补 .exe
 
-# 交叉编译 (只需要安装 Go 工具链; native/vm 后端都支持)
+# 交叉编译 (C 后端需要对应目标的 GCC/Clang; Go 后端只需 Go 工具链)
 codecin program.cin --build-exe app-linux --build-target linux/amd64
-codecin program.cin --build-exe app-mac   --build-target darwin/arm64
+codecin program.cin --build-exe app-arm   --build-target linux/arm64
 
 # 强制某个后端 + 优化级别
+codecin program.cin --build-exe app-c      --build-backend c --optimize 2
 codecin program.cin --build-exe app-native --build-backend native --optimize 2
-codecin program.cin --build-exe app-vm --build-backend vm --optimize 2
+codecin program.cin --build-exe app-vm     --build-backend vm --optimize 2
 
 # 独立编译 + 链接 (ASM/PL): 每个对象单独汇编, 再由链接器合并
 codecin --emit-object main.asm -o main.co

{codecin-6.4.0 → codecin-7.0.0}/codecin/__init__.py

@@ -1,4 +1,4 @@
-__version__ = "6.4.0"
+__version__ = "7.0.0"
 __author__ = "ByUsi Studio"
 
 from .config import Config

{codecin-6.4.0 → codecin-7.0.0}/codecin/aot.py

@@ -835,10 +835,10 @@ def _compile_program(program_file: str,
             'deps': [program_file],
         }
 
-    if ext not in ('.asm', '.pl', '.bin'):
+    if ext not in ('.asm', '.pl', '.bin', '.sdgcc'):
         raise AotError(f'不支持 AOT 输入格式: {ext or "(无扩展名)"}')
 
-    # ASM/PL 由 Assembler 装载; BIN 由 crom.load_bin 解码。
+    # ASM/PL 由 Assembler 装载; BIN/SDGCC 由 crom.load_bin 解码。
     from . import Config
     from .cpu import CPU
     from .errors import CPUSimulatorError
@@ -871,7 +871,7 @@ def build_from_ir(instructions,
                   out: str,
                   target: Optional[str] = None,
                   backend: str = 'auto',
-                  max_instructions: int = 100_000_000,
+                  max_instructions: int = 0,
                   optimize: int = 0,
                   program_name: str = 'linked',
                   keep_temp: bool = False,
@@ -902,23 +902,41 @@ def build_from_ir(instructions,
     if use_cache and cache_key and _cache_lookup(cache_key, goos, out, logger):
         return os.path.abspath(out)
 
-    effective = resolve_backend(backend, len(instructions))
-    if effective != backend and logger:
-        logger.info(
-            f'AOT: 指令数 {len(instructions)} 超过 native 自动阈值 '
-            f'{NATIVE_INSTRUCTION_LIMIT}, 使用 VM 后端')
-    elif backend == 'native' and len(instructions) > NATIVE_INSTRUCTION_LIMIT \
-            and logger:
-        logger.warning(
-            f'AOT: 指令数 {len(instructions)} 超过 native 自动阈值 '
-            f'{NATIVE_INSTRUCTION_LIMIT}, 强制 native 可能编译较慢')
-
-    if effective == 'vm':
+    from . import cbackend
+    c_ok, c_reason = cbackend.supports(instructions)
+    if backend == 'c':
+        if not c_ok:
+            raise AotError(f'C 后端不支持该程序: {c_reason}')
+        effective = 'c'
+    elif backend == 'auto':
+        effective = 'c' if c_ok else resolve_backend('auto',
+                                                     len(instructions))
+        if not c_ok and logger:
+            logger.info(f'AOT: C 后端不适用 ({c_reason}), '
+                        f'改走 {effective} 后端')
+    else:
+        effective = resolve_backend(backend, len(instructions))
+
+    if effective == 'c':
+        goos2, goarch2 = parse_target(target) if target else \
+            parse_target(host_target())
+        try:
+            cname = cbackend.c_target(goos2, goarch2)
+        except cbackend.CBackendError as e:
+            raise AotError(str(e)) from e
+        try:
+            built = cbackend.compile_instructions(
+                instructions, labels, segments, entry_pc, mem_size, sp,
+                heap_base, out, target=cname, optimize=optimize)
+        except cbackend.CBackendError as e:
+            raise AotError(f'C 后端编译失败: {e}') from e
+    elif effective == 'vm':
         built = build(bytes(bytecode), seg_file, out, target=target,
                       keep_temp=keep_temp, debug=debug, logger=logger)
     else:
         if effective != 'native':
-            raise AotError(f'未知 AOT 后端: {backend} (可选 auto / native / vm)')
+            raise AotError(
+                f'未知 AOT 后端: {backend} (可选 auto / c / native / vm)')
 
         from .native_codegen import NativeCodegenError, generate_go_source
         try:
@@ -948,7 +966,7 @@ def build_program(program_file: str,
                   keep_temp: bool = False,
                   mem_size: Optional[int] = None,
                   backend: str = 'auto',
-                  max_instructions: int = 100_000_000,
+                  max_instructions: int = 0,
                   optimize: int = 0,
                   use_cache: bool = True,
                   debug: bool = False,