x86_64：スタック上の引数をgccに渡すようにする

Question

私はsetjmp/longjmp CPUの全体的なコンテキスト（つまり、すべてのxmm、fpuスタックなど）を保存するx86-64システム用のカスタム実装呼び出し先保存レジスタ）。これはアセンブリに直接書き込まれます。

コードは、最小限の例（アセンブリソースから直接呼び出すとき）で正常に動作します。この問題は、パラメータが自作setjmp/longjmp関数に渡される方法のために、Cコードで使用するときに発生します。実際、x64_64システム用のSysV ABIは、引数がレジスタを介して渡されるべきであると指示します（最大6の場合）。私の関数のシグネチャは以下のとおりです。もちろん

long long set_jmp(exec_context_t *env);
__attribute__ ((__noreturn__)) void long_jmp(exec_context_t *env, long long val);

、これがあるとして動作することはできません。実際、と入力すると、envとvalにポインタを保持するために、rdiとrsiが既に詰まっています。同じことがrdiに関してlong_jmpに適用されます。

GCCを強制する方法はありますか？いくつかの属性に依存することによって、引数をスタック経由で強制的に渡すことができますか？これは、set_jmpとlong_jmpをラップするよりもはるかにエレガントになります。これは、後で取り出すために、スタック上のクローンされたレジスタを手動でプッシュするものです。

Answer 1

インラインアセンブリを使用して関数を呼び出して、レジスタを上書きすることを避けることができます。

#include <stdio.h> 

static void foo(void) 
{ 
     int i; 
     asm volatile ("mov 16(%%rbp), %0" : "=g" (i)); 
     printf("%d\n", i); 
} 

#define foo(x) ({ int _i = (x); \ 
     asm ("push %0\ncall %P1\nadd $8, %%rsp\n" : : "g"(_i), "i"(foo)); }) 

int main(int argc, char *argv[]) 
{ 
     foo(argc-1); 
     return 0; 
} 

ここで、整数がスタックにプッシュされ、関数fooが呼び出されます。 fooはローカル変数iで値を使用可能にします。戻った後、スタックポインタは元の値に調整されます。