bnez
RISC-V bnez 伪指令详解
汇编器伪指令不等于零则分支伪指令，展开为 bne rs, x0, offset。当寄存器值非零时跳转，常用于非空保护检查、循环继续判断和布尔值测试。
你写下的是
bnez rs, offset
常见真实展开
bne rs, x0, offset
这条伪指令到底在帮你省什么
比 bne rs, x0, offset 更自然地表达「如果非零则继续/跳转」的控制流。与 beqz 形成互补，覆盖零/非零分支的全部分支需求。
bnez 的核心作用是“不等于零则分支跳转”。它是汇编器层面的简写；调试、审计或阅读机器码时，应回到页面列出的真实展开指令和相关重定位语义来判断行为。
官方语义核对重点
官方汇编手册把 bnez 作为汇编器层面的伪指令/别名处理，硬件执行的是展开后的真实指令序列。
真实语义以 BNE 等展开指令的 ISA 定义为准；本页不把 bnez 当作独立硬件 opcode。
分支比较的有符号/无符号属性继承自 BEQ/BNE/BLT/BGE/BLTU/BGEU；零比较只是把 x0 作为其中一个操作数。
展开过程怎么理解
步骤 1
汇编器展开为 bne rs, x0, offset。
步骤 2
BNE 比较 rs 与 x0（永远为 0），若不相等则 PC ← PC + offset × 2。
在 objdump / 反汇编里可能看到什么
bne rs, x0, offset 在反汇编中显示为 bnez rs, offset。
官方依据与阅读顺序
本页把伪指令当作汇编器层面的别名或宏来解释：先看它会展开成哪些真实指令，再回到官方 ISA 手册理解真实指令的行为。涉及 ABI、重定位或链接器松弛时，以 psABI 文档为准。
什么时候优先想到它
检查结果非零后再使用（Guard 保护）
非空指针检查后继续执行
循环计数判断（当前迭代未完成则继续）
布尔值测试（if (flag) 跳转）
容易混淆 / 常见误区
±4 KiB 分支范围限制——超远分支需 bnez + j 组合
BNEZ 不检查符号位，不要与 BGEZ（≥0）混淆——BNEZ 仅检查是否非零
在 RV64 上，BNEZ 检查整个 64 位值——低 32 位为零但高 32 位非零时仍会跳转
常见问题
bnez 是真实 RISC-V 指令吗？
bnez 是汇编器伪指令或别名，不是单独硬件 opcode。页面中的“常见真实展开”列出官方展开，真实行为由展开后的 ISA 指令决定。
使用 bnez 时最容易误解什么？
±4 KiB 分支范围限制——超远分支需 bnez + j 组合