関数のプロローグとエピローグ

アセンブリ言語 プログラミングでは、関数のプロローグは関数の先頭にある数行のコードであり、関数内で使用するためにスタックとレジスタを準備します。同様に、関数のエピローグは関数の最後に表示され、スタックとレジスタを関数が呼び出される前の状態に復元します。

プロローグとエピローグはアセンブリ言語自体の一部ではありません。アセンブリ言語プログラマや多くの高級言語のコンパイラが使用する規則を表しています。これらはかなり厳格で、各関数で同じ形式になっています。

関数のプロローグとエピローグには、バッファ オーバーフロー保護用のコードが含まれることもあります。

アーキテクチャにベース ポインター (フレーム ポインターとも呼ばれる) とスタック ポインターがある場合、関数プロローグは通常、次のアクションを実行します。

• 現在のベース ポインターをスタックにプッシュして、後で復元できるようにします。
• ベース ポインターの値はスタック ポインター (スタックの先頭を指す) のアドレスに設定され、ベース ポインターがスタックの先頭を指すようになります。
• スタックが増加するか減少するかに応じて、スタック ポインターの値を減らすか増やして、スタック ポインターをさらに移動します。x86 では、関数のローカル変数のためのスペースを確保するためにスタック ポインターが減少します。

いくつかの可能なプロローグを記述することができ、その結果、スタック構成がわずかに異なります。プログラマーまたはコンパイラーが関数内でスタックを正しく使用している限り、これらの違いは許容されます。

例として、GCCによって生成された典型的なx86アセンブリ言語関数のプロローグを示します。

	プッシュebp移動ebp 、espサブesp 、N 
		 
		 

N即値は、ローカル使用のためにスタック上に予約されているバイト数です。

以下の命令を使用することで同じ結果を得ることができますenter:

	N 、0を入力	 

命令の 2 番目のオペランドに異なる値 (0 以外) を使用すると、より複雑なプロローグを取得できます。これらのプロローグは、 Pascalなどの言語で必要なネストされた関数enterを可能にするために、いくつかのベース/フレーム ポインターをプッシュします。ただし、これらの言語の最新バージョンでは、ネストの深さが制限される場合があるため、これらの命令は使用されません。^{[引用が必要]}

関数エピローグは、関数プロローグのアクションを逆転させ、呼び出し元の関数に制御を返します。通常、次のアクションを実行します (この手順はアーキテクチャによって異なる場合があります)。

• スタック ポインターを現在のベース ポインターにドロップして、プロローグでローカル変数用に予約されている領域を解放します。
• ベース ポインターをスタックからポップし、プロローグ前の値に復元します。
• 前のフレームのプログラム カウンターをスタックからポップしてそこにジャンプすることで、呼び出し元の関数に戻ります。

指定されたエピローグは、上記のいずれかのプロローグ (完全なもの、または を使用するものenter) の効果を逆転させます。特定の呼び出し規約では、スタックから引数を消去するのは呼び出し先の責任であるため、エピローグにはスタック ポインタを下または上に移動する手順も含めることができます。

たとえば、これらの 3 つのステップは、次の命令によって 32 ビット x86 アセンブリ言語で実行できます。

	移動esp 、ebpポップebp ret	 
		
	

プロローグと同様に、x86プロセッサにはエピローグの一部を実行する組み込み命令が含まれています。次のコードは上記のコードと同等です。

	去る
​	

命令は、上で概説したように、および命令leaveを実行します。 movpop

関数には複数のエピローグが含まれる場合があります。すべての関数の終了ポイントは、最後に共通のエピローグにジャンプするか、独自のエピローグを含む必要があります。したがって、プログラマーやコンパイラーは、関数を任意の時点で終了するためにleave、 との組み合わせを使用することがよくありますret。(たとえば、Cコンパイラーはステートメントを/シーケンスreturnに置き換えます)。 leaveret

• de Boyne Pollard、Jonathan (2010)。「関数の周縁部に関する gen」。よくある質問。