MASM使用.486/.model flat,stdcall时为何仅EAX低半部分被清零？

根因说明 #

该现象并非xor eax, eax指令的执行逻辑错误，属于VS2019 32位调试模式下的寄存器显示异常：

• x86指令集明确规定，针对32位通用寄存器的运算操作会完整覆盖整个32位寄存器的数值。xor eax, eax是行业通用的EAX清零实现，CPU执行后一定会将EAX的0~31位全部置为0，不存在仅修改低16位AX的情况。
• 你观察到的仅AX被清零的效果是调试器显示bug导致：断点停在ret指令时，调试器寄存器窗口未同步刷新EAX高16位的数值，仅更新了低16位AX的显示结果。你可以在调试器即时窗口执行r eax命令查看寄存器真实值，会返回完整的32位全0结果。
• x64环境下显示正常的原因有两点：一是x64架构规定32位寄存器的运算结果会自动零扩展到整个64位RAX寄存器，二是VS2019的x64调试链路不存在该寄存器刷新bug，显示结果和实际执行结果一致。

验证方法 #

你可以修改汇编代码添加逻辑校验，确认指令实际执行效果：

_text SEGMENT
.486
.model flat,stdcall
.stack 4096

.code
main PROC
    xor eax, eax    
    test eax, 0FFFF0000h  ; 检测EAX高16位是否为0
    jz high_bits_is_zero  ; 高16位为0则跳转，实际运行时一定会触发该跳转
    int 3                 ; 仅高16位非0时会执行到此处，实际运行永远不会触发
high_bits_is_zero:
    ret
main ENDP
_text ENDS
END

运行上述代码后不会触发断点中断，即可证明xor eax, eax执行后EAX高16位确实为0。

内容的提问来源于stack exchange，提问作者João Afonso