如果没有 CMP，JE 指令如何工作？

Question

.L10:
    leal    (%rsi,%rsi,4), %edx
    movsbl  %al,%eax
    addq    $1, %rdi
    leal    -48(%rax,%rdx,2), %esi
    je  .L3

上面的 je 前面没有 cmp。这里是如何运作的？

Answer 1

• je 将跳转为 ZF = 1。
• add 修改 ZF。
• lea、movsb 不影响任何标志。

保留 Intel 64 和 IA32 架构开发人员手册在手。您可以在 手册第 2 卷

Answer 2

如果 EFLAGS 寄存器中设置了 ZF 标志，则 je 跳转。 ZF 标志的值由之前修改它的操作（例如 cmp）设置。

由于 lea 和 movsbl 都不会修改 ZF 标志，但 add 会修改（比较 英特尔开发人员手册，3-36），当$1 + %rdi为零时，je跳转到.L3。

Answer 3

前面的指令设置处理器状态标志。每个条件跳转都会检查某个标志，即使 cmp 未执行。我相信如果设置了零标志，je就会执行。