3. RISC-V基础指令集（续）：加载与存储指令、条件分支指令、无条件跳转指令、系统调用指令
好，我们接着往下聊。上一章我们把算术逻辑指令讲透了，这一章要啃的几块骨头，说实话在实际项目中更常用。加载存储、分支跳转、还有系统调用，这些指令构成了程序与内存交互、控制流跳转、以及用户态与内核态切换的核心骨架。
我个人习惯把这一章称为「指令集的三大支柱」。你想想看，没有加载存储，数据怎么进来？没有分支跳转，程序怎么决策？没有系统调用，应用怎么跟操作系统打交道？嗯，一个都不能少。
3.1 加载与存储指令：数据搬运的命脉
RISC-V 是典型的加载-存储架构。什么意思？说白了，只有加载（Load）和存储（Store）指令能访问内存。算术逻辑运算只能在寄存器之间进行。这个设计哲学我特别喜欢——它让流水线实现变得干净很多。
我在项目中遇到过一个问题：某团队从 x86 迁移到 RISC-V，习惯性地想在一条指令里完成「读内存、做运算、写回内存」。结果发现 RISC-V 不支持。嗯，这就是架构差异，你得先 Load 到寄存器，算完再 Store 回去。
3.1.1 加载指令族
加载指令的格式很统一：ld rd, offset(rs1)。意思是从 rs1 + offset 这个地址读数据，放到 rd 里。
RISC-V 提供了多种宽度和符号扩展的加载指令：
| 指令 | 含义 | 数据宽度 | 符号扩展 |
|---|---|---|---|
| LB | 加载字节 | 8位 | 是 |
| LBU | 加载无符号字节 | 8位 | 否（高位补0） |
| LH | 加载半字 | 16位 | 是 |
| LHU | 加载无符号半字 | 16位 | 否 |
| LW | 加载字 | 32位 | 是 |
| LWU | 加载无符号字 | 32位 | 否 |
| LD | 加载双字 | 64位 | 不适用 |
关键点：符号扩展是个容易踩坑的地方。比如你用 LB 加载一个 0xFF，它会符号扩展成 0xFFFFFFFF_FFFFFFFF（64位下）。如果你只想取 0x00000000_000000FF，必须用 LBU。我曾经在调试一个网络协议栈时，因为用了 LB 而不是 LBU，导致校验和算出来全是错的——排查了整整一个下午。
3.1.2 存储指令族
存储指令的格式是 sb rs2, offset(rs1)。注意，源操作数在 rs2，地址计算方式跟加载一样。
| 指令 | 含义 | 数据宽度 |
|---|---|---|
| SB | 存储字节 | 8位 |
| SH | 存储半字 | 16位 |
| SW | 存储字 | 32位 |
| SD | 存储双字 | 64位 |
存储指令没有符号扩展的问题——你存什么就是什么，高位直接截断。这个逻辑很直观。
实战技巧：在写嵌入式启动代码时，我习惯用 sw zero, 0(sp) 来快速清零栈上的一个变量。因为 zero 寄存器永远是 0，省去了先加载 0 到通用寄存器的步骤。这种小优化在性能敏感的场景下积少成多。
3.2 条件分支指令：程序的决策者
没有分支指令，程序就是一条直线跑到底。那还叫程序吗？RISC-V 的条件分支指令设计得非常简洁，只有 6 条，但覆盖了所有常见的比较场景。
3.2.1 分支指令格式
所有分支指令都是 b op rs1, rs2, offset 的形式。比较 rs1 和 rs2，如果条件成立，就跳转到 PC + offset。offset 是 12 位有符号立即数，但实际编码时最低位被省略（因为指令地址总是 2 字节对齐），所以实际跳转范围是 ±4KB。
| 指令 | 含义 | 条件 |
|---|---|---|
| BEQ | 相等则跳转 | rs1 == rs2 |
| BNE | 不等则跳转 | rs1 != rs2 |
| BLT | 小于则跳转（有符号） | rs1 < rs2 |
| BGE | 大于等于则跳转（有符号） | rs1 >= rs2 |
| BLTU | 小于则跳转（无符号） | rs1 < rs2（无符号） |
| BGEU | 大于等于则跳转（无符号） | rs1 >= rs2（无符号） |
注意：RISC-V 没有「大于则跳转」指令。要实现 BGT，你得用 BLT 把操作数交换一下。比如 bgt a0, a1, target 等价于 blt a1, a0, target。这个设计是为了减少指令编码的复杂度。我第一次写汇编时还纳闷为什么没有 BGT，后来想通了——少一条指令，硬件就少一堆逻辑。
3.2.2 分支延迟槽？不存在的
有些架构（比如早期的 MIPS）有分支延迟槽——分支指令后面的那条指令无论如何都会执行。RISC-V 没有这个设计。为什么？因为现代处理器都用分支预测了，延迟槽反而成了累赘。我在设计一个 RISC-V 核时，特意跟团队强调：不要加延迟槽，保持架构的简洁性。
3.3 无条件跳转指令：想去哪就去哪
条件分支用于 if-else 和循环，无条件跳转则用于函数调用、返回、以及绝对跳转。RISC-V 提供了两条无条件跳转指令：JAL 和 JALR。
3.3.1 JAL：跳转并链接
jal rd, offset 做了两件事：
- 把
PC + 4（返回地址）保存到rd - 跳转到
PC + offset
通常 rd 用 ra（x1）寄存器。这就是函数调用的标准做法。offset 是 21 位有符号立即数，跳转范围 ±1MB。
3.3.2 JALR：跳转并链接寄存器
jalr rd, offset(rs1) 更灵活：
- 返回地址保存到
rd - 跳转到
rs1 + offset
这用于函数返回（jalr zero, 0(ra)）或者间接跳转（比如通过函数指针调用）。
一个常见的坑：用 jalr zero, 0(ra) 返回时，rd 是 zero 寄存器，这样返回地址不会被保存。如果你不小心用了 jalr ra, 0(ra)，那 ra 就被覆盖了，再也回不去了。我曾经在写一个 RTOS 的上下文切换代码时犯过这个错——任务切换后直接跑飞了。调试器一看，ra 指向了奇怪的地方。
3.4 系统调用指令：用户态与内核态的桥梁
应用程序不能直接操作硬件或访问其他进程的内存。想干这些事，得通过系统调用。RISC-V 用 ECALL 指令来实现。
3.4.1 ECALL 指令
ecall 是一条无操作数的指令。执行它时，处理器会：
- 切换到机器模式（或监管者模式，取决于实现）
- 跳转到异常向量表中预设的入口地址
- 把
ecall的地址保存到mepc（或sepc）寄存器 - 在
mcause（或scause）中记录异常原因（环境调用）
操作系统内核在异常处理程序中读取这些寄存器，就知道是哪个程序发起了系统调用，然后根据 a7 寄存器中的系统调用号来分发处理。
实际用法：在 RISC-V Linux 中，系统调用号放在 a7 寄存器，参数依次放在 a0-a5，返回值放在 a0。比如你想调用 write(1, buf, len)，就设置 a7=64（write 的系统调用号），a0=1（标准输出），a1=buf 地址，a2=len，然后执行 ecall。返回后检查 a0 的值，如果是负数，说明出错了。
3.4.2 EBREAK 指令
ebreak 是另一个特殊指令，用于调试。执行它会触发断点异常，调试器可以接管控制。我在开发 RISC-V 模拟器时，用 ebreak 来标记测试用例的结束点——比用死循环优雅多了。
3.5 本章小结
这一章的内容，说白了就是程序与外界交互的三种方式：
- 加载存储：让数据在寄存器和内存之间流动
- 分支跳转：让程序具备决策和循环能力
- 系统调用：让应用能请求操作系统服务
我个人觉得，理解这三类指令是真正开始写 RISC-V 汇编的起点。下一章我们会深入指令编码格式——看看这些指令在二进制层面到底长什么样。嗯，那才是真正「硬核」的部分。