基本FPU指令/堆栈概述？

Question

我正在尝试对x86上的浮点运算有一个基本的了解。我知道我们有一个带有堆栈的专用FPU，但我找不到太多关于堆栈在不同指令下如何工作的相关信息。

基本上，fpu寄存器的寻址让我感到困惑。如果我指的是st(#)，我说的是特定的寄存器吗？或者它是堆栈顶部的偏移量？

我想我的大多数问题都可以通过这个例子来回答：

如果我有一个空的FPU堆栈，并运行：

fld x
fld y
fmul st, st(1)

结果会是：

ST(0) = y * x
ST(1) = x

或者：

ST(0) = x * y
ST(1) = y

请注意，它们之间的差异是ST(1)中的值。

Answer 1

这是从顶部开始的偏移量。加载将现有项进一步推送到堆栈中，top使它们移回更靠近顶部的位置。下面是你的小程序执行时的样子：

                   ST(0)      ST(1)
<start>            ---         ---
fld x               x          ---
fld y               y           x
fmul st(0), st(1)  y*x          x

This reference很好地解释了这一切。

Answer 2

英特尔开发人员手册将是了解特定fpu指令如何工作(以及fpu本身是如何工作的)的最佳位置。在您的示例中，首先加载x，将其放在st(0)，当您加载y时，st(0)被下推到st(1)，y被放入st(0)。当你fmul时，st(0)变成y* x，st(1)保持x。它基本上是一个FILO堆栈(有环绕和其他一些特殊功能)。