From 10c1d153acbd09c58a3e6af2abb7289b7874e57c Mon Sep 17 00:00:00 2001
From: Lane0218 <laneljc@qq.com>
Date: Sat, 7 Mar 2026 23:14:57 +0800
Subject: [PATCH] =?UTF-8?q?docs(doc):=20=E9=87=8D=E5=91=BD=E5=90=8D?=
 =?UTF-8?q?=E5=AE=9E=E9=AA=8C=E8=AF=B4=E6=98=8E=E5=B9=B6=E6=96=B0=E5=A2=9E?=
 =?UTF-8?q?=20Lab3=20=E6=96=87=E6=A1=A3?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ...®žéªŒè¯´æ˜Ž.md => Lab1-语法树构建.md} |  2 +-
 ...ªŒè¯´æ˜Ž.md => Lab2-中间表示生æˆ�.md} | 16 ++--
 doc/Lab3-指令选择与汇编生�.md       | 88 +++++++++++++++++++
 3 files changed, 95 insertions(+), 11 deletions(-)
 rename doc/{Lab1-ANTLR�法语法分�实验说明.md => Lab1-语法树构建.md} (98%)
 rename doc/{Lab2-AST到IR实验说明.md => Lab2-中间表示生�.md} (87%)
 create mode 100644 doc/Lab3-指令选择与汇编生�.md

diff --git a/doc/Lab1-ANTLR�法语法分�实验说明.md b/doc/Lab1-语法树构建.md
similarity index 98%
rename from doc/Lab1-ANTLR�法语法分�实验说明.md
rename to doc/Lab1-语法树构建.md
index 46c0df1..ed1cda1 100644
--- a/doc/Lab1-ANTLR�法语法分�实验说明.md
+++ b/doc/Lab1-语法树构建.md
@@ -1,4 +1,4 @@
-# Lab1：用 ANTLR 实现 SysY �法/语法分�器
+# Lab1：语法树构建
 
 ## 1. 本实验定�
 
diff --git a/doc/Lab2-AST到IR实验说明.md b/doc/Lab2-中间表示生�.md
similarity index 87%
rename from doc/Lab2-AST到IR实验说明.md
rename to doc/Lab2-中间表示生�.md
index aa3f14c..79c019c 100644
--- a/doc/Lab2-AST到IR实验说明.md
+++ b/doc/Lab2-中间表示生�.md
@@ -1,4 +1,4 @@
-# Lab2：从 AST 生�中间表示（IR）
+# Lab2：中间表示生�
 
 ## 1. 本实验定�
 
@@ -11,9 +11,7 @@ Lab2 的目标是在该示例基础上扩展语义覆盖范围，�步把更多
 
 1. 熟悉 IR 相关数�结构与构建接�。
 2. �解当� AST -> IR 的最�实现�程。
-3. 在现有框架上扩展 IR 生�能力，使其覆盖课程�求的Sysy语法。
-
-
+3. 在现有框架上扩展 IR 生�能力，使其覆盖课程�求的 SysY 语法。
 
 ## 3. 当�代�框架（与 Lab2 直接相关）
 
@@ -42,11 +40,11 @@ Lab2 的目标是在该示例基础上扩展语义覆盖范围，�步把更多
    - `src/ir/IR.h`（当现有 IR 指令/类型�够用时）
    - `src/ir/IRBuilder.cpp`（当需�新增构建接�时）
    - `src/ir/IRPrinter.cpp`（新增 IR 指令�补�打�）
-   - `src/irgen/IRGen.h`（当需�扩展状�或辅助接�）
+   - `src/irgen/IRGen.h`（当需�扩展状�或辅助接�时）
 
 2. 视实现需��能修改
-   - `src/main.cpp`（当需�调整输出阶段行为）
-   - `src/sem/*`（当新增语法�赖更多语义信�）
+   - `src/main.cpp`（当需�调整输出阶段行为时）
+   - `src/sem/*`（当新增语法�赖更多语义信�时）
 
 ## 5. 当�最�示例实现说明
 
@@ -74,11 +72,9 @@ cmake --build build -j "$(nproc)"
 ```bash
 ./build/bin/compiler --emit-ir test/test_case/simple_add.sy
 ```
