x86汇编如何检测非零寄存器中是否置位了多个比特位

你完全不需要循环逐位移位检测，也不需要调用popcnt指令，针对你给出的「输入值已知非零、仅判断是否超过1个置位位、不需要统计总置位位数」的场景，存在延迟极低、无任何特殊指令集依赖的通用位运算实现，效率远高于popcnt或循环方案。

核心原理 #

非零值仅存在1个置位位，等价于该值是2的整数次幂。对于2的整数次幂x，其二进制表示只有单个1，x-1会将该位置0、所有低位置1，因此x & (x-1)的结果必然为0；如果结果非零，就说明值中至少存在2个置位位。

汇编实现 #

32位模式示例 #

; 输入：EAX = 待检测非零值
; 输出标志位：ZF=1 表示仅1个比特置位；ZF=0 表示存在至少2个置位位
lea ecx, [eax - 1]
test eax, ecx

64位模式示例 #

; 输入：RDI = 待检测非零值
; 输出标志位：ZF=1 表示仅1个比特置位；ZF=0 表示存在至少2个置位位
lea rsi, [rdi - 1]
test rdi, rsi

这里用lea计算减1结果而不是dec，是因为lea不会提前修改标志位，也不会对输入寄存器产生写副作用，执行后可以直接通过test设置的ZF位完成后续分支跳转（比如je single_bit跳转到单比特置位的分支，jne multi_bit跳转到多比特置位的分支）。

性能对比 #

• 循环移位逐位检测：最差情况需要遍历全部32/64个比特，伴随分支预测失败的高开销，是性能最差的实现，无特殊需求不要使用。
• popcnt判断方案：需要CPU支持POPCNT扩展指令，popcnt指令本身在主流x86处理器上约为3周期延迟，整体判断链路延迟是位运算方案的2~3倍，仅在你需要同时获取总置位位数的场景下才值得使用。
• 上述位运算方案：两条指令均为整数域基础指令，兼容所有386及以上的x86处理器，总延迟仅1~2个周期，每周期可并行执行多组，是当前场景下的最优实现。

注意：该实现默认输入值非零，如果输入可能为0，0 & (0-1)同样会得到0，会误判为单比特置位，你的场景已经明确输入非零，不需要额外加0值判断。

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