1

我必须翻译以下简单的 C 代码：

int add(int a, int b);

int main()
{
    int a,b;
    a = 0;
    while(a<5)
    {
        a++;
        printi(a);
        prints("\n");
    }
    return 0;
}

int add(int a, int b)
{
    char cx = 'a';
    int x = a-b;
    return x;
}

我已经制作了一个编译器，可以将它翻译成下面的 GNU x86 汇编代码。（printi 和 prints 是我在翻译后链接的库函数）。

.section    .rodata
.LC0:
    .string "\n"
    .text
    .globl  main
    .type   main, @function
main:
    pushl   %ebp
    movl    %esp, %ebp
    andl    $-16, %esp
    movl    $0, -4(%ebp)
    movl    -4(%ebp), %eax
    movl    %eax, -12(%ebp)
.L0:
    movl    $5, %eax
    movl    -4(%ebp), %edx
    cmpl    %edx, %eax
    jge .CH1
.CH0:
    movl    $1, -16(%ebp)
    jmp .CH2
.CH1:
    movl    $0, -16(%ebp)
.CH2:
    movl    $0, %eax
    cmpl    -16(%ebp), %eax
    je  .L2
    jmp .L1
.L1:
    movl    -4(%ebp), %eax
    movl    %eax, -20(%ebp)
    movl    -20(%ebp), %eax
    movl    $1, %edx
    addl    %edx, %eax
    movl    %eax, -4(%ebp)
    movl    -4(%ebp), %eax
    movl    %eax, (%esp)
    call    printi
    movl    %eax, -24(%ebp)
    movl    $.LC0, (%esp)
    call    prints
    movl    %eax, -28(%ebp)
    jmp .L0
.L2:
    movl    $0, %eax
    leave
    ret
    .size   main, .-main
    .globl  add
    .type   add, @function
add:
    pushl   %ebp
    movl    %esp, %ebp
    movb    $97, -1(%ebp)
    movl    4(%ebp), %eax
    movl    8(%ebp), %edx
    subl    %edx, %eax
    movl    %eax, -9(%ebp)
    movl    -9(%ebp), %eax
    movl    %eax, -5(%ebp)
    movl    -5(%ebp), %eax
    leave
    ret
    .size   add, .-add

但是，该程序不输出任何内容。似乎我在 while 的检查表达式的某个地方犯了一个错误。

该指令cmpl %edx, %eax应将标志设置为 0-5，即 -5。因此 jge 不应将其分支到 .CH1。因此-16(%ebp)应设置为 1，然后应进入 .CH2。当 1!=0 时，它应该进入 L1。我不知道我哪里错了。

4

1 回答 1

1

该指令cmpl %edx, %eax应将标志设置为 0-5，即 -5。j

没有。请记住，在 AT&T 语法中，操作数的顺序是source, destination. 你有eax = 5and edx = 0，所以cmpl %edx, %eax基于 5-0 设置标志，之后jge 应该跳转。

于 2014-11-09T12:13:57.953 回答