FCOM浮点比较失败

Question

我刚刚开始使用32位汇编，我很困惑。我有以下代码：

.586
.MODEL FLAT

.STACK 4096

.DATA

.CODE
main PROC

finit
fldpi
fld1
fcom
fstsw ax
sahf
JL jumper

nop

jumper:
nop

nop
main ENDP
END

现在，据我了解，我将pi压入堆栈，然后将1压入堆栈，它应该比较pi和1并看到1较小，然后执行跳转。但是，比较似乎不起作用。有人可以帮忙吗？

Answer 1

更改JL为JB，因为您只能使用FPU标志进行无符号比较。

原因是8087在与8086相同的位置只有2个等效状态位。它们是CF和ZF。在进行带符号的比较时，处理器使用任何先前操作的OF状态并将8087繁忙状态用作符号位。

 8087:   [Busy] [ EQ ] [ Top of Stack Ptr ] [UND] [SOF] [ LT ]
                  C3                         C2     C1    C0    <-- C3..C0
 8086:   [Sign] [Zero] [ 0  ] [ AF ] [  0 ] [PF ] [ 1 ] [  C ]

FCOMx根据条件设置控制位C3，C2，C0

 C3 = EQ == equal
 C2 = Undefined == Set if ST or Mem is undefined
 C1 = Marks either Underflow or Overflow of FP Stack (If Overflow Exception == TRUE)
 C0 = True, if ST(i) < ST(1)/Mem

OTOH，将分支代码实现为

    JL:   SF != OF
    JB:   CF
    JBE:  CF | ZF
    JA:   !CF && !ZF

因此：行为上C3 / EQ ==零，C0 / LT ==进位

参考文献：装配艺术，FLAGS寄存器，条件跳转