W trybie 64 bitowym parametry są przekazywane w pierwszej kolejności nie przez stos ale przez rejestry. Znacznie przyspiesza to wywołanie funkcji.

Przykładowo dla funkcji

 int suma(int a, int b);

Program w C
Moduł w assemblerze

• pierwsze sześć argumentów, które są liczbami całkowitymi lub wskaźnikami (w kolejności od lewej do prawej) są umieszczane kolejno w rejestrach

  RDI, RSI, RDX, RCX, R8, R9

• Agumenty zmiennoprzecinkowe (poza long double) są umieszczane w rejestrach SSE:

  XMM0, XMM1, ..., XMM7

• Rejestr RAX powinien zawierać liczbę liczb zmiennoprzecinkowych umieszczonych w SSE
• Pozostałe argumenty są umieszczane na stosie w kolejności od prawej do lewej.
• Funkcja musi zachowywać wartość rejestrów:

  RBX, RBP, RSP, R12, R13, R14, R15

• Pozostałe rejestry (w tym zmiennoprzecinkowe) mogą być dowolnie modyfikowane,
• Wynik jest umieszczany w
  • RAX, RDX - całkowitoliczbowy, wskaźnik
  • XMM0,XMM1 - zmiennoprzecinkowy
  • ST0,ST1 - long double
  • pamięci pod adresem wskazanym przez RDI jeżeli zwraca się typ złożony.

int f(int      a, 
      double   b, 
      double   c, 
      int      d,
      float    e,
 long double   f,
      char     g,
      long     h,
      int *    i,
      double * j,
      int      k,
      char     l);

RDI
XMM0
XMM1
RSI
XMM2
stos
RDX
RCX
R8
R9
stos
stos

Uwaga: Jeżeli przesyłamy przez wartość prostą strukturę to jest ona też umieszczana w rejestrach.

typedef struct {
  int a;
  int b;
} Dane;
 
extern int suma(Dane);
...
Dane dane;
int c = suma(dane);

W rejestrze RDI zostanie przesłana cała struktura dane. W starszych 4 bajtach bedzie dane.a, a w młodszych dane.b.

Wynik zwracamy w RAX

Program w C
Moduł w assemblerze

Jeżeli zwracamy przez wartość prostą strukturę to jeżeli zmieści się ona w rejestrach RAX,RDX,XMM0,XMM1 to tam należy ją umieścić.

Uwaga: musi to już być program C++ bo czyste C nie pozwala zwracać struktur z funkcji.

typedef struct {
  int a;
  int b;
} Dane;
 
extern "C" Dane suma(Dane);
...
Dane dane;
Dane c = suma(dane);

W rejestrze RDI zostanie przesłana cała struktura dane. W starszych 4 bajtach bedzie dane.a, a w młodszych dane.b.

Wynik zwracamy w RAX

Program w C
Moduł w assemblerze

Jeżeli zwracamy przez wartość dużą strukturę i nie zmieści się ona w rejestrach RAX,RDX,XMM0,XMM1 to do funkcji w RDI zostanie przesłany adres gdzie należy umieścić wynik.

typedef struct {
  int a, b, c, d, e;
} Dane;
 
extern "C" Dane suma(int, int);
...
Dane c = suma(4, 5);

W rejestrze RDI zostanie przesłany adres zmiennej c.
W RSI będzie wartość 4, a w RDX wartość 5.

Wynik wpisujemy bezpośrednio do zmiennej c, a w RAX zwracamy adres zmiennej c

Program w C
Moduł w assemblerze