C/C++ の呼び出し規約

Windows® の呼び出し規約

次の表は、Windows® でサポートされている呼び出し規約をまとめたものです。

呼び出し規約	コンパイラー・オプション	説明
`__cdecl`	/Gd	C/C++ プログラムのデフォルトの呼び出し規約。変数引数を使用する関数で指定できます。
`__clrcall`	none	関数がマネージドコードからのみ呼び出されるように指定する呼び出し規約です。
`__stdcall`	/Gz	Win32 API 関数に使用される標準呼び出し規約です。
`__fastcall`	/Gr	引数がスタックではなく、レジスターで渡されるように指定する高速な呼び出し規約です。
`__regcall`	/Qregcall。宣言で別の呼び出し規約が指定されない限り、コンパイル時に `__regcall` が関数のデフォルトの呼び出し規約であることを指定します。	インテル® C++ コンパイラーの呼び出し規約で、レジスターでできる限り多くの引数を渡せるように指定します。同様に、`__regcall` は値を返す際、可能な限りレジスターを使用します。この呼び出し規約は、変数引数を使用する関数で指定された場合は無視されます。
`__thiscall`	none	変数引数を使用しない C++ メンバー関数により使用されるデフォルトの呼び出し規約です。
`__vectorcall`	/Gv	ベクトル引数を渡す関数がベクトルレジスターを使用するように指定する呼び出し規約です。注 IA-32 アーキテクチャーにのみ適用されます。

Linux* と OS X* の呼び出し規約

次の表は、Linux* と OS X* でサポートされている呼び出し規約をまとめたものです。

呼び出し規約	コンパイラー・オプション	説明
`__attribute((cdecl))`	none	C/C++ プログラムのデフォルトの呼び出し規約。変数引数を使用する関数で指定できます。
`__attribute((stdcall))`	none	引数がスタックで渡されるように指定する呼び出し規約です。変数引数を使用する関数では指定できません。
`__attribute((regparm (number)))`	none	IA-32 アーキテクチャー・ベースのシステムでは regparm 属性により、コンパイラーは最大 number で指定される個数の引数をスタックではなく、`EAX`、`EDX`、`ECX` レジスターで渡します。可変長引数をとる関数は、引き続きスタック上ですべての引数を渡します。
`__attribute__((regcall))`	-regcall。宣言で別の呼び出し規約が指定されない限り、コンパイル時に `__regcall` が関数のデフォルトの呼び出し規約であることを指定します。	インテル® C++ コンパイラーの呼び出し規約で、レジスターでできる限り多くの引数を渡せるように指定します。同様に、`__regcall` は値を返す際、可能な限りレジスターを使用します。この呼び出し規約は、変数引数を使用する関数で指定された場合は無視されます。

__regcall 呼び出し規則

__regcall 呼び出し規約はインテル® C++ コンパイラー特有のものです。次の点に注意してください。

__regcall を使用するには、関数の宣言の前にキーワードを配置してください。次に例を示します。

例
__regcall int foo (int i, int j);
// Linux* および OS X* __attribute__((regcall)) foo (int I, int j);

利用可能な __regcall レジスター

__regcall のすべてのレジスターは、コンパイラーにより予約されているレジスターを除き、引数の引き渡し/値の返しに使用できます。次の表は、コンパイルのデフォルト ABI に応じた各レジスタークラスで利用可能なレジスターです。レジスターは表にリストされた順番で使用されます。

レジスタークラス/アーキテクチャー	IA-32 アーキテクチャー	インテル® 64 アーキテクチャー
`GPR` (注 1 を参照)	EAX、ECX、EDX、EDI、ESI	RAX、RCX、RDX、RDI、RSI、R8、R9、R10、R11、R12、R14、R15
`FP`	ST0	ST0
`MMX`	なし	なし
`XMM`	XMM0 - XMM7	XMM0 - XMM15
`YMM`	YMM0 - YMM7	YMM0 - YMM15
`ZMM`	ZMM0 - ZMM7	ZMM0 - YMM15

__regcall データ型の分類

