2.2 RV32I 基础指令集与六种编码格式

2.2 RV32I 基础指令集与六种编码格式

本节摘要：RV32I 用四十七条指令覆盖一个能跑 C 程序所需的全部动作，靠六种编码格式把它们装进统一的三十二位容器。本节逐类过指令、逐位手解格式——你将亲手完成加法、分支、跳转三条指令的正向编码与一条机器码的反向还原，理解立即数比特乱序背后的硬件动机。

四十七条指令真的够吗

凭什么一个没有乘除法、没有浮点的指令集敢自称能跑 C 程序？先把 RV32I 的家底盘一遍，这个疑问会自己消解。整数运算类：加法 add 与 addi、减法 sub、逻辑与或异或（寄存器与立即数两个变体）、移位 sll、srl、sra、比较置位 slt 与 sltu。访存类：按字节、半字、字三种宽度的加载与存储，各有无符号扩展变体，如 lb、lbu、lh、lhu、lw 与 sb、sh、sw。控制流类：六个条件分支 beq、bne、blt、bge、bltu、bgeu，两个跳转 jal 与 jalr。立即数装配类：lui 把二十位立即数装进寄存器高位，auipc 在此基础上叠加 pc，两者配合可以构造任意三十二位常数与远距离寻址。系统类：fence 保证存储访问顺序，fence.i 同步指令流与数据流，ecall 与 ebreak 是陷入调试器或操作系统的门铃——它们的具体行为要等第三章展开。

数下来不到四十条主体指令，却已覆盖 C 语言全部语义所需的底座：算术有加减与逻辑，比较与分支组合出所有条件结构，访存三宽度覆盖 char、short、int，函数调用有 jal 与 jalr 一进一出。乘除呢？C 编译器会把它展开成移位加法序列，或者你干脆拼上 M 扩展——这正是模块化的用法。规范的设计哲学在此显形：基线收录的是"缺一条就有程序写不出来"的指令，其余一律外挂。

六种格式：一套字段布局的六种用法

所有 RV32I 指令都是三十二位，被划成六种格式。它们共享一个关键性质：opcode 固定占最低七位；rd 与 funct3、rs1、rs2、funct7 等字段在不同格式间尽量对齐在相同比特位置。这不是审美偏好，而是给硬件省时间——译码器不必等格式判定完成就能并行抽取寄存器编号，寄存器堆的读可以提前启动。

六种格式的差别几乎全在立即数。I 型立即数十二位，直接右对齐符号扩展，服务 addi、lw 的偏移、jalr。S 型把十二位立即数从中剪开，高七位挪到 funct7 的位置、低五位塞进原 rd 字段——因为 store 指令不需要 rd，那块地空着不用白不用。U 型最简单：二十位立即数直接占高位。真正让人第一眼皱眉的是 B 型与 J 型：它们的立即数被拆成两段不说，中段比特还故意交换了位置。初学者往往在这里背表，背完就忘；正确姿势是追问动机。

动机藏在一条线里。B 型与 J 型立即数分别是十三位与二十一位，最高位都是符号位；硬件做符号扩展时，最贵的操作是把符号位扇出到所有高位。RISC-V 的做法是把所有格式的立即数第 31 位统一规定为符号位，再让 B 型 J 型的低位字段绕过这一位排布——于是六种格式的符号扩展共用同一条线路，译码器少一路选择器，关键路径短一截。比特乱序是为一块电路付的账，看穿这一点，六种格式就从六张表变成一个决策。

手解实验一：正向编码三条指令

纸上推演一遍，比读十遍规格记得牢。先编一条最简单的：addi a0, a0, 4。查表得 addi 属 I 型，opcode 为 0010011，funct3 为 000；a0 是 x10，写五位数 01010；立即数 4 十二位为 000000000100。按 I 型布局拼装：立即数、rs1、funct3、rd、opcode，得到二进制 000000000100 01010 000 01010 0010011，按四位分组合成十六进制 0x00450513。同一条指令在反汇编工具里会原样显示为这个数，你可以当场对账。

第二条编分支：beq t0, t1, 16，即相等则跳过十六条字节。B 型布局从高到低是：立即数第 12 位、立即数第 10 到 5 位、rs2、rs1、funct3（beq 为 000）、立即数第 4 到 1 位、立即数第 11 位、opcode 1100011。代入：rs1 与 rs2 是 t0、t1 即 x5、x6；偏移 16 二进制 10000，第 4 到 1 位是 1000，第 5 位以上为零。拼出来是 0_0000000_0110_00101_000_1000_0_1100011，十六进制 0x00628463。注意立即数最低位永远不参与编码——分支目标必须按半字对齐，最低位恒零，规范干脆不存它。

