Passage de paramètres
Mise à jour : novembre 2007
Les quatre premiers arguments entiers sont passés dans des registres. Les valeurs entières sont passées (par ordre de gauche à droite) dans RCX, RDX, R8 et R9. Le quatrième argument et les suivants sont passés sur la pile. Tous les arguments sont justifiés à droite dans les registres. De cette manière, l'appelé peut éventuellement ignorer les bits supérieurs du registre et accéder uniquement à la partie du registre nécessaire.
Les arguments à virgule flottante et en double précision sont passés dans XMM0 - XMM3 (4 maximum) avec l'emplacement de l'entier (RCX, RDX, R8 et R9) qui serait normalement utilisé pour cet emplacement de cardinal ignoré (voir l'exemple), et inversement.
Les types, tableaux et chaînes __m128 ne sont jamais passés par valeur immédiate. Un pointeur est plutôt passé à la mémoire allouée par l'appelant. Les structures/unions d'une taille de 8, 16, 32 ou 64 bits et __m64 sont passées comme s'il s'agissait d'entiers de la même taille. Les structures/unions d'une autre taille sont passées comme pointeur vers la mémoire allouée par l'appelant. Pour ces types d'agrégats passés en tant que pointeur (notamment __m128), la mémoire temporaire allouée par l'appelant est alignée sur 16 octets.
Les fonctions intrinsèques qui n'allouent pas d'espace de pile et n'appellent pas d'autres fonctions peuvent utiliser d'autres registres volatils pour passer des arguments de registre supplémentaires, car il existe une liaison étroite entre le compilateur et l'implémentation de la fonction intrinsèque. Il s'agit là d'une autre possibilité d'améliorer les performances.
L'appelé est chargé de vider les paramètres de registre le cas échéant dans leur espace d'ombrage.
Le tableau suivant résume la manière dont les paramètres sont passés :
Type de paramètre |
Mode de passage |
|---|---|
Virgule flottante |
4 premiers paramètres (XMM0 à XMM3). Les autres sont passés sur la pile. |
Entier |
4 premiers paramètres (RCX, RDX, R8, R9). Les autres sont passés sur la pile. |
Agrégats (8, 16, 32 ou 64 bits) et __m64 |
4 premiers paramètres (RCX, RDX, R8, R9). Les autres sont passés sur la pile. |
Agrégats (autres) |
Par pointeur. Les 4 premiers paramètres sont passés comme pointeurs dans RCX, RDX, R8 et R9 |
__m128 |
Par pointeur. Les 4 premiers paramètres sont passés comme pointeurs dans RCX, RDX, R8 et R9 |
Exemple d'argument qui passe 1 (tous les entiers)
func1(int a, int b, int c, int d, int e);
// a in RCX, b in RDX, c in R8, d in R9, e pushed on stack
Exemple d'argument qui passe 2 (toutes les valeurs float)
func2(float a, double b, float c, double d, float e);
// a in XMM0, b in XMM1, c in XMM2, d in XMM3, e pushed on stack
Exemple d'argument qui passe 3 (à la fois les valeurs int et les valeurs float)
func3(int a, double b, int c, float d);
// a in RCX, b in XMM1, c in R8, d in XMM3
Exemple d'argument qui passe 4 (__m64, __m128 et agrégats)
func4(__m64 a, _m128 b, struct c, float d);
// a in RCX, ptr to b in RDX, ptr to c in R8, d in XMM3