Попытка распечатать число с плавающей запятой из регистра st0.
В настоящее время я должен передать значение через регистр xmm0, а затем вызвать функцию c printf.
есть ли способ передать значениеиз реестра st0 прямо в printf?
x86-64 ABI требует , чтобы вы использовали регистры XMM для передачи значений с плавающей запятой, поэтому, если вы не напишите пользовательский printf, который использует ваш собственный ABI (соглашение о вызовах)), действительно нет никакого способа обойти это.
printf