__regcall の引数や戻り値はデータ型に基づいて分類され、次の表にあるように、そのクラスのレジスターで渡されます。

型 (符号なし/符号付きの両方の型)	IA-32 アーキテクチャー	インテル® 64 アーキテクチャー
bool、char、int、enum、_Decimal32、long、pointer	`GPR`	`GPR`
short, __mmask{8,16,32,64}	`GPR`	`GPR`
long long、__int64	注 3 を参照してください。また、「構造体の分類規則」も参照してください。	`GPR`
_Decimal64	`XMM`	`GPR`
long double	`FP`	`FP`
float、double、float128、_Decimal128	`XMM`	`XMM`
__m128、__m128i、__m128d	`XMM`	`XMM`
__m256、__m256i、__m256d	`YMM`	`YMM`
__m512、__m512i、__m512d	`ZMM`	`ZMM`
complex type、struct、union	「構造体の分類規則」を参照してください。	「構造体の分類規則」を参照してください。
注構造体には、`GPR` クラスの分類が使用されます。
注 IA-32 アーキテクチャー・ベースのシステムでは、これらの 64 ビット整数型 (long long, __int64) は、2 つの 32 ビット整数フィールドから成る構造体として実装されているかのように、`GPR` クラスに分類され、2 個のレジスターで渡されます。

関連クラスのレジスターよりもレジスターのサイズが小さい型は、下位のレジスターで渡されます。例えば、float は XMM レジスターの下位 4 バイトで渡されます。

__regcall 構造体の分類規則

構造体/共用体および複素数型は、次の例外を除いて x86_64 ABI と同じように分類されます。

構造体の全体のサイズの制限はありません。
基本型のレジスタークラスは「データ型の分類」を参照してください。
IA-32 アーキテクチャー・ベース・システムの場合、4 バイトで分類されます。その他のアーキテクチャー・ベース・システムの場合、8 バイトで分類されます。

レジスターまたはスタックへの __regcall の配置

「データ型の分類」と「構造体の分類規則」で説明されている分類の後、__regcall 引数と戻り値は利用可能なレジスターで指定されたレジスターに配置されるか、または次の説明に従ってメモリーに配置されます。

データ型の値の各チャンク (インテル® 64 アーキテクチャー・ベースのシステムの場合は 8 バイト、IA-32 アーキテクチャー・ベースのシステムの場合は 4 バイト) にレジスタークラスが割り当てられます。利用可能なレジスターからレジスターを十分利用できる場合には、値全体がレジスターに渡されます。そうでない場合は、値はスタックを使用して渡されます。
1 つまたは複数のレジスタークラスが使用される場合、利用可能なレジスターの表のこれらのクラスのレジスターが表の順番のとおりに使用されます。
必要なレジスタークラスのいずれかで利用可能なレジスターがない場合は、値全体がスタックに配置されます。

値を保持する __regcall レジスター

次のレジスターは、引数渡しや値の戻しで使用されない限り、__regcall 呼び出し間でその値を保持します。

レジスタークラス/ABI	IA-32 アーキテクチャー	インテル® 64 アーキテクチャー
`GPR`	ESI、EDI、EBX、EBP、ESP	Windows®: R10 - R15、RBX、RBP、RSP Linux*: R12 - R15、RBX、RBP、RSP
`FP`	なし	なし
`MMX`	なし	なし
`XMM`	XMM4 - XMM7	XMM8 - XMM15
`YMM`	XMM4 - XMM7	XMM8 - XMM15
`ZMM`	XMM4 - XMM7	XMM8 - XMM15

その他のレジスターでは、この呼び出しで値は保持されません。

__regcall の修飾

__regcall とともに使用される関数名には修飾子が付きます。従来のマングル化が発生する前に __regcall<n>__ が先頭に追加されます。例えば、foo 関数には、__regcall3__foo のような修飾子が付きます。これにより、異なる呼び出し規約に従う名前に不適切にリンクされないようにすると同時に、foo であらゆる操作 (デバッガーへのブレークポイントの設定など) を行うことができます。修飾子の <n> 部分は、有効な _regcall のバージョンを示します (現在のリビジョン番号は 3 です)。