x86_64: принудительное gcc передать аргументы в стеке

Question

Я работаю над пользовательской реализацией для систем x86-64 setjmp//longjmp, которая сохраняет весь контекст процессора (а именно, все xmm, fpu stack и т. Д. Не только регистры регистрации сбережений). Это написано непосредственно в сборке.

Код прекрасно работает в минимальных примерах (при вызове непосредственно из источника сборки). Проблема возникает при использовании ее с кодом C из-за того, как параметры передаются на домашнюю страницу setjmp/longjmp. Фактически, SysV ABI для систем x64_64 диктует, что аргументы должны передаваться через регистры (если их не более 6). Подпись моих функций:

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

Конечно, это не может работать, как есть. Фактически, когда я ввожу set_jmp, rdi и rsi уже были сбиты, чтобы сохранить указатель на env и val. То же самое относится к long_jmp по отношению к rdi.

Есть ли способ заставить 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. После возврата указатель стека возвращается обратно к исходному значению.