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

时间:2014-02-14 03:41:15

标签: string assembly compare att

我正在尝试编写一个简短的汇编程序来比较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是Intel Xeon E5-2650,我使用的是CentOS 6.5。提前谢谢!

1 个答案:

答案 0 :(得分:1)

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