前回は，関数（※1）が呼ばれた際に，関数内での局所的な情報をどのように管理するかについて説明しました。

今回は，関数呼び出しにおける連携方法について説明しようと思います。

※1）

前回同様今回も，「⁠サブルーチン」（⁠sub-routine⁠）⁠／「⁠手続き」（⁠procedure）などをまとめて「関数」（⁠function）と呼びます。

引数と戻り値

引数

関数の呼び出し元は，さまざまな形式で引数を指定します。たとえば，

• 自身の局所変数の値
• 自身に指定された引数
• 他の関数の呼び出し結果
• 上記の値から導出された値（例: 四則演算／構造体参照等）

一方で（一般的な）言語仕様上から見て，呼び出された側にとっての引数は，関数終了まで領域が保持されている＝終了後は必要ない，という点では局所変数と実質的に差異がありません。

そのため，Intel x86アーキテクチャで関数呼び出しを実現する場合，呼び出し元は引数をスタック上に格納します。

    movl    $1, 0(%esp)
    movl    $15, 4(%esp)

呼び出し先の関数は，スタック上の引数をEBPレジスタ相対の間接アドレッシングで参照します。

    movl    8(%ebp), %eax   # eax には 1 が格納
    movl    12(%ebp), %eax  # eax には 15 が格納

格納時のESPレジスタに対する即値指定と，参照時のEBPレジスタに対するそれが異なるのは，

• 関数復帰の際の呼び出し元アドレス格納領域（+4）
• 旧EBP値の格納領域（+4）

上記の分だけスタック上に領域が確保されているためです。

関数が呼び出された際のスタックは以下のような構成となっています。

戻り値

関数引数が複数の値を扱う必要があったのに対して，戻り値は単一の値を扱うだけです。

Intel x86アーキテクチャで関数呼び出しを実現する場合，関数の返却値がEAXレジスタに格納された状態で呼び出し元に復帰します。

    movl    $1, %eax  # 戻り値は 1
    leave
    ret