x86-64架构下如何将零标志位移入寄存器？

提取零标志位的正确实现 #

执行cmp rax, rbx后，零标志位（ZF）对应RFLAGS寄存器的第6位（从0开始计数）。你猜测的mov al,[rsp+6]是错误的，正确提取方式如下：

方法1：寄存器提取（更高效） #

cmp rax, rbx
pushfq               ; 将64位RFLAGS压入栈
pop rcx              ; 把栈顶的RFLAGS值加载到rcx
and rcx, 0x40        ; 0x40是1<<6，仅保留ZF位
; 此时rcx非0表示rax==rbx，rcx为0表示rax!=rbx

方法2：直接读取栈中字节 #

cmp rax, rbx
pushfq
mov al, [rsp]        ; 栈顶第一个字节是RFLAGS的低8位，ZF位包含其中
and al, 0x40         ; 提取ZF位
add rsp, 8           ; 平衡栈（替代pop指令）
; al中0x40表示相等，0表示不等

错误原因：PUSHFQ压栈的是8字节RFLAGS，栈顶[rsp]对应低8位（含ZF位），[rsp+6]对应第48-55位，和ZF完全无关。

64位模式下PUSHFD与PUSHFQ的区别及选择 #

• PUSHFD：
  • 操作32位EFLAGS寄存器，64位模式下压入4字节到栈，仅保存RFLAGS的低32位。
  • 执行时会强制清零RFLAGS中的VM（虚拟8086模式标志）和RF（恢复标志）位。
• PUSHFQ：
  • 操作64位RFLAGS寄存器，压入8字节到栈，完整保存所有64位标志位（包括高32位的ID、VIP、VIF等）。
  • 执行时不会修改任何标志位。

适用场景 #

64位模式下优先选PUSHFQ：

1. 它完整保留标志寄存器状态，不会破坏VM/RF等标志位；
2. 即使只需要低32位标志，PUSHFQ的操作逻辑更贴合64位环境，性能和PUSHFD无明显差异。
   仅在明确只需要低32位标志、且允许VM/RF被清零的场景下，才考虑使用PUSHFD。

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