信息技术 微处理器系统 浮点运算.pdfVIP

目次

1总述5

1.1范围5

1.2实现目标5

1.3包含5

1.4不包含5

1.5编程环境考虑5

2规范性引用文件6

3术语、定义和缩略语6

3.1术语和定义6

3.2缩略语12

4浮点格式12

4.1概述12

4.2规范等级12

4.3浮点数据集13

4.4二进制交换格式编码14

4.5十进制交换格式编码15

4.6交换格式参数18

4.7扩展和可扩展精度19

5属性与舍入19

5.1属性规范19

5.2属性的动态模式20

5.3舍入方向的属性20

6操作21

6.1概述21

6.2十进制阶码计算22

6.3同构通用计算操作23

6.4通用计算操作的格式24

6.5静默计算操作26

6.6信号计算操作27

6.7非计算操作27

6.8浮点格式到整数格式转化的详细说明29

6.9将浮点数据舍入为整数值的细节30

6.10全序谓词的详细说明30

6.11对比谓词的详细说明31

6.12浮点数据和外部字符序列之间转换的详细说明32

I

7无穷、NaNs和符号位35

7.1无穷运算35

7.2使用NaN操作36

7.3符号位37

8异常和默认异常的处理37

8.1概述：异常和旗标37

8.2无效操作38

8.3被零除39

8.4上溢39

8.5下溢39

8.6不精确39

9备用异常处理属性40

9.1概述40

9.2恢复备用异常处理属性40

9.3即时和延迟的备用异常处理属性41

10建议操作41

10.1概述41

10.2符合语言定义和实现定义的操作42

10.3动态模式操作47

10.4归约操作48

10.5增强算数操作49

10.6最小值和最大值操作51

10.7NaN有效载荷操作51

11表达式评价52

11.1表达式评价规则52

11.2任务、参数和函数值52

11.3对于表达式求值的首选宽度属性53

11.4字面含义和值变化的优化53

12可复现的浮点运算结果54

II

信息技术微处理器系统浮点运算

1总述

1.1范围

本文件规定了计算机系统浮点运算的格式和运行要求，定义了浮点运算的异常条件并规定了其处

理要求。

1.2实现目标

本文件给出了一种使用浮点数进行计算的方法，该方法无论是在硬件、软件还是两者的组合中进

行处理，都会产生相同的结果。其计算结果是基于同一输入数据，相同的，且与实现无关。不论实现

的情况如何，运算处理中的错误和错误条件都将以一致的方式报告。

1.3包含

本文件规定了计算机系统中浮点运算的格式和操作。本文件定义了异常条件并指定了对这些条件

的处理。

本文件规定了：

——用于运算和数据交换的二进制和十进制浮点数格式；

——加、减、乘、除、开平方、求余数、比较及其他操作；

——整数与浮点数之间的转换；

——不同浮点格式之间的转换；

——浮点格式与外部字符串之间的转换；

——浮点异常及其处理，包括非数（NaN）的处理。

1.4不包含

本文件不规定：

——整数格式；

——非数（NaN）符号和有效字段的解释。

1.5编程环境考虑

本文件规定了二进制和十进制两种基数的浮点运算。编程环境符合其中任一或两者均符合。本文

件未定义一致性编程环境的所有方面。这样的行为应由支持本文件的编程语言（如果可用）定义，或

由具体实现进行定义。

语言定义的行为由支持本文件的编程语言标准定义。所有实现遵从于本文件以及与语言定义的行

为一致的编程语言标准。相比于最大限度地提高平台性能，语言标准对准确地再现结果规定了更详尽

的要求。

因为本文件对目前通用编程语言中没有的设施给出了要求，未修订的相关编程语言标准可能无法

符合本文件的规定。如果语言