关于LOOPE/LOOPZ指令是否需按地址大小前缀符号扩展的问询

核心规则 #

LOOPE/LOOPZ的跳转偏移是8位立即数，无论当前运行模式或地址大小前缀，都会先将该8位值符号扩展到当前有效地址宽度（由地址大小前缀和运行模式共同决定），再计算跳转目标。这里的地址宽度决定了指令指针的位数（IP/EIP/RIP），同时也和计数器寄存器（CX/ECX/RCX）一一对应，但符号扩展的依据是地址宽度，而非计数器本身。

针对你提到的字节流67 e1 d2的分析 #

• 67是地址大小前缀（addr32），强制使用32位地址宽度，对应指令指针为EIP，计数器为ECX；
• e1是LOOPE的操作码，d2是8位立即数（二进制最高位为1，属于负数）；
• 反汇编工具显示的0xffffffffffffffd5是相对于当前指令起始地址的跳转偏移，而非指令中8位立即数的直接符号扩展值：
  指令总长度为3字节（前缀+操作码+偏移），指令中的8位偏移0xd2符号扩展到32位是0xffffffd2，这个偏移是相对于指令结束后的地址（即下一条指令的起始地址）。因此相对于当前指令的偏移为 0xffffffd2 + 3 = 0xffffffd5，这正是objdump的输出结果，是符合规则的。

不同运行模式下的汇编写法正确性 #

1. 16位模式

   • 默认地址宽度16位：汇编写法loope label会将8位偏移符号扩展到16位，计数器用CX；
   • 若使用addr32 loope label（部分环境支持）：地址宽度切换为32位，偏移扩展到32位，计数器用ECX。

2. 32位模式

   • 默认地址宽度32位：loope label将8位偏移扩展到32位，计数器用ECX；
   • 若使用addr16 loope label：地址宽度切换为16位，偏移扩展到16位，计数器用CX。

3. 64位长模式

   • 默认地址宽度64位：loope label将8位偏移扩展到64位，计数器用RCX；
   • 若使用addr32 loope label：地址宽度切换为32位，偏移扩展到32位，计数器用ECX（此时RIP被截断为低32位的EIP）。

只要汇编写法匹配当前地址宽度的要求，就是正确的——汇编器会自动处理8位偏移的符号扩展，无需手动指定扩展后的数值。

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