czero.eqz 是条件跳转吗？
不是。它不会改变 PC，只根据 rs2 是否为零选择写 0 或 rs1。
CZERO.EQZ
RISC-V CZERO.EQZ 指令详解
指令手册R-type条件置零：若rs2为零则rd=0，否则rd=rs1
指令语法
czero.eqz rd, rs1, rs2
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数寄存器。
源寄存器 rs2：第二个操作数寄存器。
Zicond条件操作
指令行为说明
czero.eqz 是 Zicond 条件置零指令。若 rs2 等于 0，rd 写 0；否则 rd 写 rs1。
CZERO.EQZ 指令解析与执行动画
从机器码字段解析开始，依次展示操作数读取、该指令专属语义计算和 ISA 可见状态更新。
rd
rs1
rs2
czero.eqz
,
,
执行环境
t1(x6)
0x00000014
31..25
24..20
19..15
14..12
11..7
6..0
0000111
funct7
00111
rs2
00110
rs1
101
funct3
00101
rd
0110011
opcode
执行数据路径
instruction
0x0E7352B3
opcode
0110011 -> OP
funct3
101 -> CZERO.EQZ
funct7
0000111 -> base ALU selector
rd / value rs1 / condition rs2
t0(x5) / t1(x6)=0x00000014 / t2(x7)=0x00000007
conditional zero
t2(x7) != 0; copy rs1 -> 0x00000014
x5
t0(x5) = 0x00000014
当前步骤
概念步骤：拿到 32-bit 指令编码
机器码按当前指令格式切成字段，动画从 encoding/decode 开始。
encoding: 0x0E7352B3
syntax : czero.eqz t0(x5), t1(x6), t2(x7)
result : t0(x5) = 0x00000014
架构可见结果
t0(x5) = 0x00000014
该动画展示 ISA 可见的解码和状态变化，不表示任何特定 CPU 的流水线、缓存、预测或时序实现。
快速理解与检索要点
czero.eqz 是 Zicond 条件置零指令。若 rs2 等于 0，rd 写 0；否则 rd 写 rs1。
可用于构造无分支条件选择序列，但架构语义本身只是条件写 0。
rd 对 rs1 和 rs2 都有语法依赖，官方手册专门定义了这些依赖关系。
常见使用场景
特定用途
结合 «czero.eqz x10, x11, x12 ; x10 = (x12 == 0) ? 0 : x11» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认 rd、rs1、rs2（及 rs3）是合法 GPR。
- 确认 funct3 与 funct7 字段编码正确。
语义检查
- 确认结果是否会影响后续分支或地址计算。
- 确认 rd 寄存器不会被其他指令覆盖。
容易混淆 / 常见误区
它只在两个结果之间选择：0 或 rs1；不会执行分支，也不会访问内存。
条件只测试 rs2 是否为零，不比较 rs1 与 rs2。
常见问题
czero.eqz 会比较两个寄存器大小吗？
不会。条件只看 rs2 是否为零。