使用GCC汇编时cmpq指令对部分十六进制数报操作数类型不匹配错误

你遇到的报错并非GCC bug，而是x86-64指令集和GAS（GCC配套汇编器）的规则限制导致的：

核心原因 #

x86-64架构中，除movq外，绝大多数指令（包括cmpq）不支持直接使用64位立即数，仅能接受32位立即数并自动符号扩展为64位。这就导致了不同长度十六进制数的处理差异：

• 当f数量≤7时：数值在32位有符号整数范围内（≤0x7fffffff），汇编器将其视为32位有符号数，符号扩展为64位后可被cmpq接受。
• 当f数量在8-15之间：数值超出32位整数范围，无法通过32位立即数符号扩展得到对应的64位值，汇编器因此抛出「操作数类型不匹配」错误。
• 当f数量=16时：0xffffffffffffffff是64位的-1，恰好可通过32位有符号数-1符号扩展得到，所以汇编器接受该操作数。

另外你需要注意：$0xffffffff会被GAS解析为32位有符号数-1，符号扩展后是0xffffffffffffffff，这和你实际想比较的「32位无符号最大值0x00000000ffffffff」完全不同，即便没有报错，逻辑也不符合预期。

正确实现方式 #

要判断rsi中的值是否能容纳在32位中，分两种场景处理：

1. 32位无符号整数（值≤0xffffffff）

最高效的方式是检查高32位是否为0：

testq $0xffffffff00000000, %rsi
jnz exceeds_32bit_range  # 高32位不为0，说明超出32位无符号范围

也可以先加载常量到寄存器再比较：

movq $0xffffffff, %rax  # movq支持64位立即数，会加载为0x00000000ffffffff
cmpq %rax, %rsi
ja exceeds_32bit_range  # 无符号比较，若rsi>0xffffffff则跳转

2. 32位有符号整数（值在0x80000000到0x7fffffff之间）

可以通过符号位扩展判断：

movq %rsi, %rax
sarq $31, %rax  # 算术右移31位，得到符号位的全扩展
cmpq %rax, %rsi
jne exceeds_32bit_range  # 若扩展后的值与原数不等，说明超出范围

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