GDB / GNU程序集:测试%esi，%esi返回不相等？

Question

我在做作业。我们得到了一个预编译的二进制文件，我们必须使用gdb来获取程序集转储、遍历数据结构、查看存储在内存中的值等，以便弄清楚二进制文件的作用。下面是函数调用中反汇编程序转储的几行代码：

0x08048e14 <+21>:   test   %esi,%esi
0x08048e16 <+23>:   jne    0x8048e4b <fun6+76>
0x08048e18 <+25>:   jmp    0x8048e5d <fun6+94>

我假设test %esi,%esi总是返回“等于”的结果(或者，更确切地说，使用寄存器标志表示的等价语句(我认为只有ZF设置了？)，并且jne指令永远不会执行，相反，程序将在<+25>行执行指令。但是，在完成这些指令之后，程序跳到了行<+76>！这一切为什么要发生？我太困惑了。

为了帮助解释答案，下面是test指令之后的<+21>行(ZF未设置？)之后的寄存器标志(我仍然不知道如何准确地解释标志)：

eflags         0x202    [ IF ]

Answer 1

test指令按位执行AND，但不存储结果；它只设置标志。

jne实际上是“如果ZF不等于0的话跳”，所以这里测试esi是否为零。

还请参阅 instruction work?和 instruction do?

Answer 2

我想我已经找到了答案：

testl b,a就像计算a&b而不设置目标一样。ZF设置为a&b == 0.

换句话说，我想到的是cmp指令，这显然不同于test。