-`
 
-推�使用统一脚本验� “IR -> LLVM �端 -> �执行程�� 整体链路,用于验�ir的正确性：
+推�使用统一脚本验� “IR -> LLVM �端 -> �执行程�� 整体链路，用于验� IR 的正确性：
 
 ```bash
 ./scripts/verify_ir_with_llvm.sh test/test_case/simple_add.sy out/ir --run
 ```
-
diff --git a/doc/Lab3-指令选择与汇编生�.md b/doc/Lab3-指令选择与汇编生�.md
new file mode 100644
index 0000000..f0ec7ac
--- /dev/null
+++ b/doc/Lab3-指令选择与汇编生�.md
@@ -0,0 +1,88 @@
+# Lab3：指令选择与汇编生�
+
+## 1. 本实验定�
+
+本仓库当��供了一个“最���行�的 IR -> AArch64 汇编示例链路。  
+Lab3 的目标是在该示例基础上扩展�端语义覆盖范围，�步把更多 SysY IR 正确翻译为目标平�汇编代�。
+
+## 2. Lab3 �求
+
+需��学完�：
+
+1. 熟悉 MIR 相关数�结构与�端阶段接�。
+2. �解当� IR -> MIR -> 汇编输出的最�实现�程。
+3. 在现有框架上扩展�端代�生�能力，使其覆盖课程�求的 SysY 语义。
+
+## 3. 当�代�框架（与 Lab3 直接相关）
+
+1. MIR 定义与目标相关抽象
+   - `include/mir/MIR.h`
+   - `src/mir/MIRContext.cpp`
+   - `src/mir/MIRFunction.cpp`
+   - `src/mir/MIRBasicBlock.cpp`
+   - `src/mir/MIRInstr.cpp`
+   - `src/mir/Register.cpp`
+
+2. IR -> MIR 与汇编生�
+   - `src/mir/Lowering.cpp`
+   - `src/mir/RegAlloc.cpp`
+   - `src/mir/FrameLowering.cpp`
+   - `src/mir/AsmPrinter.cpp`
+
+3. 入��程
+   - `src/main.cpp`
+   - `src/utils/CLI.h`
+   - `src/utils/CLI.cpp`
+
+## 4. Lab3 需�补充的内容
+
+1. 必须修改的文件
+   - `src/mir/Lowering.cpp`
+   - `src/mir/RegAlloc.cpp`
+   - `src/mir/FrameLowering.cpp`
+   - `src/mir/AsmPrinter.cpp`
+   - `include/mir/MIR.h`（当现有 MIR 数�结构或接��够用时）
+   - `src/mir/MIRInstr.cpp`（当需�新增机器指令或�作数表达时）
+   - `src/mir/MIRFunction.cpp`（当需�扩展栈帧或机器函数状�时）
+   - `src/mir/Register.cpp`（当需�扩展物�/虚拟寄存器表示时）
+
+2. 视实现需��能修改
+   - `src/main.cpp`（当需�调整输出阶段行为时）
+   - `src/utils/CLI.cpp`（当需�扩展�端相关命令行选项时）
+   - `scripts/verify_asm_with_qemu.sh`（当需�扩展统一验�脚本时）
+
+## 5. 当�最�示例实现说明
+
+当� IR -> 汇编仅覆盖最��集：
+
+1. 仅支��函数 `main`��基本�的最��程。
+2. 仅支�由当� Lab2 最� IR 产生的 `alloca`�`load`�`store`�`add`�`ret`。
+3. 局部��与中间结果当�统一采用栈槽模型：所有值先映射到栈槽，�通过固定寄存器 `w0`�`w8`�`w9` �� `ldur/stur/add` 生�汇编。
+4. `RegAlloc` 当�仅执行最�一致性检查，�实现真实寄存器分�。
+5. `FrameLowering` 当�会�入最��言/尾声，并按 16 字节对�栈帧。
+
+
+说明：当�阶段�端主�用于演示完整�程。�使中间值�以暂存在寄存器中，也会先写回栈槽，而�是直接构造更接近最终机器代�的寄存器�。�续实验中，�学�按需求继续扩展指令选择�寄存器分��调用约定与控制�相关功能。
+
+## 6. 构建与�行
+
+```bash
+cmake -S . -B build -DCMAKE_BUILD_TYPE=Release
+cmake --build build -j "$(nproc)"
+```
+
+## 7. Lab3 验�方�
+
+项目编译�按�供测试输入回归：
+
+```bash
+./build/bin/compiler --emit-asm test/test_case/simple_add.sy
+```
+
+推�使用统一脚本验� “�� -> 汇编 -> �执行程�� 整体链路，用于验��端代�生�的正确性：
+
+```bash
+./scripts/verify_asm_with_qemu.sh test/test_case/simple_add.sy out/asm --run
+```
+
+若最终输出 `退出�: 3`，说明当�最��集示例 `return a + b` 的完整�端链路已�跑通。