gcc stack optimization？

Question

私はちょうどCでコードサンプルを書いて、それを逆アセンブルしようとしました。コードサンプルは次のとおりです。

void start() { 
    char phone[100]; 
    strcmp(phone, "12312312313"); 

    char name[100]; 
    strcmp(name, "eQuiNoX"); 

    char contact[100]; 
    strcmp(contact, "PM twitter.com/eQuiNoX__"); 
} 

私はスタート機能を分解するとき、私は以下の取得： -

08048414 <start>: 
8048414: 55     push ebp 
8048415: 89 e5     mov ebp,esp 
8048417: 81 ec 58 01 00 00  sub esp,0x158 
804841d: c9     leave 
804841e: c3     ret 

1. 私は最適化のいずれかの種類を有効にしていません。誰かが、スタックに値をプッシュしてstrcmpメソッドを呼び出すアセンブリコードではなく、158をespから差し引いた理由を説明できますか？ユーザー入力に依存しないからですか？
2. また、extended assemblyを生成する方法はありますか（正しいことがわからない場合、スタックに値をプッシュするアセンブリコードとstrcmp関数の呼び出しを見たいだけです）。私はそれを行うことができる方法はありますか？
3. プロセッサアーキテクチャまたはgccのバージョンに特有のこの種の動作ですか？

Answer 1

まず、strcmpは標準ライブラリ関数なので、gccはどのように動作するかについて特別な知識は自由です。実際にはそうです。ライブラリコールを生成することはめったにありません。無効にするには​​を試すことができます。

次に、単位化された値と比較しています。これは未定義の行動だと私は信じています。したがって、コンパイラはランダムなコードを生成することを含め、それが気に入っている何かを行うことができます。

-Sオプションをgccに試すと、より詳細な逆アセンブリ（またはアセンブリの欠如）を得ることができます。あるいは、-g（デバッグ）でコンパイルすると、objdump -Sはアセンブルされたコードと共にソースを表示します。ここで

は私がgcc -fno-builtin -g -O0 test.c -cしてコンパイルし、その後objdump -S test.oとダンプの例です：

test.o:  file format elf64-x86-64 


Disassembly of section .text: 

0000000000000000 <main>: 
#include <string.h> 

int main() { 
    0: 55      push %rbp 
    1: 48 89 e5    mov %rsp,%rbp 
    4: 48 83 ec 10    sub $0x10,%rsp 
    const char foo[] = "foo"; 
    8: 8b 05 00 00 00 00  mov 0x0(%rip),%eax  # e <main+0xe> 
    e: 89 45 f0    mov %eax,-0x10(%rbp) 
    return strcmp(foo, "bar"); 
    11: 48 8d 45 f0    lea -0x10(%rbp),%rax 
    15: be 00 00 00 00   mov $0x0,%esi 
    1a: 48 89 c7    mov %rax,%rdi 
    1d: e8 00 00 00 00   callq 22 <main+0x22> 
} 
    22: c9      leaveq 
    23: c3      retq 

Answer 2

それが本当に最適化したようです。最適化が行われていないことを確認するために、-O0フラグを付けてコンパイルを試みることができます（ただし、動作するかどうかはわかりません）。コピー伴うsub esp,0x158命令について

int start() { 
    char phone[] = "43423432"; 
    return strcmp(phone, "12312312313"); 
} 

Answer 3

、というよりもpush操作の最大積載量を生成する（：

それとも、ただ、あなたが実際にそれらを使用するコンパイラを表示するために開始関数からのCMPの結果を返すことができますオペランドもスペースを確保するだけでなくスタックにも渡します）、通常、コンパイラはスタックポインタを1回だけ移動することによって、すべてのローカル変数に十分な領域を確保します。それがこの指導がやっていることです。 0x158は10進数で344なので、配列のために300バイトを予約しています。おそらく、コンパイラが生成した構造体のために余分なスペースが必要です（またはスタックにstrcmpオペランドを置くこともできます）。

Answer 4

gccはデフォルトで-O2を使用します。したがって、さらに最適化を有効にしていなくても、-O2が使用されます。 -O0を使用してすべての最適化をオフにします。

sub esp,0x158は、3つのアレイ（合計303バイト）を定義して予約したスタックメモリを解放するために344を減算します。おそらく他のものもあります。

Answer 5

1. コードがプログラムの実行に影響を与えないためです。戻り値が破棄される関数呼び出しでは、すべての変数が使用されるため、コンパイラは未使用コードとしてタグ付けし、削除する必要があると感じました。使用しないコードを保存したい場合は、-O0でコンパイルして、最適化を行わないようにしてください。

2. 上記を参照してください。

3. 私はほとんどのコンパイラがアーキテクチャとは無関係にこの最適化を実行すると思っています。