test指令两个操作数一样

最新推荐文章于 2022-09-30 10:46:46 发布

转载最新推荐文章于 2022-09-30 10:46:46 发布 · 2.4k 阅读

CC 4.0 BY-SA版权

原文链接：https://www.dazhuanlan.com/2019/11/22/5dd6e5e736834/

本文详细介绍了CPU的条件码标志（CF、ZF、SF、OF）及其在TEST和CMP指令中的应用。TEST指令与AND指令类似，但不改变目的寄存器的值，主要用于设置条件码。当S视为有符号或无符号数时，TESTS,S和cmp$0,S表现出相同的行为，因为与0比较不会导致溢出或进位，所以它们在设置条件码上是等效的。这一特性使得这两个指令在检查数值状态时具有同等效力。

条件码：

CF：最近的操作是否使最高位产生进位
ZF：最近的操作是否为零
SF：最近的操作得到的结果是否为负数
OF：最近的操作是否导致补码溢出（正溢出和负溢出）

CMP S1, S2        根据S2-S1的值设置条件码

TEST S1, S2        根据S1&S2的值设置条件码

CSAPP p136:
TEST指令的行为和AND指令一样，除了它们只设置条件码而不改变目的寄存器的值。典型的用法是，两个操作数是一样的（例如，test %rax, %rax用来检查%rax是负数，零，还是正数），或其中的一个操作数是一个掩码，用来指示哪些位应该被测试。

对比test S, S和cmp $0，S。

当S看作有符号数，且大于0时：

test S, S，SF置0，ZF置0，OF置0
cmp $0，S，SF置0，ZF置0，OF置0

当S看作有符号数，且等于0时：

test S, S，SF置0，ZF置1，OF置0
cmp $0，S，SF置0，ZF置1，OF置0

当S看作有符号数，且小于0时：

test S, S，SF置1，ZF置0，OF置0
cmp $0，S，SF置1，ZF置0，OF置0

当S看作无符号数，且等于0时：

test S, S，ZF置1，CF置0
cmp $0，S，ZF置1，CF置0

当S看作无符号数，且不等于0时：

test S, S，ZF置0，CF置0
cmp $0，S，ZF置0，CF置0

惊奇地发现这两句指令的行为是一模一样的。原因在于cmp在与0作比较时，是不可能发生溢出和进（借）位的，因而不可能影响OF CF位，这和test指令是一样的。

因此test S, S和cmp $0，S是等效的。