x86_64: zwingen gcc, Argumente auf dem Stapel zu übergeben

Question

Ich arbeite an einer setjmp/longjmp benutzerdefinierte Implementierung für x86-64 Systeme, die den gesamten Kontext der CPU speichert (nämlich alle xmm, FPU-Stack, etc; nicht nur Callee-save-Register). Dies wird direkt in Assembly geschrieben.

Der Code funktioniert in minimalen Beispielen (wenn er direkt von einer Baugruppenquelle aufgerufen wird). Das Problem tritt auf, wenn es mit C-Code verwendet wird, aufgrund der Art und Weise, wie Parameter an die Funktionen des Homebrew setjmp/longjmp übergeben werden. Tatsächlich schreibt SysV ABI für x64_64-Systeme vor, dass Argumente über Register weitergegeben werden sollten (wenn sie höchstens 6 sind). Die Unterschrift meiner Funktionen sind:

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

Natürlich kann dies nicht wie arbeiten. In der Tat, wenn ich set_jmp eingeben, rdi und rsi wurden bereits geklopft, um einen Zeiger auf env und val zu halten. Gleiches gilt für long_jmp gegenüber rdi.

Gibt es eine Möglichkeit, GCC, z. indem man sich auf irgendein Attribut verlässt, um das Argument zu zwingen, über den Stapel zu gehen? Dies wäre viel eleganter als das Wrapping set_jmp und long_jmp mit einigen definieren, die manuell die clobbered Register auf Stapel, so dass sie später abrufen.

Answer 1

Sie können das Überschreiben der Register vermeiden, indem Sie die Funktion über Inline-Assembly aufrufen.

#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; 
} 

Hier wird eine Ganzzahl auf den Stack geschoben und die Funktion foo aufgerufen. foo stellt den Wert in seiner lokalen Variablen i zur Verfügung. Nach der Rückkehr wird der Stapelzeiger auf seinen ursprünglichen Wert zurückgesetzt.