Je ne suis pas développeur de GCC, je ne le défends même pas (si tu veux mon avis personnel: je ne comprends pas l'intérêt des asmspecs sur les variables locales vu que GCC ne les respecte en général pas, je supprimerais entièrement cette fonctionnalité si elle n'est pas implémentable de manière fiable, j'accepterais probablement le code, mais avec un warning que l'asmspec est déprécié et sera ignoré), je t'explique juste comment il fonctionne.

Et franchement, pour une fonction de ce type, il vaut mieux l'écrire entièrement en assembleur.