Quali registri vengono conservati tramite una chiamata di funzione Linux x86-64

Ecco la tabella completa dei registri e il loro utilizzo dalla documentazione [Link PDF]:

r12 , r13 , r14 , r15 , rbx , rsp , rbp sono i registri salvati dal chiamato - hanno un "Sì" nella colonna "Conservato attraverso le chiamate di funzione".

Approccio sperimentale:disassemblare il codice GCC

Principalmente per divertimento, ma anche per una rapida verifica di aver compreso correttamente l'ABI.

Proviamo a clobbare tutti i registri con l'inline assembly per forzare GCC a salvarli e ripristinarli:

main.c

#include <inttypes.h>

uint64_t inc(uint64_t i) {
    __asm__ __volatile__(
        ""
        : "+m" (i)
        :
        : "rax",
          "rbx",
          "rcx",
          "rdx",
          "rsi",
          "rdi",
          "rbp",
          "rsp",
          "r8",
          "r9",
          "r10",
          "r11",
          "r12",
          "r13",
          "r14",
          "r15",
          "ymm0",
          "ymm1",
          "ymm2",
          "ymm3",
          "ymm4",
          "ymm5",
          "ymm6",
          "ymm7",
          "ymm8",
          "ymm9",
          "ymm10",
          "ymm11",
          "ymm12",
          "ymm13",
          "ymm14",
          "ymm15"
    );
    return i + 1;
}

int main(int argc, char **argv) {
    (void)argv;
    return inc(argc);
}

GitHub a monte.

Compila e disassembla:

 gcc -std=gnu99 -O3 -ggdb3 -Wall -Wextra -pedantic -o main.out main.c
 objdump -d main.out

Lo smontaggio contiene:

00000000000011a0 <inc>:
    11a0:       55                      push   %rbp
    11a1:       48 89 e5                mov    %rsp,%rbp
    11a4:       41 57                   push   %r15
    11a6:       41 56                   push   %r14
    11a8:       41 55                   push   %r13
    11aa:       41 54                   push   %r12
    11ac:       53                      push   %rbx
    11ad:       48 83 ec 08             sub    $0x8,%rsp
    11b1:       48 89 7d d0             mov    %rdi,-0x30(%rbp)
    11b5:       48 8b 45 d0             mov    -0x30(%rbp),%rax
    11b9:       48 8d 65 d8             lea    -0x28(%rbp),%rsp
    11bd:       5b                      pop    %rbx
    11be:       41 5c                   pop    %r12
    11c0:       48 83 c0 01             add    $0x1,%rax
    11c4:       41 5d                   pop    %r13
    11c6:       41 5e                   pop    %r14
    11c8:       41 5f                   pop    %r15
    11ca:       5d                      pop    %rbp
    11cb:       c3                      retq   
    11cc:       0f 1f 40 00             nopl   0x0(%rax)

e quindi vediamo chiaramente che quanto segue viene spinto e spuntato:

rbx
r12
r13
r14
r15
rbp

L'unico mancante dalla specifica è rsp , ma ovviamente ci aspettiamo che lo stack venga ripristinato. Un'attenta lettura dell'assemblea conferma che si mantiene in questo caso:

• sub $0x8, %rsp :alloca 8 byte sullo stack per salvare %rdi a %rdi, -0x30(%rbp) , che viene eseguito per l'assembly inline +m vincolo
• lea -0x28(%rbp), %rsp ripristina %rsp torna a prima del sub , ovvero 5 pop dopo mov %rsp, %rbp
• ci sono 6 push e 6 pop corrispondenti
• nessun'altra istruzione tocca %rsp

Testato in Ubuntu 18.10, GCC 8.2.0.