汇编语言浮点数异常与常用指令集

  • 内容
  • 评论
  • 相关

每个程序都可能出错,而 FPU 就需要处理这些结果。因而,它要识别并检测 6 种类型的异常条件:

  • 无效操作(#I)
  • 除零(#Z)
  • 非规格化操作数(#D)
  • 数字上溢(#O)
  • 数字下溢(#U)
  • 模糊精度(#P)

前三个(#I、#Z 和 #D)在全部运算操作发生前进行检测,后三个(#O、#U 和 #P)则在操作发生后检测。

每种异常都有对应的标志位和屏蔽位。当检测到浮点异常时,处理器将与之匹配的标志位置 1。每个被处理器标记的异常都有两种可能的操作:

  • 如果相应的屏蔽位置 1,那么处理器自动处理异常并继续执行程序。
  • 如果相应的屏蔽位清 0,那么处理器将调用软件异常处理程序。

大多数程序普遍都可以接受处理器的屏蔽(自动)响应。如果应用程序需要特殊响应,那么可以使用自定义异常处理程序。一条指令能触发多个异常,因此处理器要持续保存自上一次异常清零后所发生的全部异常。完成一系列计算后,可以检测是否发生了异常。

浮点数指令集

FPU 指令集有些复杂,因此这里只对其功能进行概述,并用具体例子给出编译器通常会生成的代码。此外,大家还将看到如何通过改变舍入模式来控制 FPU。指令集包括如下基本指令类型:

  • 数据传送
  • 基本算术运算
  • 比较
  • 超越函数
  • 常数加载(仅对专门预定义的常数)
  • x87 FPU 控制
  • x87 FPU 和 SIMD 状态管理

浮点指令名用字母 F 开头,以区别于 CPU 指令。指令助记符的第二个字母(通常为 B 或 I)指明如何解释内存操作数:B 表示 BCD 操作数,I 表示二进制整数操作数。

如果这两个字母都没有使用,则内存操作数将被认为是实数。比如,FBLD 操作对象为 BCD 数值, FILD 操作对象为整数,而 FLD 操作对象为实数。

操作数

浮点指令可以包含零操作数、单操作数和双操作数。如果是双操作数,那么其中一个必然为浮点寄存器。指令中没有立即操作数,但是某些预定义常数(如 0.0,π 和 log210)可以加载到堆栈。

通用寄存器 EAX、EBX、ECX 和 EDX 不能作为操作数。(唯一的例外是 FSTSW,它将 FPU 状态字保存在 AX 中。)不允许内存-内存操作。

整数操作数从内存(不是从 CPU 寄存器)加载到 FPU,并自动转换为浮点格式。同样,将浮点数保存到整数内存操作数时,该数值也会被自动截断或舍入为整数。

初始化(FINIT)

FINIT 指令对 FPU 进行初始化。将 FPU 控制字设置为 037Fh,即屏蔽(隐藏)了所有浮点异常;舍入模式设置为最近偶数,计算精度设置为 64 位。建议在程序开始时调用 FINIT, 这样就可以了解处理器的起始状态。

浮点数据类型

现在快速回顾一下 MASM 支持的浮点数据类型(QWORD、TBYTE、REAL4、REAL8 和 REAL10),如下表所示。

类型 用法
QWORD 64 位整数
TBYTE 80 位(10 字节)整数
REAL4 32 位(4 字节)IEEE 短实数
REAL8 64 位(8 字节)IEEE 长实数
REAL10 80 位(10 字节)IEEE 扩展实数

在定义 FPU 指令 的内存操作数时,将会使用到这些类型。例如,加载一个浮点变量到 FPU 堆栈,这个变量可以定义为 REAL4,REAL8 或 REAL10:

.data
bigVal REAL10 1.212342342234234243E+864
.code
fld bigVal              ;加载变量到堆栈

加载浮点数值(FLD)

FLD(加载浮点数值)指令将浮点操作数复制到 FPU 堆栈栈顶(称为 ST(0))。操作数可以是 32 位、64 位、80 位的内存操作数(REAL4、REAL8、REAL10)或另一个 FPU 寄存器:

FLD m32fp
FLD m64fp
FLD m80fp
FLD ST(i)

内存操作数类型 FLD 支持的内存操作数类型与 MOV 指令一样。示例如下:

.data
array REAL8 10 DUP (?)
.code
fid array                                                  ;直接寻址
fid [array+16 ]                                        ;直接偏移
fid REAL8 PTR[esi]                                  ;间接寻址
fid array[esi]                                           ;变址寻址
fid array[esi*8]                                        ;带比例因子的变址
fid array[esi*TYPE array]                         ;带比例因子的变址
fid REAL8 PTR[ebx+esi]                          ;基址-变址
fid array[ebx+esi]                                   ;基址-变址-偏移量
fid array[ebx+esi*TYPE array]                 ;带比例因子的基址-变址-偏移量

【示例】下面的例子加载两个直接操作数到 FPU 堆栈:

.data
dblOne REAL8 234.56
dblTwo REAL8 10.1
.code
fid dblOne            ; ST(0) = dblOne
fid dblTwo            ; ST(0) = dblTwo, ST(1) = dblOne

每条指令执行后的堆栈情况如下图所示:

本文标题:汇编语言浮点数异常与常用指令集

本文地址:https://www.hosteonscn.com/5585.html

评论

0条评论

发表评论

邮箱地址不会被公开。 必填项已用*标注