xorl %eax - IA-32 中的指令集架构

Question

我在解释这个练习时遇到了一些困难；

xorl 在这个程序集 sn-p 中究竟做了什么？

C 代码：

int i = 0;
if (i>=55)
    i++;
else
    i--;

组装

xorl ____ , %ebx
cmpl ____ , %ebx
Jel  .L2
____ %ebx
.L2:
____ %ebx
.L3:

装配部分发生了什么？

Answer 1

大概是：

xorl %ebx, %ebx

这是在 x86 上清零寄存器的常用习惯用法。这将对应于 C 代码中的i = 0。

---

如果你好奇“但是为什么？”简短的回答是xor 指令的字节数比mov $0, %ebx 少。 The long answer includes other subtle reasons.

我将省略剩下的练习，因为没有任何特殊之处。

Answer 2

这是与您的 C 代码等效的已完成和注释的程序集：

xorl %ebx , %ebx    ; i = 0
cmpl $54, %ebx
jle  .L2            ; if (i <= 54) jump to .L2, otherwise continue with the next instruction (so if i>54... which equals >=55 like in your C code)
addl $2, %ebx         ; >54 (or: >=55)
.L2:
decl %ebx            ; <=54 (or <55, the else-branch of your if) Note: This code also gets executed if i >= 55, hence why we need +2 above so we only get +1 total
.L3:

因此，这些是对所有数字 >=55 执行的（算术）指令：

addl $2, %ebx
decl %ebx

所以对于 >=55 的数字，这等于递增。以下（算术）指令对

decl %ebx

我们跳过addl $2, %ebx 指令，所以对于数字

如果您不允许在一个空格中输入 addl $2,（因为它不仅是指令而且是参数），那么您给出的 asm 代码中可能有错误（缺少行之间的跳转） 4 和 5 到 .L3)。

---

另请注意，jel 显然是问题中jle 的拼写错误。

Answer 3

XORL 用于将寄存器初始化为零，主要用于计数器。 ccKep 的代码是正确的，只是他增加了一个错误的值，即。 2 而不是 1。因此正确的版本是：

xorl %ebx , %ebx     # i = 0
cmpl $54, %ebx      # compare the two
jle  .L2           #if (i <= 54) jump to .L2, otherwise continue with   the next instruction (so if i>54... which equals >=55 like in your C code)

incl %ebx         #i++
jmp .DONE        # jump to exit position

.L2:
decl %ebx      # <=54 (or <55

.DONE: