codecin 5.5.0__tar.gz → 5.5.3__tar.gz

{codecin-5.5.0 → codecin-5.5.3}/CHANGELOG.md

@@ -5,6 +5,60 @@
 
 ---
 
+## [5.5.3] - 2026-09-26
+
+以「消除静默算错地址」为主线的一次修复发布：两个会**读错/写错内存且不报错**的
+代码生成缺陷，配套文档站独立与 CI 适配。
+
+### 修复 (Fixed)
+
+#### 嵌套下标算错基址（静默读写错误内存）
+- **`A[B[i]]` 一类的嵌套下标把外层基址弄丢**。编译器约定是"任何跨子表达式存活
+  的临时值都存栈"，但 `_gen_index` 把数组/字符串基址暂存在 `x3` 才去求下标；
+  内层下标自己也要用 `x3` 存基址，于是外层 `ADD` 用的是**内层数组的基址**：
+  `A[B[i]]` 被算成 `&B[0]`，读取静默得到错值、赋值静默写到别的变量内存上
+  （不越界、不报错）。实测 11 个用例里 10 个算错。
+  现在基址改为入栈（`PUSH`/`POP`），Python 与 Go 两个编译器同步修复。
+- **同类缺陷一并修掉**：`_gen_assign` 把待写入的值放在 `x2` 之后才求左值地址
+  （`A[f(i)] = v` 会存错值）；`gen_init_2d_literal` 把行指针数组 `x4`、当前行
+  `x5` 跨元素表达式存活（`int[][] m = {{g(1), g(2)}, ...}` 元素含函数调用时写错行）。
+  两处均改为求值前入栈。
+
+#### 浮点下标被当成字节偏移
+- **`G_C[(lo + hi) / 2]` 抛 `address 379800000000000 out of bounds`**
+  （issue #1）。`/` 恒为浮点除法，所以下标类型是 float，而 `_gen_index` 是唯一
+  漏掉"int 上下文隐式截断"的地方：float 的 IEEE-754 位模式被直接当作字节偏移
+  乘 8（249.5 的位模式 × 8 = `0x0379_8000_0000_0000`，正是报告里那个恒定高位
+  `0x3798`）。标准 Hoare 快排因此完全无法运行。现在数组与字符串下标都会先按
+  与 `int x = 1.9` 一致的规则向零截断，且截断发生在边界检查之前。
+
+### 变更 (Changed)
+
+- **文档站迁至独立仓库** [Code-CIN-Docs](https://github.com/ByUsiStudio/Code-CIN-Docs)：
+  本仓库不再内嵌 `docs/` 子模块（`.gitmodules` 不再使用），README 相应改为单独克隆；
+  ISA 指令表文档一致性由文档仓库自己保证（`script/gen_isa_docs.py` 保留为生成器）。
+- **CI 适配 Node 20 下线**（GitHub 于 2026-09-23 移除 Node 20 运行时）：工作流里
+  全部动作升级到 Node 24 版本 —— `checkout@v6`、`setup-python@v7`、`setup-go@v7`、
+  `upload-artifact@v7`、`download-artifact@v7`、`softprops/action-gh-release@v3`。
+- **修复 `release.yml` 的非法工作流**：4 个 checkout 步骤各写了两个 `with:` 键，
+  GitHub 会判 `Invalid workflow file`（发布流程此前根本跑不起来）。同时移除所有
+  `submodules: recursive` 与已失效的文档一致性检查步骤。
+- **`requirements-dev.txt` 补 `PyYAML`**：`tests/test_workflows.py` 用
+  `pytest.importorskip('yaml')`，缺依赖时整块门禁被静默跳过 —— 上面那个重复键
+  错误就是这样漏过 CI 的。该文件现在还会检测**同层重复键**（PyYAML 默认静默
+  后者覆盖前者）。
+- **`.gitignore`/leak-check 排除表**补 `.gotmp`、`.gocache`、`pytest-cache-*`
+  （都是记录在案的临时/构建目录）；`MANIFEST.in` 去掉已不存在的 `docs/` 条目。
+
+### 测试 (Tests)
+- 新增 `tests/test_nested_subscript_codegen.py`：17 个嵌套下标用例 × 解释器/JIT/
+  原生三条路径，另有"写 `A[B[i]]` 不得触碰 `B` 的内存"用例；回退修复后 52 条中
+  46 条失败。
+- `codecin/native/compiler/compile_test.go` 新增同类 Go 侧用例（编译后直接在
+  Go VM 中执行）。
+
+---
+
 ## [5.5.0] - 2026-09-24
 
 以「Python 只做 CLI、Go 是唯一实现」为主线的架构收敛，配套标准库打包修复与 AOT 依赖加固。

{codecin-5.5.0 → codecin-5.5.3}/MANIFEST.in

@@ -7,7 +7,13 @@ recursive-include codecin/lib *.cin
 recursive-include codecin/native *.go *.txt go.mod go.sum build.sh build.ps1
 # 注: 不 include 预编译原生库 (*.dll/*.so/*.dylib) —— 它们在用户安装时由
 # setup.py 现场编译, 见 pyproject.toml 的 package-data 说明。
-recursive-include docs *.md
+# 注: 文档站已迁至独立仓库 Code-CIN-Docs, 本仓库不再有 docs/ —— 这里不收
+# docs 内容, 以免本地残留的文档检出 (node_modules 里有大量 *.md) 被误打进 sdist。
+# 注: Go 构建缓存 (AOT 构建器在只读 HOME 下的回退目录) 不属于源码。
+prune codecin/native/.gocache
+# 兜底: 任何本地编译出的预编译库都不得进入 sdist —— 即使 egg-info/SOURCES.txt
+# 里残留了历史条目 (setuptools 会保留已存在文件的旧清单), 这里也强制排除。
+global-exclude *.dll *.so *.dylib
 recursive-include misc *
 recursive-include examples *.cin *.asm *.pl
 recursive-include script *.py

{codecin-5.5.0/codecin.egg-info → codecin-5.5.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codecin
-Version: 5.5.0
+Version: 5.5.3
 Summary: Code CIN - 高级语言与运行时 (CIN/PL/ASM 工具链 + Go 原生 VM + ARM64/RISC-V/FP/Vector 指令集)
 Author: ByUsi Studio, 北啊呢
 License-Expression: MIT
@@ -36,12 +36,35 @@ Code CIN 是一门简洁的类 C 高级语言及其跨平台运行时（VM）。
 
 ## 文档
 
+**官方文档站**位于独立仓库
+[Code-CIN-Docs](https://github.com/ByUsiStudio/Code-CIN-Docs) (VitePress +
+vitepress-plugin-tabs); 线上站点即由该仓库构建。本仓库不再内嵌 `docs/`
+(子模块已移除), 需要本地预览时请**单独克隆该仓库**:
+
+```bash
+git clone https://github.com/ByUsiStudio/Code-CIN-Docs.git
+cd Code-CIN-Docs
+npm install
+npm run docs:dev                           # 本地预览 (http://localhost:5173)
+npm run docs:build                         # 构建静态站点到 .vitepress/dist
+```
+
+站点内容划分: `guide/` (安装/快速开始/命令行/执行路径/架构/示例/FAQ)、`language/` (CIN 语言)、
+`asm/` (汇编与 ISA)、`stdlib/` (内置标准库参考)、`runtime/` (原生/JIT/格式/AOT)、
+`tools/` (调试器/远程调试/日志/性能/内存缓存)、`reference/` (ISA 编码表/寄存器与内存/Python API/更新日志)、
+`dev/` (项目结构/构建/测试/打包/扩展/贡献)。
+
+仓库的开发用文档**全部在独立仓库** [Code-CIN-Docs](https://github.com/ByUsiStudio/Code-CIN-Docs)
+(不进站点, 供源码树内直接查阅):
+
 | 文档 | 说明 |
 |------|------|
-| [指令集参考 (ISA)](docs/ISA.md) | 由 `codecin/isa.py` 自动生成的逐条指令表 (唯一真源) |
-| [开发者编译文档 (BUILDING)](docs/BUILDING.md) | 环境搭建、Go 原生库编译、构建产物、打包、日志系统、扩展指南 |
-| [CIN 编程指南 (CIN_GUIDE)](docs/CIN_GUIDE.md) | CIN 高级语言完整语法：类型/函数/struct/数组/字符串/内建函数 |
-| [远程调试协议 (REMOTE_DEBUG)](docs/REMOTE_DEBUG.md) | `--debug-server` 换行文本协议：命令/响应/状态机/示例会话 |
+| [指令集参考 (ISA)](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/ISA.md) | 由 `codecin/isa.py` 自动生成的逐条指令表 (唯一真源; 站点版为 `reference/isa.md`) |
+| [开发者编译文档 (BUILDING)](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/BUILDING.md) | 环境搭建、Go 原生库编译、构建产物、打包、日志系统、扩展指南 |
+| [CIN 编程指南 (CIN_GUIDE)](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/CIN_GUIDE.md) | CIN 高级语言完整语法：类型/函数/struct/数组/字符串/内建函数 |
+| [远程调试协议 (REMOTE_DEBUG)](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/REMOTE_DEBUG.md) | `--debug-server` 换行文本协议：命令/响应/状态机/示例会话 |
+
+> 这些文件不在本仓库内: 需要时单独 `git clone` 上述文档仓库即可。
 
 ---
 
@@ -229,7 +252,8 @@ pie title Code CIN 指令集组成
 ```
 
 > 指令总数与分组由 `python script/gen_isa_docs.py` 依据 `codecin/isa.py` 自动生成/校验;
-> 完整的逐条指令表见 [docs/ISA.md](docs/ISA.md)。ARM64 的 WFE/WFI/SEV 无事件模型, 语义等同 NOP。
+> 完整的逐条指令表见 [ISA.md](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/ISA.md)
+> (文档站已在独立仓库)。ARM64 的 WFE/WFI/SEV 无事件模型, 语义等同 NOP。
 
 ### 指令分类
 
@@ -430,7 +454,6 @@ codecin --version
 
 ```bash
 python -m pytest                            # 指令黄金 / 三路径一致性 / 断点回归 / 内存保护 / CLI
-python script/gen_isa_docs.py --check       # docs/ISA.md 与指令集同步
 python script/gen_native_isa.py --check     # Go 原生常量与指令集同步
 ruff check codecin cpu.py script tests
 ```
@@ -438,7 +461,8 @@ ruff check codecin cpu.py script tests
 仓库内置 GitHub Actions CI (`.github/workflows/ci.yml`): 多 Python 版本测试、ruff、Go 构建校验,
 一个 `integration` 作业会**真实编译原生库**后跑全量测试 (带覆盖率门槛),
 以及一个 `dist` 作业断言 wheel/sdist 里确实带有内置标准库。
-完整逐条指令表由 `script/gen_isa_docs.py` 从 `codecin/isa.py` 生成至 [docs/ISA.md](docs/ISA.md)。
+完整逐条指令表由 `script/gen_isa_docs.py` 从 `codecin/isa.py` 生成到文档仓库
+([ISA.md](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/ISA.md))。
 
 ### 执行路径
 
@@ -817,67 +841,81 @@ function main() {
 
 ### 斐波那契 (PL)
 
-```
+```asm
 .text
-    set x0, 10          // n = 10
-    call fibonacci
-    out x0
-    halt
-
-fibonacci:
-    cmp x0, 1
-    jle base_case
+main:
+    set x0, 10          ; n = 10
+    call fib
+    sys #22             ; ITOA: x0 -> 十进制字符串
+    sys #24             ; PRINT_STR
+    output #10
+    stop
+
+fib:                    ; 入口 x0 = n, 返回 x0 = fib(n)
+    compare x0, 1
+    jump_greater recurse
+    set x0, 1
+    return
+
+recurse:
     push x0
-    sub x0, 1
-    call fibonacci
+    decrement x0
+    call fib
     pop x1
     push x0
+    set x0, x1
+    decrement x0
+    decrement x0
+    call fib
+    pop x1
     add x0, x1
-    ret
-
-base_case:
-    set x0, 1
-    ret
+    return
 ```
 
-### 快速排序 (ASM)
+> 注意: 本 ISA **没有 `jle` / `jge`** 这类指令, 比较请用 `CMP` + `JG`/`JL`/`JE`
+> (PL 风格: `compare` + `jump_greater`/`jump_less`/`jump_equal`), 或 ARM64 的 `B.<cond>`。
+> 上面这段实测输出 `89`; 完整语法与逐条语义见文档站 (仓库内路径 `docs/asm/`)。
 
-```
-; 快速排序实现
+### 循环求和 + 字符串打印 (ASM, 见 `test_asm.asm`)
+
+```asm
 .text
 main:
-    ldr x0, =array
-    ldr x1, =size
-    bl quicksort
-    halt
-
-quicksort:
-    cmp x0, x1
-    bge done
-    
-    ; Partition
-    ldr x2, [x0]        ; pivot
-    mov x3, x0
-    mov x4, x1
-    
-partition:
-    cmp x3, x4
-    bge swap_pivot
-    
-    ldr x5, [x3]
-    cmp x5, x2
-    ble swap_left
-    
-    ; ... 更多代码
-    
-done:
-    ret
+    MOV x0, #msg
+    SYS #24              ; PRINT_STR
+
+    MOV x1, #0           ; sum
+    MOV x2, #1           ; i
+loop:
+    ADD x1, x2
+    INC x2
+    CMP x2, #11
+    B.NE loop
+
+    MOV x0, x1
+    SYS #22              ; ITOA -> x0 = 缓冲
+    SYS #24              ; PRINT_STR
+    OUT #10              ; 换行
+
+    MOV x3, #nums
+    SD x1, [x3]          ; 存回数据段
+    LD x4, [x3]
+    ADDI x4, x4, #100
+    MOV x0, x4
+    SYS #22
+    SYS #24
+    OUT #10
+
+    HALT
 
 .data
-array: .word 5, 3, 8, 1, 9, 2, 7, 4, 6
-size: .word 9
+msg: ASCIZ "Sum 1..10 = "
+nums: DQ 0
 ```
 
+> 实测输出: `Sum 1..10 = 55` 与 `155` (退出码 0)。更多汇编示例 (递归、数组遍历、
+> 立即数与表达式、条件后缀) 见文档站 `docs/asm/` 与 `docs/guide/examples.md`。
+
 ---
 
 ## 技术栈

{codecin-5.5.0 → codecin-5.5.3}/README.md

@@ -18,12 +18,35 @@ Code CIN 是一门简洁的类 C 高级语言及其跨平台运行时（VM）。
 
 ## 文档
 
+**官方文档站**位于独立仓库
+[Code-CIN-Docs](https://github.com/ByUsiStudio/Code-CIN-Docs) (VitePress +
+vitepress-plugin-tabs); 线上站点即由该仓库构建。本仓库不再内嵌 `docs/`
+(子模块已移除), 需要本地预览时请**单独克隆该仓库**:
+
+```bash
+git clone https://github.com/ByUsiStudio/Code-CIN-Docs.git
+cd Code-CIN-Docs
+npm install
+npm run docs:dev                           # 本地预览 (http://localhost:5173)
+npm run docs:build                         # 构建静态站点到 .vitepress/dist
+```
+
+站点内容划分: `guide/` (安装/快速开始/命令行/执行路径/架构/示例/FAQ)、`language/` (CIN 语言)、
+`asm/` (汇编与 ISA)、`stdlib/` (内置标准库参考)、`runtime/` (原生/JIT/格式/AOT)、
+`tools/` (调试器/远程调试/日志/性能/内存缓存)、`reference/` (ISA 编码表/寄存器与内存/Python API/更新日志)、
+`dev/` (项目结构/构建/测试/打包/扩展/贡献)。
+
+仓库的开发用文档**全部在独立仓库** [Code-CIN-Docs](https://github.com/ByUsiStudio/Code-CIN-Docs)
+(不进站点, 供源码树内直接查阅):
+
 | 文档 | 说明 |
 |------|------|
-| [指令集参考 (ISA)](docs/ISA.md) | 由 `codecin/isa.py` 自动生成的逐条指令表 (唯一真源) |
-| [开发者编译文档 (BUILDING)](docs/BUILDING.md) | 环境搭建、Go 原生库编译、构建产物、打包、日志系统、扩展指南 |
-| [CIN 编程指南 (CIN_GUIDE)](docs/CIN_GUIDE.md) | CIN 高级语言完整语法：类型/函数/struct/数组/字符串/内建函数 |
-| [远程调试协议 (REMOTE_DEBUG)](docs/REMOTE_DEBUG.md) | `--debug-server` 换行文本协议：命令/响应/状态机/示例会话 |
+| [指令集参考 (ISA)](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/ISA.md) | 由 `codecin/isa.py` 自动生成的逐条指令表 (唯一真源; 站点版为 `reference/isa.md`) |
+| [开发者编译文档 (BUILDING)](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/BUILDING.md) | 环境搭建、Go 原生库编译、构建产物、打包、日志系统、扩展指南 |
+| [CIN 编程指南 (CIN_GUIDE)](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/CIN_GUIDE.md) | CIN 高级语言完整语法：类型/函数/struct/数组/字符串/内建函数 |
+| [远程调试协议 (REMOTE_DEBUG)](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/REMOTE_DEBUG.md) | `--debug-server` 换行文本协议：命令/响应/状态机/示例会话 |
+
+> 这些文件不在本仓库内: 需要时单独 `git clone` 上述文档仓库即可。
 
 ---
 
@@ -211,7 +234,8 @@ pie title Code CIN 指令集组成
 ```
 
 > 指令总数与分组由 `python script/gen_isa_docs.py` 依据 `codecin/isa.py` 自动生成/校验;
-> 完整的逐条指令表见 [docs/ISA.md](docs/ISA.md)。ARM64 的 WFE/WFI/SEV 无事件模型, 语义等同 NOP。
+> 完整的逐条指令表见 [ISA.md](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/ISA.md)
+> (文档站已在独立仓库)。ARM64 的 WFE/WFI/SEV 无事件模型, 语义等同 NOP。
 
 ### 指令分类
 
@@ -412,7 +436,6 @@ codecin --version
 
 ```bash
 python -m pytest                            # 指令黄金 / 三路径一致性 / 断点回归 / 内存保护 / CLI
-python script/gen_isa_docs.py --check       # docs/ISA.md 与指令集同步
 python script/gen_native_isa.py --check     # Go 原生常量与指令集同步
 ruff check codecin cpu.py script tests
 ```
@@ -420,7 +443,8 @@ ruff check codecin cpu.py script tests
 仓库内置 GitHub Actions CI (`.github/workflows/ci.yml`): 多 Python 版本测试、ruff、Go 构建校验,
 一个 `integration` 作业会**真实编译原生库**后跑全量测试 (带覆盖率门槛),
 以及一个 `dist` 作业断言 wheel/sdist 里确实带有内置标准库。
-完整逐条指令表由 `script/gen_isa_docs.py` 从 `codecin/isa.py` 生成至 [docs/ISA.md](docs/ISA.md)。
+完整逐条指令表由 `script/gen_isa_docs.py` 从 `codecin/isa.py` 生成到文档仓库
+([ISA.md](https://github.com/ByUsiStudio/Code-CIN-Docs/blob/main/ISA.md))。
 
 ### 执行路径
 
@@ -799,67 +823,81 @@ function main() {
 
 ### 斐波那契 (PL)
 
-```
+```asm
 .text
-    set x0, 10          // n = 10
-    call fibonacci
-    out x0
-    halt
-
-fibonacci:
-    cmp x0, 1
-    jle base_case
+main:
+    set x0, 10          ; n = 10
+    call fib
+    sys #22             ; ITOA: x0 -> 十进制字符串
+    sys #24             ; PRINT_STR
+    output #10
+    stop
+
+fib:                    ; 入口 x0 = n, 返回 x0 = fib(n)
+    compare x0, 1
+    jump_greater recurse
+    set x0, 1
+    return
+
+recurse:
     push x0
-    sub x0, 1
-    call fibonacci
+    decrement x0
+    call fib
     pop x1
     push x0
+    set x0, x1
+    decrement x0
+    decrement x0
+    call fib
+    pop x1
     add x0, x1
-    ret
-
-base_case:
-    set x0, 1
-    ret
+    return
 ```
 
-### 快速排序 (ASM)
+> 注意: 本 ISA **没有 `jle` / `jge`** 这类指令, 比较请用 `CMP` + `JG`/`JL`/`JE`
+> (PL 风格: `compare` + `jump_greater`/`jump_less`/`jump_equal`), 或 ARM64 的 `B.<cond>`。
+> 上面这段实测输出 `89`; 完整语法与逐条语义见文档站 (仓库内路径 `docs/asm/`)。
 
-```
-; 快速排序实现
+### 循环求和 + 字符串打印 (ASM, 见 `test_asm.asm`)
+
+```asm
 .text
 main:
-    ldr x0, =array
-    ldr x1, =size
-    bl quicksort
-    halt
-
-quicksort:
-    cmp x0, x1
-    bge done
-    
-    ; Partition
-    ldr x2, [x0]        ; pivot
-    mov x3, x0
-    mov x4, x1
-    
-partition:
-    cmp x3, x4
-    bge swap_pivot
-    
-    ldr x5, [x3]
-    cmp x5, x2
-    ble swap_left
-    
-    ; ... 更多代码
-    
-done:
-    ret
+    MOV x0, #msg
+    SYS #24              ; PRINT_STR
+
+    MOV x1, #0           ; sum
+    MOV x2, #1           ; i
+loop:
+    ADD x1, x2
+    INC x2
+    CMP x2, #11
+    B.NE loop
+
+    MOV x0, x1
+    SYS #22              ; ITOA -> x0 = 缓冲
+    SYS #24              ; PRINT_STR
+    OUT #10              ; 换行
+
+    MOV x3, #nums
+    SD x1, [x3]          ; 存回数据段
+    LD x4, [x3]
+    ADDI x4, x4, #100
+    MOV x0, x4
+    SYS #22
+    SYS #24
+    OUT #10
+
+    HALT
 
 .data
-array: .word 5, 3, 8, 1, 9, 2, 7, 4, 6
-size: .word 9
+msg: ASCIZ "Sum 1..10 = "
+nums: DQ 0
 ```
 
+> 实测输出: `Sum 1..10 = 55` 与 `155` (退出码 0)。更多汇编示例 (递归、数组遍历、
+> 立即数与表达式、条件后缀) 见文档站 `docs/asm/` 与 `docs/guide/examples.md`。
+
 ---
 
 ## 技术栈

{codecin-5.5.0 → codecin-5.5.3}/codecin/__init__.py

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

{codecin-5.5.0 → codecin-5.5.3}/codecin/cin.py

@@ -1664,9 +1664,15 @@ class CodeGen:
             self.emit('ADDI', self.reg(0), self.reg(0), self.imm(i * 8))
             self.emit('SD', self.reg(5), ('mem', 0, 0))
             for j, elem in enumerate(row):
+                # x4 (outer) 与 x5 (当前行) 要跨元素表达式求值存活, 而元素里
+                # 可能有函数调用/嵌套下标 (会覆盖 x1..x6), 因此先存栈。
+                self.emit('PUSH', self.reg(4))
+                self.emit('PUSH', self.reg(5))
                 vt = self.gen_value(elem)
                 self._convert(vt, 'int')
-                self.emit('MOV', self.reg(2), self.reg(0))
+                self.emit('MOV', self.reg(2), self.reg(0))   # x2 = value
+                self.emit('POP', self.reg(5))                # 恢复当前行
+                self.emit('POP', self.reg(4))                # 恢复 outer
                 self.emit('MOV', self.reg(0), self.reg(5))
                 if j:
                     self.emit('ADDI', self.reg(0), self.reg(0), self.imm(j * 8))
@@ -1907,8 +1913,12 @@ class CodeGen:
             if lvalue:
                 raise CompilerError(
                     "Cannot assign to string element (strings are immutable)")
-            self.emit('MOV', self.reg(3), self.reg(0))   # x3 = 字符串基址
-            self.gen_value(idx_node)                    # x0 = index
+            # 基址必须存栈: 下标表达式里可能有嵌套下标/函数调用, 它们会覆盖
+            # x1..x6。s[B[i]] 曾因此把字符串基址弄丢, 读出错误内存。
+            self.emit('PUSH', self.reg(0))               # 保存字符串基址
+            idx_t = self.gen_value(idx_node)            # x0 = index
+            self._convert(idx_t, 'int')                 # 下标是 int 上下文
+            self.emit('POP', self.reg(3))                # x3 = 字符串基址
             self.emit('ADD', self.reg(0), self.reg(3))  # x0 = base + i (字节偏移)
             self.emit('LB', self.reg(0), ('mem', 0, 0))  # 读 1 字节 (符号扩展)
             self.emit('ANDI', self.reg(0), self.reg(0), self.imm(0xFF))  # 0..255
@@ -1918,9 +1928,17 @@ class CodeGen:
         else:
             raise CompilerError(f"Indexing non-array type: {base_t}")
 
-        # x0 = base pointer; 计算 elem 地址
-        self.emit('MOV', self.reg(3), self.reg(0))  # x3 = base
-        self.gen_value(idx_node)                    # x0 = index
+        # x0 = base pointer; 计算 elem 地址。
+        # 基址必须存栈, 不能用寄存器"暂存": 下标表达式里可能有嵌套下标或函数
+        # 调用, 它们会覆盖 x1..x6。此前 base 放在 x3, 于是 A[B[i]] 的内层下标
+        # 把 x3 改成 B 的基址, 外层 ADD 用 B 的基址当 A 的 —— 读错地址, 写的
+        # 时候直接写坏别的内存 (静默, 不报错)。
+        self.emit('PUSH', self.reg(0))              # 保存 base
+        idx_t = self.gen_value(idx_node)            # x0 = index
+        # 下标是 int 上下文 (与赋值/传参/返回一致): float 隐式截断为 int。
+        # 缺这一步时 float 的 IEEE-754 位模式会被当作字节偏移直接乘 8,
+        # 产生 0x0379_8000_0000_0000 之类的高位垃圾地址 (issue #1)。
+        self._convert(idx_t, 'int')
 
         # A1 --bounds-check: 定长数组索引 0 <= i < size
         if self._bounds and _is_fixed_array(base_t):
@@ -1939,6 +1957,7 @@ class CodeGen:
         scale = _type_slots(elem_t) * 8
         self.emit('MOV', self.reg(1), self.imm(scale))
         self.emit('MUL', self.reg(0), self.reg(1))  # x0 = index * scale
+        self.emit('POP', self.reg(3))               # x3 = base (存栈时压入的)
         self.emit('ADD', self.reg(0), self.reg(3))  # x0 = elem 地址
 
         if lvalue:
@@ -1971,8 +1990,10 @@ class CodeGen:
         # 目标类型
         tt = self._expr_type(target)
         self._convert(vt, tt)
-        self.emit('MOV', self.reg(2), self.reg(0))  # value
+        # 左值地址求值可能覆盖 x1..x6 (例如 A[f(i)] = v), 值必须存栈。
+        self.emit('PUSH', self.reg(0))              # 保存 value
         self._gen_lvalue_addr(target)               # x0 = addr
+        self.emit('POP', self.reg(2))               # x2 = value
         self.emit('SD', self.reg(2), ('mem', 0, 0))
         return tt
 

{codecin-5.5.0 → codecin-5.5.3}/codecin/native/aot/aot.go

@@ -1,15 +1,3 @@
-// Package aot 提供 AOT 构建: 把 CIN 程序编译成**独立静态可执行文件**。
-//
-// 产物不依赖 Python、不依赖 Go 工具链、不依赖任何动态库:
-// 字节码与初始内存镜像被嵌入二进制, 由内置的 Go VM 执行
-// (构建时 CGO_ENABLED=0, 因此 Windows / Linux / macOS 均为静态链接)。
-//
-// 构建流程 (Build):
-//  1. 在 codecin-native 模块内创建临时包目录 .aotbuild-<rand>/
-//     (Go 工具链会忽略以 '.' 开头的目录, 因此不影响 go build ./...);
-//  2. 写入 main.go (由共享模板 stub_main.go.txt 提供) 与两个资源文件;
-//  3. CGO_ENABLED=0 + GOOS/GOARCH 交叉编译出目标平台可执行文件;
-//  4. 删除临时目录。
 package aot
 
 import (
@@ -21,9 +9,6 @@ import (
 	"codecin-native/engine"
 )
 
-// StubSource 是生成的 main.go 模板, 与 Python 侧 codecin/aot.py 共用同一份
-// 文件 (codecin/native/aot/stub_main.go.txt), 避免两处模板漂移。
-//
 //go:embed stub_main.go.txt
 var stubSource string
 

{codecin-5.5.0 → codecin-5.5.3}/codecin/native/compiler/codegen.go

@@ -12,8 +12,6 @@ import (
 	"codecin-native/ir"
 )
 
-// ---------------- 代码生成 ----------------
-
 // hostBuiltin 宿主能力内建 (表驱动): 名称 -> (SYS 号, 参数个数, 返回类型)。
 type hostBuiltin struct {
 	sysID int64
@@ -647,9 +645,15 @@ func (c *compiler) genInit2dLiteral(name string, t *Type, lit *Node) {
 		c.emit("ADDI", c.reg(0), c.reg(0), c.imm(int64(i*8)))
 		c.emit("SD", c.reg(5), ir.Mem(0, 0))
 		for j, elem := range row {
+			// x4 (outer) 与 x5 (当前行) 要跨元素表达式求值存活, 而元素里
+			// 可能有函数调用/嵌套下标 (会覆盖 x1..x6), 因此先存栈。
+			c.emit("PUSH", c.reg(4))
+			c.emit("PUSH", c.reg(5))
 			vt := c.genValue(elem)
 			c.convert(vt, scalarT(kInt))
-			c.emit("MOV", c.reg(2), c.reg(0))
+			c.emit("MOV", c.reg(2), c.reg(0)) // x2 = value
+			c.emit("POP", c.reg(5))
+			c.emit("POP", c.reg(4))
 			c.emit("MOV", c.reg(0), c.reg(5))
 			if j != 0 {
 				c.emit("ADDI", c.reg(0), c.reg(0), c.imm(int64(j*8)))
@@ -963,8 +967,12 @@ func (c *compiler) genIndex(baseNode, idxNode *Node, lvalue bool) *Type {
 			c.failf("Cannot assign to string index")
 			return nil
 		}
-		c.emit("MOV", c.reg(3), c.reg(0))
-		c.genValue(idxNode)
+		// 基址必须存栈: 下标表达式里可能有嵌套下标/函数调用, 它们会覆盖
+		// x1..x6。s[B[i]] 曾因此把字符串基址弄丢, 读出错误内存。
+		c.emit("PUSH", c.reg(0))
+		idxT := c.genValue(idxNode)
+		c.convert(idxT, scalarT(kInt)) // 下标是 int 上下文
+		c.emit("POP", c.reg(3))
 		c.emit("ADD", c.reg(0), c.reg(3))
 		c.emit("LB", c.reg(0), ir.Mem(0, 0))
 		c.emit("ANDI", c.reg(0), c.reg(0), c.imm(0xFF))
@@ -976,9 +984,16 @@ func (c *compiler) genIndex(baseNode, idxNode *Node, lvalue bool) *Type {
 	}
 	elemT := baseT.Elem
 
-	c.emit("MOV", c.reg(3), c.reg(0))
-	c.genValue(idxNode)
-
+	// 基址必须存栈, 不能用寄存器"暂存": 下标表达式里可能有嵌套下标或函数
+	// 调用, 它们会覆盖 x1..x6。此前 base 放在 x3, 于是 A[B[i]] 的内层下标
+	// 把 x3 改成 B 的基址, 外层 ADD 用 B 的基址当 A 的 —— 读错地址, 写的
+	// 时候直接写坏别的内存 (静默, 不报错)。
+	c.emit("PUSH", c.reg(0))
+	idxT := c.genValue(idxNode)
+	// 下标是 int 上下文 (与赋值/传参/返回一致): float 隐式截断为 int。
+	// 缺这一步时 float 的 IEEE-754 位模式会被当作字节偏移直接乘 8,
+	// 产生 0x0379_8000_0000_0000 之类的高位垃圾地址 (issue #1)。
+	c.convert(idxT, scalarT(kInt))
 	if c.bounds && isFixedArray(baseT) {
 		size := baseT.Size
 		lGe := c.newLabel("bndok")
@@ -996,6 +1011,7 @@ func (c *compiler) genIndex(baseNode, idxNode *Node, lvalue bool) *Type {
 	scale := typeSlots(elemT) * 8
 	c.emit("MOV", c.reg(1), c.imm(int64(scale)))
 	c.emit("MUL", c.reg(0), c.reg(1))
+	c.emit("POP", c.reg(3)) // x3 = base (存栈时压入的)
 	c.emit("ADD", c.reg(0), c.reg(3))
 
 	if lvalue {
@@ -1026,8 +1042,10 @@ func (c *compiler) genAssign(target, valueNode *Node) *Type {
 	vt := c.genValue(valueNode)
 	tt := c.exprType(target)
 	c.convert(vt, tt)
-	c.emit("MOV", c.reg(2), c.reg(0))
+	// 左值地址求值可能覆盖 x1..x6 (例如 A[f(i)] = v), 值必须存栈。
+	c.emit("PUSH", c.reg(0))
 	c.genLvalueAddr(target)
+	c.emit("POP", c.reg(2))
 	c.emit("SD", c.reg(2), ir.Mem(0, 0))
 	return tt
 }