x64架构下无SIMD指令检测64位通用寄存器零字节的方法

针对你提出的「64位通用寄存器中存储8个无符号单字节值，无需SSE、无需迭代的并行零值检测」需求，经典的位运算并行方案可以直接实现，以下是具体方法和原理：

核心实现方法（纯寄存器并行运算） #

利用字节级的减法、取反与掩码运算，一次性检测所有8个字节是否存在零值，完全无需迭代或SSE指令。以x86-64汇编为例（假设待检测寄存器为RAX）：

; 预定义两个64位掩码
mov rcx, 0x0101010101010101  ; 每个字节为0x01的掩码
mov rdx, 0x8080808080808080  ; 每个字节最高位为1的掩码

; 核心检测逻辑
mov rbx, rax                  ; 保存原始值副本
sub rax, rcx                  ; 每个字节单独减1：0字节变为0xFF，非0字节变为b-1
not rbx                       ; 对原始值取反：0字节变为0xFF，非0字节变为~b
and rax, rbx                  ; 仅保留「字节为0」的位置的有效位
and rax, rdx                  ; 过滤出每个字节的最高位，排除无关位

test rax, rax                 ; 检测结果是否非零
jnz has_zero                  ; 非零则说明寄存器中存在零字节

原理详解 #

该方案基于单字节零值的位运算特性：对于单个无符号字节b，b == 0等价于(b - 1) & (~b) & 0x80 != 0，扩展到64位寄存器后：

• 当某个字节为0时：0 - 1在无符号运算中得到0xFF，取反原始值0得到0xFF，二者相与后仍为0xFF，再与0x80掩码相与得到0x80，对应字节位会被置1。
• 当某个字节非0时：b-1的最高位为0（或~b的最高位为0），相与后结果为0，不会对最终结果产生贡献。

最终通过test指令检测结果寄存器是否非零，即可判断是否存在任意零字节。

关于你尝试的掩码对比失败原因 #

直接用全0掩码与寄存器对比（如cmp rax, 0）仅能检测所有字节均为0的情况，而无法检测「存在单个/多个零字节」的场景。上述方案通过字节级的并行运算，精准定位每个字节的零值特征，解决了这个问题。

内容的提问来源于stack exchange，提问作者HeapUnderStop