x86_64: buộc gcc chuyển đối số trên ngăn xếp

Question

Tôi đang thực hiện triển khai tùy chỉnh setjmp/longjmp tùy chỉnh cho hệ thống x86-64 giúp lưu toàn bộ ngữ cảnh của CPU (cụ thể là tất cả xmm, fpu stack, v.v.) callee-lưu sổ đăng ký). Điều này được viết trực tiếp trong hội đồng.

Mã hoạt động tốt trong các ví dụ tối thiểu (khi gọi trực tiếp từ nguồn lắp ráp). Vấn đề phát sinh khi sử dụng nó với mã C, do các thông số cách được truyền cho các hàm homebrew setjmp/longjmp. Trong thực tế, SysV ABI cho các hệ thống x64_64 ra lệnh rằng các đối số nên được truyền qua các thanh ghi (nếu chúng lớn nhất là 6). Chữ ký của các chức năng của tôi là:

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

Tất nhiên, điều này không thể làm việc như vậy. Thực tế, khi tôi nhập set_jmp, rdi và rsi đã bị ghi đè để giữ con trỏ đến env và val. Điều tương tự cũng áp dụng cho long_jmp đối với rdi.

Có cách nào để buộc GCC, ví dụ: bằng cách dựa vào một số thuộc tính, để buộc đối số đi qua ngăn xếp? Điều này sẽ được thanh lịch hơn nhiều so với gói set_jmp và long_jmp với một số xác định mà thủ công đẩy các thanh ghi clobbered trên ngăn xếp, để lấy chúng sau này.

Answer 1

Bạn có thể tránh ghi đè lên thanh ghi bằng cách gọi hàm bằng cách sử dụng lắp ráp nội tuyến.

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

Ở đây, một số nguyên được đẩy lên ngăn xếp và hàm foo được gọi. foo làm cho giá trị có sẵn trong biến cục bộ của nó i. Sau khi trở về, con trỏ ngăn xếp được điều chỉnh trở lại giá trị ban đầu của nó.