如何将 ST(0) 移动到 EAX？

Question

你好，我正在学习 x86 FPU 组装，我有 有一个简单的问题，我找不到答案：

如何从 ST(0) 转移价值（FPU 的顶部 stack ) 到 EAX ?

还有：
这段代码是否正确：

; multiply (dot) two vectors of 3 floats passed by pointers as arg 1 arg 2
; passings are ok I think, but not sure if multiplies-adds are ok

    push    ebp                                     
    mov     ebp, esp                                
    mov     eax, dword [ebp+8H]                     
    mov     edx, dword [ebp+0CH]                    

    fld     qword [eax]                             
    fmul    qword [edx]                             
    fld     qword [eax+4H]                          
    fmul    qword [edx+4H]                          
    fld     qword [eax+8H]                          
    fmul    qword [edx+8H]                          
    faddp   st1, st(0)                              
    faddp   st1, st(0)                            
    fstp    qword [ebp+10H]     ; here I vould prefer 'mov eax, st0'

    pop     ebp                                   
    ret                                           

Answer 1

您没有真正的理由应该这样做。请记住，EAX 只是一个 32 位的寄存器，而所有 FPU 寄存器的宽度都是 80 位，因为 FPU 默认在 80 位浮点数上进行计算。因此，将数据从 FPU 寄存器移动到通用寄存器会导致数据丢失。如果你真的想做这样的事情，试试这个（假设你有一些可用的堆栈空间）：

sub esp, 4           ; or use space you already reserved
fstp dword [esp]
mov eax, [esp]       ; or better,  pop eax
add esp, 4

此指令序列会将当前位于 FPU 堆栈顶部的浮点数舍入为 32 位，然后将其写入临时堆栈位置，将float（binary32）位模式加载到EAX，然后清理使用的堆栈空间。

---

这几乎不是你想要的。 标准调用约定在st(0) 中返回float / double / long double 值，因此C 编译器期望double foo() 函数保留该值。 （或 xmm0 与 SSE/SSE2）。

仅当您想对 FP 位模式进行整数操作/测试时才需要它。 （即在 C 中实现类型双关语，例如从 float 到 uint32_t 的 memcpy）。例如用于 Quake 源代码中的famous but now mostly obsolete fast approximate inverse-sqrtf magic-number hack。

Answer 2

没有用于在 FPU 寄存器和 CPU 寄存器之间移动浮点值的 x87 指令。

你必须使用内存作为中介。