Selon l'exercice suivant : Écrire une méthode qui calcule et renvoie la somme de deux doubles donnés en paramètres.

En assembleur GAS x64 :
somme: fldl (%rcx) # Addresse du premier paramètre dans rcx faddl (%rdx) # Addresse du deuxième dans rdx fstpl 8(%rsp) # Place la somme en mémoire temporaire movq 8(%rsp),%rax # Met le résultat dans le registre de retour ret

En C :
double somme(double x, double y) { return x + y; }

Code assembleur produit par GCC (de la version C) :
movsd %xmm0, 16(%rbp) movsd %xmm1, 24(%rbp) movsd 16(%rbp), %xmm0 addsd 24(%rbp), %xmm0 movq %xmm0, %rax movq %rax, %xmm0

Pourquoi GCC utilise t-il les instructions SSE au lieu d'utiliser le floating point stack?
Quel sont les avantages à utiliser l'un ou l'autre dans ce cas ci?

mmm, je viens de relire un peu a ce sujet. En particulier [1]. Ma conclusion est que les operation de la stack floating point sont merdique pour plein de raison. Deja, sur un processeur intel, la stack est 80-bit et pas 64-bit ce qui donne des resultats "inattendus".
Ensuite, si tu utilise la stack flotante, tu sa un risque de stack overflow parcequ'il n'y a que 8 registres dans la stack. Donc pour pouvoir utiliser la stack dans une fonction, tu dois d'abors sauver l'etat de la stack en memoire, faire tes operations sur la stack et ensuite, restaurer la stack flotante dans son etat original.
Donc j'imagine qu'en fonction de comment le code est linke, le compilateur peux se passer de sauver la stack flottante si la fonction appelle n'utilise pas la stack flotante.

[1] http://csapp.cs.cmu.edu/2e/waside/waside-x87.pdf