PC 相对分支范围
条件分支使用 B-type 立即数，表示 2 字节对齐的有符号 PC-relative 偏移，目标范围约为当前 PC 的正负 4 KiB。
RISC-V Unprivileged ISA, RV32I control transfer instructionsBLTU
RISC-V BLTU 指令详解
指令手册B-type若rs1无符号比较小于rs2，则分支跳转
指令语法
bltu rs1, rs2, offset
操作数说明
源寄存器 rs1：第一个比较操作数。
源寄存器 rs2：第二个比较操作数。
立即数偏移：13 位有符号分支偏移（bit 0 隐含为 0，范围 ±4 KiB）。
RV32I控制转移分支
指令行为说明
BLTU指令采用B型格式（opcode=1100011, funct3=110）。将rs1和rs2作为无符号整数比较，若rs1<rs2则产生分支跳转（范围±4KiB）。特别的技巧：有符号数组边界检查可使用一条BLTU指令完成，因为任何负索引（以无符号解释为极大值）都会大于任何非负边界值。BGTU可通过交换操作数实现。
BLTU 指令解析与执行动画
从机器码字段解析开始，依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。
rs1
rs2
offset
bltu
,
,
执行环境
tp(x4)
0x00000004
PC
0x00002000
31..25
24..20
19..15
14..12
11..7
6..0
0 000000
imm[12|10:5]
01001
rs2
00100
rs1
110
funct3
0101 0
imm[4:1|11]
1100011
opcode
执行数据路径
instruction
0x00926563
opcode
1100011 -> BRANCH
funct3
110 -> BLTU
rs1 / rs2 / pc
tp(x4)=0x00000004 / s1(x9)=0x00000009 / 0x00002000
B-imm
reassembled offset 10; bit 0 is implicit 0
condition
< -> taken; IALIGN=32: instruction-address-misaligned exception
PC
instruction-address-misaligned exception on BLTU (taken target 0x0000200A is not IALIGN=32 aligned)
当前步骤
概念步骤：拿到 32-bit 指令编码
机器码按当前指令格式切成字段，动画从 encoding/decode 开始。
encoding: 0x00926563
syntax : bltu tp(x4), s1(x9), 10
result : instruction-address-misaligned exception on BLTU (taken target 0x0000200A is not IALIGN=32 aligned)
架构可见结果
instruction-address-misaligned exception on BLTU (taken target 0x0000200A is not IALIGN=32 aligned)
该动画展示 ISA 可见的解码和状态变化，不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
快速理解与检索要点
BLTU 是条件分支指令：当 rs1 与 rs2 的比较结果满足“无符号小于”时，PC 跳到当前指令 PC 加 B-type 偏移；条件不成立时顺序执行。
B-type 分支偏移以 2 字节为单位编码，范围约为当前 PC 的 +/-4 KiB。
RISC-V 条件分支不会写 rd，也不会保存返回地址。
仅当分支条件为真且目标不满足 IALIGN 时才发生指令地址未对齐异常；条件为假时不会因目标未对齐而引发该异常。
官方规范要点
以下要点按 RISC-V Unprivileged ISA 手册核准，用于补充操作语义、立即数范围和边界行为。
不会写返回地址
条件分支只根据比较结果改变 PC，不会写入 rd，也不会保存返回地址。函数调用和返回应使用 JAL/JALR 相关形式。
RISC-V Unprivileged ISA, RV32I control transfer instructions常见使用场景
比较与判断
结合 «bltu x9, x10, error # if x9 < x10 (unsigned), branch to error» 等实际代码理解该场景。
类型转换
结合 «bltu x9, x10, error # if x9 < x10 (unsigned), branch to error» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认分支目标地址在 ±4 KiB 范围内。
- 确认比较条件（eq/ne/lt/ge/ltu/geu）与意图一致。
语义检查
- 确认分支预测方向是否影响性能热点。
- 注意 B-type 立即数非连续编码（bit 0 隐含为 0）。
容易混淆 / 常见误区
有符号数比较请使用BLT
注意负数在无符号解释下变为极大正数
常见问题
BLTU 的跳转范围是多少？
条件分支使用 B-type 立即数，目标范围约为当前 PC 的正负 4 KiB。
有符号和无符号分支有什么区别？
BLT/BGE 按有符号整数比较；BLTU/BGEU 按无符号整数比较。BEQ/BNE 只判断位模式是否相等，不区分符号。