第三条编跳转：jal ra, 0x100。J 型立即数二十位，布局为：第 20 位、第 10 到 1 位、第 11 位、第 19 到 12 位，后接 rd（ra 即 x1）与 opcode 1101111。偏移 0x100 的第 8 位为 1，其余低位为零，各段各就各位后得到 0x100000ef——这个模式你会在无数裸机固件的反汇编里撞见，它就是"跳转并把返回地址写进 ra"的标准长相。

手解实验二：反向还原一条机器码

反方向同样要走一遍才算闭环。拿到十六进制 0x00B50533，先看最低七位：0110011，R 型运算。拆字段：funct7 为 0000000，rs2 为 01011 即 x11 也就是 a1，rs1 为 01010 即 a0，funct3 为 000，rd 为 01010 即 a0。查 R 型表，funct7 与 funct3 组合 000 与 000 对应 add。结论：这条指令是 add a0, a0, a1——正是上一节那句 C 代码 sum 加 delta 的真身。整个反解过程不到一分钟，但每一步都在强迫你回查字段布局，比任何背诵都有效。

顺手认识几位伪指令的真面目。反汇编输出里常见的 li、mv、nop、ret、j，都不是编码表里的条目：li 是 addi 配 x0 源的别名，mv 是 add 配 x0 的加法，nop 就是 addi x0, x0, 0，ret 是 jalr x0, 0(ra)，j 是 jal x0。汇编器收下这些昵称，翻译成真实编码。规范靠这层别名层把"好写"与"好解码"解耦：汇编语法照顾人，机器编码照顾硬件，两不相扰。

工程现场：对账objdump输出

背景：上一节那个 accumulate 函数，编译产物用反汇编工具展开后，头部几条长这样。

  800:  00b50533          add  a0, a0, a1
  804:  00a00513          li   a0, 10
  808:  10000293          li   t0, 256
  80c:  100002b7          lui  t0, 0x100
  810:  100102b7          lui  t0, 0x10010
​

操作：逐条对账。第二条 0x00a00513，按 I 型拆：立即数 000000001010 即十进制十，rs1 为 x0，rd 为 a0——正是"装载立即数十进 a0"。第三条 0x10000293 立即数为 0x100，即二百五十六。第四条 0x100002b7 opcode 尾数不同，是 lui：它把 0x100 直接放进 t0 的高二十位，低十二位补零，得到的值是 0x100000。第五条 lui 立即数域为 0x10010，语义是 t0 等于 0x10010000——注意立即数表面写 0x10010，乘上四千零九十六才是真实值，这是读反汇编时最常见的视错觉。

结果：五条全部对上，无一例外。你等于用十分钟人肉复现了反汇编器的核心逻辑。

解读：这个对账练习的价值不在验证工具，而在建立"比特可解释"的底气。此后你遇到固件跑飞、向量表指错、链接脚本偏移算错一类问题时，敢直接打开十六进制视图逐位核对，而不是只能依赖高级工具的转译。嵌入式排错的老手与新手的分野，往往就在这一层。

变式：把编译选项里的压缩扩展打开重新反汇编，同一段代码会缩水三分之一以上，原来的三十二位指令变成十六位短编码——它们是 C 扩展的领域，字段布局又是另一套精简版，下一节的选型问答里会继续这个话题。

本节要点回顾

• 基线即底线：四十七条指令覆盖 C 程序全部语义的最小底座，乘除浮点原子一律外挂扩展；
• 字段对齐是性能设计：寄存器编号位置跨格式固定，译码与读寄存器得以并行；
• 立即数乱序的动机：所有格式符号位统一在第 31 位，六种格式共享同一条符号扩展线路；
• 正向与反向都要手过：能编 addi、beq、jal，也能把任意机器码拆回语义，才算真正掌握格式；
• 伪指令是别名层：li、mv、nop、ret 都映射到真实编码，汇编语法与机器编码各照顾一头。

六种格式装下了全部基线指令，但真实芯片的指令池远不止这些。下一节回答一个务实问题：面对 M、A、F、D、C 这些扩展字母，你的项目该怎么拼？