37 lines
3.0 KiB
Markdown
37 lines
3.0 KiB
Markdown
## System V AMD64 ABI (cdecl): шпаргалка
|
||
|
||
Кратко о соглашении вызова для x86-64 в Unix-подобных ОС (Linux, macOS, BSD) по ABI System V.
|
||
|
||
### Быстрые правила
|
||
- Аргументы (целые/указатели): RDI, RSI, RDX, RCX, R8, R9; остальные — на стек (справа налево).
|
||
- Аргументы с плавающей точкой/векторы: XMM0–XMM7; остальные — на стек.
|
||
- Возврат значения: целые/указатели — RAX (до 128 бит: RAX/RDX); float/double — XMM0 (до двух — XMM0/XMM1).
|
||
- Перед call: RSP должен быть выровнен по 16 байт. Внутри функции на входе RSP % 16 == 8 (из-за return address).
|
||
- Red zone: 128 байт под RSP доступны leaf-функциям; не трогается ОС и обработчиками сигналов.
|
||
- Нет «shadow space» (он есть только в Windows x64 ABI).
|
||
|
||
### Сохранность регистров
|
||
- Caller-saved (clobbered): RAX, RCX, RDX, RSI, RDI, R8–R11, XMM0–XMM15, флаги RFLAGS.
|
||
- Callee-saved (надо сохранять и восстанавливать в функции): RBX, RSP, RBP, R12–R15.
|
||
|
||
### Порядок передачи аргументов
|
||
#### Для call
|
||
- 1–6-й целочисленные/указательные: RDI, RSI, RDX, RCX, R8, R9.
|
||
- Вещественные/векторные: XMM0–XMM7 (независимо от целочисленных).
|
||
- 7-й и далее, а также переполнение по типам — через стек. Компиляторы обычно размещают их с выравниванием по 8/16.
|
||
|
||
### Вариативные функции (printf и т.п.)
|
||
- Перед вызовом variadic-функции младший байт RAX (AL) содержит число использованных XMM-регистров для передачи аргументов с плавающей точкой (0, если их нет).
|
||
|
||
### Структуры и большие значения
|
||
- Небольшие структуры (до 16 байт) могут возвращаться через регистры (классы INTEGER/SSE распределяются по RAX/RDX или XMM0/XMM1).
|
||
- Большие структуры возвращаются через скрытый указатель: вызывающий передаёт адрес буфера (sret), а функция заполняет его.
|
||
|
||
### Памятка при написании кода
|
||
- До call: выровняй стек (RSP%16==0), подготовь регистры аргументов, AL для varargs.
|
||
- После call: результат смотри в RAX/XMM0; считай, что caller-saved испорчены — сохрани важное заранее.
|
||
- В своей функции сохраняй/восстанавливай RBX, RSP, RBP, R12–R15.
|
||
|
||
|
||
|