C.BEQZ 会写返回地址吗？
不会；它不写链接寄存器。条件成立时 PC 更新为目标地址，否则顺序执行到 pc+2。
C.BEQZ
RISC-V C.BEQZ 指令详解
指令手册C-type若rs1'=0则分支(±256B)。CB格式。
指令语法
c.beqz rs1', offset
操作数说明
压缩指令仅 16 位，寄存器选择通常限制在 x8–x15。
立即数字段较窄，查看特定压缩指令的完整编码。
C压缩指令
指令行为说明
C.BEQZ (CB格式，rs1'仅限x8-x15)若rs1'等于零则分支。偏移量符号扩展后加到pc，跳转范围±256B。展开为beq rs1',x0,offset。
C.BEQZ 指令解析与执行动画
此可交互模型只展示架构可见的解码、操作数、状态更新；不表示流水线、缓存或时序。
c.beqz,
执行环境
编码字段
15..13
funct3
110
12
offset[8]
0
11..10
offset[4:3]
00
9..7
rs1'
000
6..5
offset[7:6]
00
4..3
offset[2:1]
00
2
offset[5]
1
1..0
op
01
执行数据路径
解码
CB: rs1' / permuted offset
操作数
x8 = 0x00000000, x0 = 0
执行
比较成立，选择分支目标
状态
PC <- 0x00001020
零比较条件成立。
架构可见结果
等待状态更新：上方高亮显示当前步骤的字段和计算，尚未提交架构可见结果。
快速理解与检索要点
C.BEQZ 使用 CB 格式，把受限 rs1' 与隐式 x0 比较；成立时 PC 加符号扩展偏移。
rs1' 只能编码 x8-x15。
C 扩展下 IALIGN=16，2 字节倍数的 CB 偏移满足指令对齐。
常见使用场景
比较与判断
结合 «c.beqz x8, 32 # if x8==0 goto pc+32» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认压缩指令 16 位编码只在支持 C 扩展的 CPU 上可用。
- 确认 rd/rs1'/rs2' 字段映射到 x8–x15。
语义检查
- 注意压缩指令的操作数空间有限。
- 确认这条压缩指令有对应的 32 位展开形式。
容易混淆 / 常见误区
源寄存器仅限x8-x15（CB格式）
比较的第二个操作数隐式为x0；该指令没有目标寄存器
分支范围仅±256B（非32位指令的±4KiB）