为何值相同的两个寄存器不相等？二分查找汇编代码疑问

• 内存加载宽度错误：若数组是32位int类型，使用64位加载指令movq读取(%rax, %r10, 4)时，会一次性读取8字节（包含当前元素和下一个元素）。比如索引2的位置会读出0x0000000300000002（元素2和3拼接的64位值），与%r9中纯64位的2（0x0000000000000002）比较必然不等。应改用32位加载指令movl，加载后寄存器会自动零扩展为正确的64位2。

• 比较指令宽度不匹配：如果用64位比较指令cmpq时，其中一个操作数是32位寄存器（如%edx），而%r9的高32位存在未初始化的垃圾数据，即使低32位是2，64位整体比较也会失败；反之若用32位比较指令cmpl，%r9的高32位会被截断，若目标值实际是64位存储，也会导致比较错误。必须保证比较指令宽度与操作数的存储宽度一致。

• 寄存器混淆：核对代码中的比较逻辑，确认是否误将目标值的寄存器用错——比如实际目标值存在%r8，但代码中却拿%r9与内存值比较，自然无法匹配。

• 调试显示的误导：部分调试器会自动将寄存器值转换为十进制显示，但实际寄存器中可能存在高位垃圾数据。比如%r9显示为2，但实际是0x1234000000000002，此时与内存中纯2的64位值比较，结果必然不等。可查看寄存器的十六进制值确认。

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