C汇编语言ATT演练？[重复]

Question

汇编代码

.file   "calc.c"
        .text
.globl calc
        .type   calc, @function
calc:
        pushl   %ebp                   #prolog
        movl    %esp, %ebp             #prolog
        movl    8(%ebp), %edx          #move %ebp +8 into %edx 
        movl    16(%ebp), %ecx         #move %ebp +16 into %ecx
        leal    (%edx,%edx,2), %edx
        movl    12(%ebp), %eax
        leal    (%edx,%eax,2), %eax
        movl    %ecx, %edx
        sall    $4, %edx
        subl    %ecx, %edx
        addl    %edx, %eax
        popl    %ebp
        ret
        .size   calc, .-calc
        .ident  "GCC: (Ubuntu 4.3.3-5ubuntu4) 4.3.3"
        .section        .note.GNU-stack,"",@progbits

C程序

#include <stdio.h>
int calc(int x, int y, int z){
    return 3*x + 2*y + 15*z;
}
int main(void) {
    int x = 2;
    int y = 6;
    int z = 11;

    int result = calc(x,y,z);

    printf("x=%d, y=%d, z=%d, result=%d\n", x,y,z,result);
    return 0;
}

有人能帮我从序言开始追踪这个问题吗。

Answer 1

我建议你先不要优化你的代码。你的优化器在和你玩游戏。如果你的系统按相反的顺序推送参数

8(%ebp) = x = edx
12(%ebp) = y = eax
16(%ebp) = z = ecx

与汇编游戏：

(%edx,%edx,2) = edx + 2 x edx = 3 x edx  (3 x X)
(%edx,%eax,2)  = edx + 2 x eax = (3 x X + 2 * y)

  movl    %ecx, %edx
  sall    $4, %edx = (16 x Z)
  subl    %ecx, %edx = 15 x Z

Answer 2

也许最好用C函数代码来解释：

int calc(int x, int y, int z){
    return 3*x + 2*y + 15*z;
}

看看参数x。它乘以3，因此在汇编代码中很容易识别：

movl    8(%ebp), %edx

....

leal    (%edx,%edx,2), %edx
movl    12(%ebp), %eax
leal    (%edx,%eax,2), %eax

它将参数x的值移动到edx中。堆栈帧中参数x的地址是ebp 8。随后，leal将edx与2*edx相加，并将值存储在edx中。这等于3*x。
然后将参数y加载到eax中，你可以很容易识别，因为y是一个32位的int，所以它比x的起始地址长4字节。
接下来，leal将edx（即3*x）与2*eax（即2*y）相加，并将结果存储在eax中，因此在eax中你有3*x2*y。
等等。。。