2

gcc -S -m32これらの特定のコード行が生成される理由がわかりません。

movl    %eax, 28(%esp)
movl    $desc, 4(%esp)
movl    28(%esp), %eax
movl    %eax, (%esp)
call    sort_gen_asm

私の質問は、なぜ%eaxプッシュされてからポップされるのですか? そして、なぜとそれぞれmovlの代わりに使用するのですか? 速いですか？まだ知らないコーディング規約はありますか? asm-output をよく見始めたばかりなので、よくわかりません。pushlpopl

C コード:

void print_array(int *data, size_t sz);
void sort_gen_asm(array_t*, comparer_t);

int main(int argc, char *argv[]) {
    FILE *file;
    array_t *array;

    file = fopen("test", "rb");
    if (file == NULL) { 
        err(EXIT_FAILURE, NULL);
    }   

    array = array_get(file);
    sort_gen_asm(array, desc); 
    print_array(array->data, array->sz);

    array_destroy(array);
    fclose(file); 

    return 0;
}

次の出力が得られます。

    .file   "main.c"
    .section    .rodata
.LC0:
    .string "rb"
.LC1:
    .string "test"
    .text
    .globl  main
    .type   main, @function
main:
.LFB2:
    .cfi_startproc
    pushl   %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    andl    $-16, %esp
    subl    $32, %esp
    movl    $.LC0, 4(%esp)
    movl    $.LC1, (%esp)
    call    fopen
    movl    %eax, 24(%esp)
    cmpl    $0, 24(%esp)
    jne .L2
    movl    $0, 4(%esp)
    movl    $1, (%esp)
    call    err
.L2:
    movl    24(%esp), %eax
    movl    %eax, (%esp)
    call    array_get
    movl    %eax, 28(%esp)
    movl    $desc, 4(%esp)
    movl    28(%esp), %eax
    movl    %eax, (%esp)
    call    sort_gen_asm
    movl    28(%esp), %eax
    movl    4(%eax), %edx
    movl    28(%esp), %eax
    movl    (%eax), %eax
    movl    %edx, 4(%esp)
    movl    %eax, (%esp)
    call    print_array
    movl    28(%esp), %eax
    movl    %eax, (%esp)
    call    array_destroy
    movl    24(%esp), %eax
    movl    %eax, (%esp)
    call    fclose
    movl    $0, %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE2:
    .size   main, .-main
    .ident  "GCC: (Ubuntu/Linaro 4.8.1-10ubuntu8) 4.8.1"
    .section    .note.GNU-stack,"",@progbits
4

2 に答える 2

6

のセーブ/ロードはeax、最適化してコンパイルしなかったためです。したがって、変数の読み取り/書き込みは、メモリアドレスの読み取り/書き込みを発行します。

実際、コードの (ほぼ) どの行についても、その結果として生じるアセンブラー コードの正確な部分を特定することができます (gcc -g -c -O0次にでコンパイルすることをお勧めしますobjdump -S file.o)。

#array = array_get(file); 
call array_get
movl    %eax, 28(%esp) #write array

#sort_gen_asm(array, desc); 
movl    28(%esp), %eax  #read array
movl    %eax, (%esp)
...

プッシュ/ポップしないことについては、標準のゼロコスト最適化です。関数を呼び出すたびにプッシュ/ポップする代わりに、esp関数の先頭に必要な最大スペースを差し引いてから、空のスペースの下部に関数の引数を保存します。多くの利点があります。より高速なコード ( を変更espしない)、特定の順序で引数を計算する必要がないesp、ローカル変数スペースのためにとにかく を減算する必要があります。

于 2013-11-07T11:54:19.597 に答える
5

いくつかのことは、呼び出し規約に関係しています。最適化されたその他。

sort_gen_asmcdecl引数を逆の順序でスタックにプッシュする必要がある呼び出し規約を使用しているようです。したがって：

movl    $desc, 4(%esp)
movl    %eax, (%esp)

他の動きは、部分的に最適化されていないコンパイラ ルーチンです。

movl    %eax, 28(%esp) # save contents of %eax on the stack before calling
movl    28(%esp), %eax # retrieve saved 28(%esp) in order to prepare it as an argument
                       # Unoptimised compiler seems to have forgotten that it's
                       # still in the register
于 2013-11-07T11:54:14.590 に答える