NASM x86-64模式下add rbx,0xffffffff为何触发有符号dword溢出警告？

警告触发的核心原因 #

x86-64架构下，给64位寄存器加32位常量时，CPU会自动对这个32位值做符号扩展后再执行运算。NASM的number-overflow警告逻辑是：默认把十六进制常量当作有符号数校验，当这个32位常量超出32位有符号数的范围（-2^31到231-1，即0x80000000到0x7fffffff）时，就会抛出警告。

0xffffffff作为32位有符号数时是-1，符号扩展为64位后是0xffffffffffffffff；但如果把它当作无符号32位值，它是4294967295，正确的64位表示应该是零扩展后的0x00000000ffffffff。NASM默认的有符号校验逻辑认为你输入的是一个溢出的有符号数，所以触发警告。而0x7fffffff是32位有符号数的最大值，符号扩展前后值不变，自然不会触发警告。

让NASM识别为无符号常量的方法 #

有两种直接的解决方式：

• 在常量末尾添加U后缀，明确标记为无符号类型：

  add rbx, 0xffffffffU
  

• 使用DWORD伪指令强制按无符号32位处理，NASM会自动做零扩展到64位：

  add rbx, DWORD 0xffffffff
  

这两种方式都能让NASM放弃有符号数的溢出校验，正确按无符号32位常量处理，消除警告。

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