PC 相对分支范围
条件分支使用 B-type 立即数，表示 2 字节对齐的有符号 PC-relative 偏移，目标范围约为当前 PC 的正负 4 KiB。
RISC-V Unprivileged ISA, RV32I control transfer instructionsBEQ
RISC-V BEQ 指令详解
指令手册B-type若rs1与rs2相等，则跳转到以PC为基址的偏移地址处
指令语法
beq rs1, rs2, offset
操作数说明
源寄存器 rs1：第一个比较操作数。
源寄存器 rs2：第二个比较操作数。
立即数偏移：13 位有符号分支偏移（bit 0 隐含为 0，范围 ±4 KiB）。
RV32I控制转移分支
指令编码
31..25
imm[12|10:5]
24..20
rs2
19..15
rs1
14..12
funct3
11..7
imm[4:1|11]
6..0
opcode
BEQ 使用 opcode 1100011（0x63）、funct3 000。rs1 和 rs2 保存比较操作数，13 位立即数编码分支偏移（±4 KiB）。
格式: B-type
opcode: 1100011 (0x63)
funct3: 000 (0x0)
指令行为说明
BEQ指令采用B型格式（opcode=1100011, funct3=000）。比较寄存器rs1和rs2的值，若两者相等则产生分支跳转。B型立即数编码以2字节为倍数的有符号12位偏移量，经符号扩展后与当前BEQ指令地址相加得到目标地址。分支范围为±4KiB。条件不成立时顺序执行。
快速理解与检索要点
BEQ 是条件分支指令：当 rs1 与 rs2 的比较结果满足“相等”时，PC 跳到当前指令 PC 加 B-type 偏移；条件不成立时顺序执行。
B-type 分支偏移以 2 字节为单位编码，范围约为当前 PC 的 +/-4 KiB。
RISC-V 条件分支不会写 rd，也不会保存返回地址。
官方规范要点
以下要点按 RISC-V Unprivileged ISA 手册核准，用于补充操作语义、立即数范围和边界行为。
不会写返回地址
条件分支只根据比较结果改变 PC，不会写入 rd，也不会保存返回地址。函数调用和返回应使用 JAL/JALR 相关形式。
RISC-V Unprivileged ISA, RV32I control transfer instructions常见使用场景
分支与跳转
结合 «beq x1, x2, 0x100 # if x1 == x2, branch to pc+0x100» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 B-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
分支范围仅 ±4 KiB，超出需要使用多条指令模拟
RISC-V 没有延迟槽（delay slot），不需要在分支后填充 NOP
B-type 目标以 2 字节为单位编码；未实现压缩指令时需要 4 字节对齐
常见问题
BEQ 的跳转范围是多少？
条件分支使用 B-type 立即数，目标范围约为当前 PC 的正负 4 KiB。
有符号和无符号分支有什么区别？
BLT/BGE 按有符号整数比较；BLTU/BGEU 按无符号整数比较。BEQ/BNE 只判断位模式是否相等，不区分符号。