Cアセンブリ言語ATTウォークスルー？

Question

私は、3つの変数を乗算して加算して結果を返す単純なcプログラムを持っています。私はコードを32ビットマシンでアセンブリ言語（ATT形式）にコンパイルしました。私はアセンブリコードを習得しようとしていますが、私はいくつかの行を理解することができますが、結果がどうなるか、なぜ実現するのかなど、leal (%edx, %edx, 2), %edxのような理由を理解する助けが必要です。

アセンブリコード

.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 

で引数を推進している場合パラメータx。それは3で乗算されるので、アセンブリコードで容易に認識可能である：

movl 8(%ebp), %edx 

....

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

それはEDXに引数xの値を移動させます。スタックフレーム内の引数xのアドレスはebp + 8です。その後、lealを使用してedxを2 * edxに追加し、その値をedxに格納します。それは3 * xに等しい。
引数yをeaxにロードします。これは、yが32ビットのintであるため、xの開始アドレスから4バイト先にあるため、簡単に認識できます。
次レアルは、このようにEAXにあなたは3 * X + 2 * yを有し、2 * EAX（すなわち、2 * Y）とEDX（すなわち、3 * X）を追加し、EAXに結果を格納します。
等が...

Answer 2

あなたのコードを最適化しないことから始めることをお勧めします。オプティマイザがゲームをしています。

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

ルックで：たぶん、それは最高の心の中でCの関数コードを説明することができ

(%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