Windows x86-64の配列としてargsをインデックスするABI

Question

Windows ABIの32ビットからx86-64のasmにラッパー関数を移植しようとしています。この関数は、引数として配列としてインデックスを付けることに依存します。

私はMSVCがX64プロジェクトでインラインアセンブリを実行できないことを知っていますが、同等の機能をX64の.asmファイルに組み込むことに興味があります。

この関数は、呼び出されるAPIのスタックフレームを設定します。

__declspec(naked) PVOID WINAPIV CGX86(FARPROC lpPtr, UINT lpSize, ...) 
{ 
    __asm { 
     push ebp; 
     mov ebp, esp; 
     lea eax, [ ebp + 0x04 ]; 
     mov [ ebp - 0x04 ], eax; 
     mov eax, [ ebp - 0x04 ]; 
     mov ecx, [ ebp + 0x0C ]; 
     add ecx, 2; 
ParseArgs: 
     cmp ecx, 2; 
     jz short MoveFinal; 
     push dword ptr [ eax + ecx * 0x04 ]; 
     sub ecx, 1; 
     jmp short ParseArgs; 
MoveFinal: 
     call [ ebp + 0x08 ]; 
     mov esp, ebp; 
     pop ebp; 
     retn; 
    } 
} 

使用例：Cでそれを書くために

CGX86((FARPROC)MessageBoxA, 4, GetForegroundWindow(), "BODY", "TITLE", MB_OK); 

Answer 1

道化師の提案は、ESP、おそらく良いものです。 argsのいくつかがコンパイル時定数である呼び出しにインライン化できる場合。あなたの使用例は、関数ポインタを含む、コンパイル時定数のargをほとんど渡します。 適切な最適化コンパイラは、これをインラインにして、正しいargsを使って間接参照を通常の関数呼び出しに最適化します。定義をインライン化できる場所に置いてください。

しかし

---

、あなたは素敵なコードにするために、コンパイラを得ることができない場合：配列は、いくつかの64ビットABIに実装する方法非自明の機能の唯一の作品であるよう

インデックス引数をargsはregsにあります。

Windows 64ビット呼び出し規約では、スタックargs（シャドウスペース）のすぐ下に4つのレジスタargsを格納するためのスペースが用意されていますので、実際にはの4つの命令それらのスロットへのargs）。最初の4つの引数を特別に扱う必要はありません。

発信argsをスタックの代わりにregsに入れて、あなたが呼び出した関数のシャドウスペースを残しておいてください。

Ross Ridgeが指摘するように、スタンドアロンasmにSEH巻き戻し情報を作成するための指示文を必ず含めてください。これは、純粋なC++ソリューションを優先するもう一つの理由です。 argの数が少数に制限されている場合

呼び出し規約などのリンクについては、x86タグwikiを参照してください。

I'm not a fan一般的にWindowsの呼び出し規約ですが、var-args関数の実装を単純化しています。私はそれがABIに「影の空間」が存在する理由だと確信しています。