为什么推送和打印寄存器中的值会影响以后将该寄存器与另一个寄存器进行比较

Question

我正在尝试编写一个简短的汇编程序来比较 2 个字符串。我正在使用 AT&T 语法并用 GCC 和 -M32 标志组装我的程序。

当我运行代码时，我总是在出现提示时输入"矩形"。

我编写了以下代码。带有可疑的代码块（包含在注释中）活动，如果我在提示时输入"矩形"，程序不会打印"您输入矩形"。事实上，程序在第一次迭代时就跳出了循环。如果我注释掉上述代码块，程序确实会打印"您输入矩形"。从此代码块只打印 %eax 和 %ebx 中的值，为什么会影响跳转条件？

.section .data
format:
    .asciz "%s"
test_str:
    .asciz "n%c%c"
equal_str:
    .asciz "You entered rectangle"
rectangle:
    .asciz "rectangle"
.section .bss
.lcomm element, 100
.section .text
.globl main
main:
    pushl $element
    pushl $format
    call scanf
    addl $8, %esp
    movl $0, %edi
    loop:
    movb element(,%edi,1), %al
    movb rectangle(,%edi,1), %bl
    #BEGIN QUESTIONABLE BLOCK
    pushl %eax
    pushl %ebx
    pushl $test_str
    call printf
    addl $8, %esp
    #END QUESTIONABLE BLOCK
    cmpb %al, %bl
    jne end
    incl %edi
    cmpb $0, %al
    jne loop
pushl $equal_str
call printf
addl $4, %esp
jmp end
end:
    call exit

我想以下信息都不重要，但我真的不知道什么会影响组装，所以我的 CPU 是英特尔至强 E5-2650，我使用的是 CentOS 6.5。提前感谢！

Answer 1

printf以%eax返回结果，从而破坏你的角色。你做：addl $8, %esp .这还不够 - 您已经推送了三个参数。碰巧的是，这会将您的旧%eax留在堆栈上，popl %eax可能会解决您的问题。