Vesta
中文
源代码

FDIV, FDIVP, FIDIV

除号

stableVMJITAOTinstruction

编码

操作码指令Op/En64 位兼容/传统说明
D8 /6FDIV m32fp有效有效除以 ST( 0) m32fp, 存储结果为 ST( 0) 。
DC /6FDIV m64fp有效有效除以 ST( 0) m64fp, 存储结果为 ST( 0) 。
D8 F0+iFDIV ST(0), ST(i)有效有效由ST(i)除以ST(0),存储结果为ST(0).
DC F8+iFDIV ST(i), ST(0)有效有效由ST(0)除以ST(i),存储结果为ST(i).
DE F8+iFDIVP ST(i), ST(0)有效有效由 ST( 0) 分割 ST( i) , 存储结果为 ST( i), 并弹出寄存器堆栈 。
DE F9FDIVP有效有效以 ST( 0) 除以 ST(1) , 存储结果为 ST(1), 然后弹出寄存器堆栈 。
DA /6FIDIV m32int有效有效除以 ST( 0) m32int 并存储结果为 ST( 0) 。
DE /6FIDIV m16int有效有效除以 ST( 0) m16int 并存储结果为 ST( 0) 。

实测开销

正在从 arch-data 加载实测数据...

说明

将 目标操作数 除以 源操作数 并将结果存储在目的地位置. 目标操作数(dividend)总是在FPU的登记册中;源操作数(divisor)可以是注册或内存位置. 内存中的源操作数可以是单精度或双精度浮点格式,单词或双词整数格式.

无操作数版本的指令将ST(1)注册的内容除以ST(0)注册的内容. One-操作数版本将ST(0)寄存器的内容除以一个内存位置的内容(要么是一个浮点,要么是一个整数). 双操作数版本,将ST(0)注册的内容除以ST(i)注册的内容或反之.

FDIVP指令在存储结果后执行附加操作,将FPU寄存堆栈弹出. 要弹出寄存器堆栈,处理器将ST(0)寄存器标记为空,并将 栈指针 (TOP) 递增为 1 。 无操作数版本的浮点分割指令总是导致寄存器堆栈被弹出. 在一些组装器中,这个指令的元音是FDIV,而不是FDIVP.

FIDIV指令在进行分割前将整数源操作数转换成双倍扩展精度浮点格式. 源操作数为整数0时,作为+0处理.

如果生成一个未显示的除零例外(#Z),则不存储结果;如果该例外被掩盖,则将一个合适的符号存储在目标操作数中.

下表显示在划分各类数字时获得的结果,假设既不出现溢出,也不出现流量不足。

FDIV/FDIVP/FIDIV 结果

-*+0+0-0-0*纳恩
-F++F+0-0-F-纳恩
-I++F+0-0-F-纳恩
-0+******-纳恩
+0-******+纳恩
+I--F-0+0+F+纳恩
+F--F-0+0+F+纳恩
+*-0-0+0+0*纳恩
纳恩纳恩纳恩纳恩纳恩纳恩纳恩纳恩

行动

IF SRC = 0

    THEN
          #Z;

    ELSE
          IF Instruction is FIDIV
                THEN
                      DEST := DEST / ConvertToDoubleExtendedPrecisionFP(SRC);
                ELSE (* Source operand is floating-point value *)
                      DEST := DEST / SRC;
          FI;

FI;

IF Instruction = FDIVP

    THEN
          PopRegisterStack;

FI;

FPU Flags Affected

C1                        Set to 0 if stack underflow occurred.

                          Set if result was rounded up; cleared otherwise.

C0, C2, C3                Undefined.

浮点 例外

#IS                       Stack underflow occurred.
#IA                       Operand is an SNaN value or unsupported format.

+/- / +/-; +/-0 / +/-0

#D                        Source is a denormal value.
#Z                        DEST / +/-0, where DEST is not equal to +/-0.
#U                        Result is too small for destination format.
#O                        Result is too large for destination format.
#P                        Value cannot be represented exactly in destination format.

异常

保护模式
#GP(0)如果 内存操作数 的有效地址位于 CS,DS,ES,FS 或 GS 区段限制之外,如果 DS,ES,FS,或 GS 注册簿中包含 NULL 段选择子.
#SS(0)如果 内存操作数 的有效地址在 SS 段限制之外。
#NMCR0.EM[bit 2]或CR0.TS[bit 3] = 1. #PF(fault-code) 如果发生页面错误.
#AC(0)如果启用了对齐检查,并且在当前特权级别为3时会给出不对齐的内存引用.
#UD如果使用 LOCK 前缀 。
实地址模式
#GP如果内存操作数的有效地址在CS,DS,ES,FS或GS段限制之外.
#SS如果 内存操作数 的有效地址在 SS 段限制之外。
#NMCR0.EM[bit 2] 或 CR0.TS[bit 3] = 1.
#UD如果使用 LOCK 前缀 。
虚拟 8086 模式
#GP(0)如果内存操作数的有效地址在CS,DS,ES,FS或GS段限制之外.
#SS(0)如果 内存操作数 的有效地址在 SS 段限制之外。
#NMCR0.EM[bit 2]或CR0.TS[bit 3] = 1. #PF(fault-code) 如果发生页面错误.
#AC(0)如果启用对齐检查, 并使用不对齐的内存引用 。
#UD如果使用 LOCK 前缀 。
兼容模式
与保护模式中的例外相同.
64 位模式
#SS(0)如果引用SS部分的内存地址是非冠状的.
#GP(0)如果内存地址是非冠状的.
#NMCR0.EM[bit 2] 或 CR0.TS[bit 3] = 1.
#MF如果存在待决的x87 FPU例外. #PF(fault-code) 如果发生 页面错误.
#AC(0)如果启用了对齐检查,并且在当前特权级别为3时会给出不对齐的内存引用.
#UD如果使用 LOCK 前缀 。

来源