snez
RISC-V snez 伪指令详解
汇编器伪指令不等于零则置位伪指令，展开为 sltu rd, x0, rs。若 rs != 0 则 rd = 1，否则 rd = 0。rd = (rs != 0) ? 1 : 0。等价于无符号比较 rs > 0。
你写下的是
snez rd, rs
常见真实展开
sltu rd, x0, rs
这条伪指令到底在帮你省什么
将非零值布尔化。利用 SLTU 语义：0 < rs（无符号比较）当且仅当 rs != 0。结果与 C 语言的 bool 转换一致（非零→true→1）。
snez 的核心作用是“若非零则置1”。它是汇编器层面的简写；调试、审计或阅读机器码时，应回到页面列出的真实展开指令和相关重定位语义来判断行为。
官方语义核对重点
官方汇编手册把 snez 作为汇编器层面的伪指令/别名处理，硬件执行的是展开后的真实指令序列。
真实语义以 SLTU 等展开指令的 ISA 定义为准；本页不把 snez 当作独立硬件 opcode。
展开过程怎么理解
步骤 1
汇编器展开为 sltu rd, x0, rs。
步骤 2
SLTU 执行无符号比较：若 x0(0) < rs（即 rs != 0），则 rd = 1；否则 rd = 0。
在 objdump / 反汇编里可能看到什么
sltu rd, x0, rs 在反汇编中显示为 snez rd, rs。x0 作为源寄存器提供常量 0。
官方依据与阅读顺序
本页把伪指令当作汇编器层面的别名或宏来解释：先看它会展开成哪些真实指令，再回到官方 ISA 手册理解真实指令的行为。涉及 ABI、重定位或链接器松弛时，以 psABI 文档为准。
什么时候优先想到它
布尔化任意值（C 语言的 bool 转换：非零→true）
检测非零计算结果或返回值
构建条件掩码（非零元素标记）
指针存在性验证
容易混淆 / 常见误区
SNEZ 基于无符号比较——但 0 < rs（无符号）当且仅当 rs != 0，语义在所有情况下都正确
snez 的语义与 C 语言的 bool 转换一致（非零→1），这与 seqz 相反
在 RV64 上，若 rs 的低 32 位为零但高 32 位非零，snez 仍返回 1（整个 64 位值参与无符号比较）
常见问题
snez 是真实 RISC-V 指令吗？
snez 是汇编器伪指令或别名，不是单独硬件 opcode。页面中的“常见真实展开”列出官方展开，真实行为由展开后的 ISA 指令决定。
使用 snez 时最容易误解什么？
SNEZ 基于无符号比较——但 0 < rs（无符号）当且仅当 rs != 0，语义在所有情况下都正确