GB/T 17966-2000
基本信息
标准号:
GB/T 17966-2000
中文名称:微处理器系统的二进制浮点运算
标准类别:国家标准(GB)
标准状态:现行
发布日期:2000-01-03
实施日期:2000-08-01
出版语种:简体中文
下载格式:.rar.pdf
下载大小:574876
标准分类号
标准ICS号:信息技术、办公机械设备>>35.160微处理机系统
中标分类号:电子元器件与信息技术>>计算机>>L62计算机设备
关联标准
采标情况:idt IEC 559:1989
出版信息
出版社:中国标准出版社
书号:155066.1-16888
页数:16页
标准价格:10.0 元
出版日期:2004-04-16
相关单位信息
首发日期:2000-01-03
复审日期:2004-10-14
起草单位:电子工业部标准化研究所
归口单位:全国信息技术标准化技术委员会
发布部门:中华人民共和国国家质量监督检验检疫总局
主管部门:国家标准化管理委员会
标准简介
本标准规定:1)基本和扩充的浮点数格式;2)加、减、乘、除、开平方、求余数以及比较运算;3)整数与浮点数之间的转换;4)不同浮点格式之间的转换;5)基本格式浮点数与十进制数串之间的转换;6)浮点异常及其处理,包括非数(NaN)的处理。 GB/T 17966-2000 微处理器系统的二进制浮点运算 GB/T17966-2000 标准下载解压密码:www.bzxz.net
标准内容
ICS35.160
中华人民共和国国家标准
GB/T17966—2000
idtIEC559:1989
微处理器系统的二进制浮点运算Binary floating-point arithmetic formicroprocessor systems2000-01-03发布
2000-08-01实施
国家质量技术监督局
GB/T17966—2000
本标准等同采用国际标准IEC559:1989《微处理机系统的二进制浮点运算》。本标准是微处理机系统二进制浮点运算的标准,它包括的二进制浮点运算可由计算机软件、硬件以及软硬结合的方法来实现,本标准是计算机的基础标准。本标准的附录A是提示的附录。
本标准由中华人民共和国信息产业部提出。本标准由中国电子技术标准化研究所归口。本标准起草单位:中国电子技术标准化研究所。本标准主要起草人:高健。
GB/T17966—2000
IEC前言
1)IEC(国际电工委员会)在技术问题上的正式决议和协议,是由对这些问题特别关切的国家委员会参加的技术委员会制定的,对所涉及的问题尽可能地代表了国际上的一致意见。2)这些决议或协议,以推荐标准的形式供国际上使用,并在此意义上为各国家委员会所认可。3)为了促进国际上的统一,EC希望各国家委员会在本国条件许可的情况下,采用IEC标准的文本作为其国家标准。IEC标准与相应国家标准之间的差异,应尽可能在国家标准中指明。IEC序言
本国际标准由IEC的TC47\半导体设备”技术委员会47B“微处理器系统”分委员会制定(本分委员会已由ISO/IECJTC1接管)。
IEC出版的559第二版代替1982年发行的第一版。本标准依据下列文件:
六个月的规则
47B(CO)19
在上表指定的投票报告能找到采纳本标准的全部投票信息。投票报告
47B(CO)26
1范围
中华人民共和国国家标准
微处理器系统的二进制浮点运算Binaryfloating-pointarithmetic formicroprocessorsystems1.1实现目标
GB/T17966—2000
idtIEC559:1989
其宗旨在于,无论是纯软件、纯硬件或软硬件组合的方法都能实现符合本标准的浮点系统。系统的程序员或系统用户可以知道是否符合本标准。要求软件支持才能符合本标准的硬件部分,离开软件便不能看作与本标准符合。
1.2包含
本标准规定:
1)基本和扩充的浮点数格式;
2)加、减、乘、除、开平方、求余数以及比较运算;3)整数与浮点数之问的转换
4)不同浮点格式之间的转换,
5)基本格式浮点数与十进制数串之间的转换;6)浮点异常及其处理,包括非数(NaN)的处理。1.3不包含
本标准不规定:
1)十进制串和整数的格式;
2)NaN符号和有效字段的解释:3)扩充格式二进制十进制之间的转换。2定义
本标准采用下列定义,
2.1有偏阶码biasedexponent
阶码与选定常数(偏值)之和,所选常数使有偏阶码不出现负值。2.2二进制浮点数binaryfloating-pointnumber由符号、带符号的阶码和有效数三部分表征的位串。如果它的数值值存在,则是它的有效数与2的阶码幂次的带符号的乘积。在本标准中,位串与它表示的数通常不加区别。2.3反规格化数denormalizednumber非零的浮点数,阶码有一保留值通常是格式的最小值,而且其显式或隐式有效首位等于零。2.4目的地destination
二元或一元运算结果的位置。目的地由用户显式地指定或者由系统隐式地提供(例如,各过程的子表达式或自变量的中间结果。一些语言,把中间结果放置在用户不能控制的目的地。本标准仍然按照目的地格式以及操作数的值来定义运算结果。2.5阶码exponent
国家质量技术监督局2000-01-03批准2000-08-01实施
GB/T17966—2000
二进制浮点数的组成部分,在确定浮点数所代表的数值时,它通常表示2的整数次幂。有时阶码也称作带符号阶码或无偏阶码。
2.6小数fraction
有效数中的一部分,它位于有效数隐含的二进制小数点右边。2.7方式mode
用户可以设置、读出、保存和恢复的变量,用来控制后续算术运算的执行。默认方式是只要在程序或程序说明中无明显的矛盾语句,程序就可以假定是有效的方式。应实现以下方式:
1)舍入,以控制舍入误差的方向以及某些实现的舍入误差。2)舍入精度,降低结果的精度。实现者可以任意实现以下方式。3)禁止自陷/允许自陷,以处理异常情况。2.8非数notanumber(NaN)
不是一个数,用浮点格式编码的符号实体。NaN有两种类型(见6.2)。只要NaN作为操作数出现,信号NaN都发出无效操作异常信号(见7.1)。静默NaN通过几乎每个算术运算进行传播而无需信号异常。
2.9结果result
递交给目的地的位串(通常表示数字)。2.10有效数significant
二进制浮点数的组成部分,由二进制小数点左边的显式或隐式首位和小数点右边的小数部分所组成。
2.11应shall
指符合标准的实现是必须的。
2.12宜should
指极力推荐,以跟上标准的意向。虽然超出本标准范围之外的体系结构等方面的约束有时使这种推荐难于实现。
2.13状态旗标statusflag
可取设置和清除两种状态的变量。用户可以对先前状态清除、拷贝或者恢复旗标。当为设置状态时,状态旗标可含有某些用户可能无法访问的系统相关的附加信息。作为某一方面的作用,本标准的操作可以设置部分下列旗标:不精确的结果、下溢、上溢、被零除以及无效运算。2.14用户user
任何个人、硬件或程序(在其他标准已有规定)可以访问和控制本标准规定的程序设计环境的那些运算。
3格式
本标准定义了四种浮点格式,分为基本格式和扩充格式两类。每一类又分为单精度和双精度两种。实现本标准的等级根据支持格式的组合来区分。3.1值集
本条仅涉及格式内可表示的数值值,不涉及以下各条所讨论对象的编码。选定格式的可表示值仅由以下三种整型参数来规定:
P——有效位数(精度)
Emax最大阶码
Emn=最小阶码
表1列出每种格式的参数。各个格式都应提供形式为(一1)*2F(bobib2bp-1)的数。2
其中:s是0或1;
GB/T17966—2000
E是Emn和Emax之间的任何整数(含Emin和Emax);bi是0或1。
两种无穷十8和一8;
至少一个信号NaN,并且至少一个静默NaN。表1格式的参数一览表
阶码偏数
阶碑宽度(位)
格式宽度(位)
单精度
以上所述可能导致值的余,比如:2°(1.0)-21(0.1)=22(0.01)-
单精度扩充
≥+1023
未规定
双精度
双精度扩充
≥+16383
≤-16382免费标准bzxz.net
未规定
然而,这些非零值的编码只在扩充格式下可能是几余的(见3.3)。形式为士2Fm(0.bb2b-1)的非零值称为反规格化的。其他阶码也可以对NaN、士8o、士0和反规格化数进行编码。对于值内零的任何变数,符号位s提供额外的信息位。虽然所有格式都有区别地表示十0或一0,但符号在一些情况下有意义,比如被零除,在其他情况下无意义。在本标准中,符号无关紧要时0和oo不带符号。3.2基本格式
单精度以及双精度格式的数都由三个域构成:位符号s,
有偏阶码e=E十偏值,
小数f=.bib2….bp-1。
无偏阶码E的范围应包括值Emln和Emax之间的每个整数(含Emn和Emax),并且还有两个其他保留一1用来对士0以及反规格化数进行编码,Emx十1给士8o以及NaN进行编码。这些参数在表1值:Emin
中出现。每个非零数值值仅有一个编码。各部分在下面说明:3.2.1单精度
32位单精度格式数X按图1所示划分。X的值v是按照其组成部分导出,因此:1)如果e=255,而且f≠0,则不管s是什么,v等于NaN,2)如果e=255,而且f=0,则v=(-1)o0,3)如果0“指开效
“”指\量低有效位”
单精度格式
3.2.2双精度
GB/T17966—2000
64位双精度格式数X按图2所示划分。X的v值是按照其组成部分导出,因此:1)如果e=2047,而且f≠0,则不管s是什么,v等于NaN,2)如果e=2047,而且f=0,则v=(-1)o,3)如果03.3扩充格式
图2双精度格式
单精度扩充和双精度扩充格式按依赖于实现的方法进行编码但受3.1中表1值的限制。本标准允许出现编码的几余值,但这种几余对用户透明,即按下面来理解:一个实现或者应对每个非零值唯一地编码,或者对非零值的元余编码不加区分。一个实现也可以保留一些位串,用于超出本标准范围的各种用途,这种保留的位串作为操作数出现时,运算的结果本标准不作规定。本标准的实现并不要求提供(并且用户不宜假定)单精度扩充格式范围比双精度扩充格式范围大。3.4格式组合
符合本标准的所有实现都应支持单精度格式。实现宜支持所支持的最宽基本格式相应的扩充格式,而不必支持任何其他扩充格式\。4舍入
舍入时认为取数是无限精确的,如有必要,修正该数使之适合于目的地的格式,同时发出不精确的异常信号(见7.5)。除二进制→十进制转换外(5.6规定其最低条件),应完成第5章中规定的每种运算,同时在不受限制的范围下,先产生正确的无限精度的中间结果,然后按本章的方式对结果舍入。除比较大小和求余数外,舍入方式影响所有的算术运算。舍入方式可以影响零和的符号(见6.3),同时影响所发出上溢(见7.3)和下溢(见7.4)信号时所超出的阅值。4.1舍入到最近值
本标准的实现应达到最近值舍入,并作为舍入的默认方式。在这个方式下,应递交最近于无穷精度结果的表示值;如这两个表示值同等接近,则应递交最低有效位等于零的一个。但是,数值不小于2F(2一2-P)的无穷精度结果,应舍入为符号不改变的oo;除舍入的精度方式(见4.3)超越目的地格式外,其中的Emx和P由目的地格式(第3章)决定。4.2有向舍入
实现应给用户提供三种可选择的有向舍入方式:向十的舍入,向一的舍入以及向0舍入。向十o舍入时,其结果应是最接近于且不小于无限精确结果的格式值(可能是十)。向一o舍入时,其结果应是最接近于且不大于无限精确结果的格式值(可能是一)。向0舍入时,其结果应是最接近且数量上不大于无限精确结果的格式值。4.3舍入精度
通常,指按目的地格式的精度舍入结果。然而,某些系统仅对双精度或扩充精度格式目的地递交结果。对于这类系统,用户可以是高级语言编译器,应能规定把以双精度格式或具有更宽阶码范围扩充格1)只有向上兼容和速度是重要间题时,支持双精度扩充格式的系统也支持单精度扩充格式。4
GB/T17966—2000
式存放的结果,舍入成单精度1。与此类似,仅向双精度扩充格式目的地递交结果的系统,应允许用户规定将结果舍入成单精度或双精度。注意:为了符合4.1的规定,结果舍入误差不充许多于1个。5运算
符合本标准的所有实现都应提供加、减、乘、除、开平方、求余数,浮点格式舍入成整数,不同浮点格式间的转换,浮点与整数格式间的转换,二进制一十进制转换以及比较运算。不改变格式的拷贝,是否作为一种运算,是实现的选项。除了二进制一→十进制转换外,完成每一种运算时在不受限制的范围中,先产生一个具有无限精度的中间结果,然后修正这种中间结果使之适合目的地的格式(见第4和第7章)。第6章将以下规定扩充至包括士0、士o以及NaN;第7章枚举异常操作数和异常结果导致的异常。
5.1算术运算
实现对格式相同的任何两个操作数和所支持的格式的每一操作数都应提供加、减、乘、除和求余数运算实现也应对不同格式操作数提供的运算。目的地格式(不管4.3的舍入精度控制如何)应至少与较宽的操作数格式一样宽。所有结果都应按第4章的规定舍入。当y0时,根据r=x-yXn关系式定义余数r=xREMy,与舍入方式无关,其中n是最接近于x/y精确值的整数,只要n一x/y=1/2,n就是偶数。因此,余数总是精确的。如果r=0,它的符号应是x的符号。精度控制(见4.3)应不适用于求余数操作。5.2开平方
对所有支持的格式都应提供开平方运算,对于所有非负的操作数,结果都是确定的并有一个正号!但~一d应为一0除外。日的地格式应至少与操作数格式一样宽。运算结果应按第4章的规定舍入。5.3浮点格式转换
在所有支持的格式之间都应能进行浮点数转换。如果转换成较低的精度时,其结果应按第4章的规定舍入。转换成较高的精度应是精确的,没有例外5.4浮点与整数间的转换
所有支持的浮点格式与所有支持的整数格式之间应能进行转换。转换到整数应受第4章规定的舍入影响。浮点整数和整数格式间的转换应是精确的,7.1 中规定的异常情况除外。5.5浮点数舍入为整数值
浮点数应能舍入为同一格式的整数值浮点数。舍入应按第4章的规定,条件是当向最接近值进行舍入时,如果未舍入的操作数与舍入的结果之差恰为1/2,则舍入结果是偶数。5.6进制→十进制转换
对于在表2规定的范围之内的所有数,应提供至少一种格式的十进制数串与所有支持的基本格式的二进制浮点数之间转换。表2和表3中的整数M和N是具有值为士MX10的十进制串。输入时,为使N达到最小,应在M(不超过表2的限度)的末屋增加或删除零。当且的地是士进制串时,为了舍入,最好按格式规定设置该串的最低有效位。如果整数M不属于表2和3规定的范围,即,当单精度的M>10°,双精度的M>1017时,实现者可以故意在单精度的第9位和双精度的第17位,对后边的所有有效数字变换为其他十进制数字,典型的数宇是0
对于不超过表3规定范围的操作数,转换时应按第4章规定正确地舍入。另外,为舍入到最接近值,只要不出现阶的上溢/下溢,转换结果的误差不应超过第4章舍入规定引起的误差在目的地最小有效数1)舍入精度的控制,本意是允许系统在运算中一般具有双精度或扩充格式的目的地,在没有上/下溢出时,系统精度为带单精度格式和双精度格式的目的地。实现不宜给出结合双精度或扩充运算产生单精度结果的操作,仅对一种舍入,也不宜给出结合双精度扩充运算产生双精度结果的操作。5
GB/T17966—2000
的0.47单位。有向舍入方式的误差应有正确的符号同时在最后一位不超过1.47单位。转换应是单调的。也就是,值递增的二进制浮点数转换成十进制数串时,其值不应减少而值递增的十进制数串转换成二进制浮点数时,其值也不应减少。当舍入到最接近值时,只要十进制数达到表2规定的最大精度,即单精度9位数字和双精度17位数字,二进制到十进制又返回到二进制的转换应是恒等的\。如果十进制到二进制的转换上溢/下溢,则按第7章的规定处理。在二进制转换成十进制的过程中遇到上溢/下溢、NaN和无穷,则最好通过适当的串指示给用户。为了避免冲突,二进制→十进制转换过程应给出一样的结果,而不管转换是否是在语言转换(翻译、编译或汇编)期间或程序执行(运行和交互输入/输出)期间进行。表2十进制转换范围
单精度
双精度
单精度
双精度
5.7比较
十进制到二进制
最大M
1017-1
最大N
最大M
1017-1
正确舍入的十进制转换范围
十进制到二进制
最大M
1017-1
最大N
最大M
108—1
1017-1
进制到十进制
最大N
进制到十进制
最大N
在所有支持的格式中,即使操作数的格式不同,对浮点数都应能进行比较。比较是精确的,不上溢也不下溢。四种互斥的关系可能是:“小于”“等于”“大于”“无序”。当至少一个操作数是NaN时,最后一种情况出现。每个NaN应与任何数(包括它自已)进行比较,但都“无序”。零的符号在比较时忽略(于是十0=一0。
比较的结果应按下面这两种方式之一来递交:可以是条件代码,表示上面四种关系之一,也可以是命名所需特定比较关系谓词的真假响应。除真假响应外,当比较“无序”操作数时,使用包括“<”或“>”的但不要“?”的谓词(这里的符号“?”表示“无序”,应按在表4的最后一列指出的来发出无效运算异常信号(见7.1)。
表4列出二十六个功能不同的常用的谓词,在第一列中使用三种记法命名谓词:专设的、类似FORTRAN语言的和数学的。表中示出从四个条件代码中如何得到它们,并指出当关系“无序”时,哪些谓词导致无效运算异常。T和F项指明各对应关系成立时谓词是真或假。表4谓词和关系
专设的
FORTRAN
数学的
无序是否无效
1)转换所规定的特性暗含着差错界线,它取决于格式(单或双精度)及包含的十进制数字的数,上面所述的0.47仅是最坏情况下的界线。对于差错界线以及对扩充格式有效转换算法研究的详细讨论见加利福尼亚伯克利大学Dissertation著的\Accurate YetEconomicalBinary-DecimalConversions”6
GB/T17966—2000
表4(完)
无序是否无效
数学的
FORTRAN
专设的
NOT(V)
NOT(4=)
NOT(<>)
NOT(<->)
NOT(?<)
NOT(?<=)
NOT(?=)
一个应用前缀比如NOT”来否定表4中的谓词,使注意谓词配对出现,每一个都在逻辑上否定另关联项的真假判断相反,但表中最后一列各项不变。实现给出的谓词应给出表4中的前6个谓词,同时给出第7个,以及逻辑上否定谓词的办法无穷、NaN和带符号的零
6.1无穷运算
无穷运算应作为任意大操作数实数运算的取极限来构造,其前提是极限存在。无穷应按仿射意见解1)谓词的逻辑否定有两种方式,一种是加前缀“非”,另一种是反向相关运算。比如:(X=Y)的逻辑否定可以写成非(X=Y)或(X?<>Y),两个表达式功能上都等同于(X≠Y)。但是,对于另一些谓词这种等同并不存在。比如(X=Y)的不同之处是,当X和Y是“无序”时,不发出无效操作异常信号。
释,即一8<每个有穷数<十8。
GB/T17966—2000
除在7.1对oo规定的无效操作外,o的运算总是精确的,因而没有异常信号发出。仅在下列情况下才发出与有关的异常信号。
1)0由有限操作数上溢(见7.3)或被零除(7.2)来产生,且对应自陷被禁用;280是无效操作数(7.1)。
6.2NaN的运算
所有运算都应支持两种不同类型的NaN,即信号的和静默的。信号NaN给不在本标准范围的非初始化变量以及增强的类似运算(比如复数仿射无穷和极宽的范围)提供值。静默NaN根据实现者的自定的方式,给出从无效或不可利用数据及结果中承袭的追溯诊断信息。诊断信息在传播时要求NaN包含的信息通过运算操作和浮点格式转换加以保护。信号NaN应是保留操作数,它对第5章列出的每种运算都发出无效操作异常信号(见7.1)。不改变格式的拷贝信号NaN是否发出无效运算异常信号,这由实现者选择。如果没有自陷出现而又要递交浮点结果,则包括信号NaN或无效运算(见7.1)的每种运算都应递交一个静默NaN作为它的结果。
包括一个或两个输入NaN,但都不是信号NaN的每种运算不应发出异常信号,但如果递交浮点结果,则应递交一个静默NaN作为它的结果,它宜是输入NaN之一。注意格式转换时不可能递交同NaN。静默NaN的影响有类似于信号NaN,对运算不递交浮点结果这些运算:即对某一格式的比较和转换在5.4、5.6、5.7和7.1中讨论。6.3符号位
本标准不说明NaN的符号。而积和商的符号是操作数符号的“异或”,和的符号至多不同于一个加数的符号,差x一y可以认为是x十(一y)。即使操作数或结果是零或无穷,这些规则应适用。当两个操作数的和(或两个符号相同的操作数之差)恰好是零时,除向一o舍入时则符号为“一”外,不论用哪种舍入方式,和的符号(或差的符号)均为“十”。然而,即使x是零,x十x=x一(一x)保持与x相同的符号。
除一0的平方根是一0外,所有有效平方根的符号都应为正号。7异常
检测后应发出的异常信号有五种类型。信号需设置状态标志、采取自陷,或两者都需。各异常在用户控制下应与一自陷关联,这在第8章规定。异常的默认响应应不带自陷进行。在自陷或非自陷情况下,本标准规定要递交的结果。在某些情况下,如果自陷是允许的,则结果不同。对于每类型的异常,实现应提供状态标志,当没有相应自陷存在时,应将它设置在相应异常的每次出现上。仅在用户请求时,它才应重新置位。用户应能分别测试与变更状态标志,进而应能在同一时间保存和恢复所有五类型的异常。能重合的异常仅为上溢不精确与下溢不精确。7.1无效运算
如果执行运算的操作数无效,则应发出无效操作异常信号。当没有自陷的异常出现时,只要提供目的地有浮点格式,结果就应是静止NaN。无效运算是:1)对信号NaN的任何运算(见6.2);2)加或减:像(十8)十(一8)这样的无穷的数量减;3)乘:0×8,
4)除:0/0或8/80折
5)余数:xREMy,其中y是零或x是无穷,6)操作数小于零的开平方;
GB/T17966—2000
7)当上溢、无穷或NaN排除这一格式可靠表示但不能就此发出其他的信号时,二进制转换成整数或十进制格式,
8)操作数是“无序”(见5.7,表4)时,通过涉及谓词“<”或“>”但没有?”的比较。7.2被零除
如果除数是零而被除数是有限非零数,则应发出被零除异常信号。当无自陷出现时,结果应是带正确符号的oo(见6.3)。
7.3上溢
凡目的地格式的最大有限数在大小上为舍入浮点结果(第4章)阶码范围无界所超出时,都发出上溢异常信号。当没有自陷出现时,应由舍入方式和中间结果的符号按下列方式来确定结果:1)最接近舍入将所有上溢进位成为带中间结果符号的o;2)向0舍入将所有上溢进位成为带中间结果符号的格式的最大有限数;3)向一8舍入将正上溢进位成为格式的最大有限数,同时将负上溢进位成为一80;4)向十8舍入将负上溢进位成为格式的最大的负有限数,同时将正溢进位成为十。除转换外,所有操作的自陷上溢都应通过无穷精确的结果除以2和舍入得到的结果,递交给自陷的处理器。偏差调节a在单精度是192,在双精度是1536,扩充格式是3×2-2,其中,是阶码域的位数。由二进制浮点格式转换产生的自陷上溢出应给自陷处理者递交一个结果,这一结果按此格式或更宽的格式一一可能带有阶码偏差调节一一但要舍入到目的地精度。一进制到二进制转换的自陷上溢出也应给处理者递交一个结果,它按照支持的最宽的格式一一可能带有阶码偏差调节一一但舍入到对目的地精度,当结果位于调节偏差范围外太远时,则应递交静默NaN。7.4下溢
两个相关事件导致下溢:一个是产生士2之间小非零结果,由于这个值甚小,以后可能导致一些其他异常,比如,以它除的上溢。另一个是在这些非常小的数值由于反规格化数逼近时,精度的特大损失。实现者可以选择如何侦测到这些事件,但应以同方法侦测所有运算的事件。在以下两种情况之一,可侦测到微小数:
1)“舍入后”,当阶码范围好像无界所计算出的非零结果严格位于士2之间时;或2)“舍入前”,当阶码范围和精度好像都无界所计算出的非零结果严格位王士25之间时,在以下两种情况之一可侦测到精度损失:3)反规格化损失:当递交结果与阶码范围无界的计算出的结果不同时;4)不精确结果,当递交结果与阶码范围与精度都无界的计算出的结果不同时(这是7.5称作不精确的条件)
当下溢自陷不实现或禁止时(默认情况)时,仅当侦测出微小数和精度损失时,才发出下溢出信号(经由下溢标志)。侦测微小数和精度损失的方法不影响已递交可以是零、反规格化数或士2咖。当下溢自陷实现和允许时,并且当侦测出微小数时,不管精度损失如何都应发出下溢信号。除转换外,所有运算的自陷下溢应给自陷处理程序递交结果,此结果由无穷精度的结果乘2和舍入所得到。偏差调节a在单精度是192、双精度是1536,在扩充格式是3×2°-2,其中,n是阶码域的位数。处理转换的自陷下溢应与处理转换上溢类似。
7.5不精确
如果运算舍入结果不精确或它的上溢没有上溢自陷,则发出不精确异常信号。舍入或上溢结果应被递交给目的地,或,如果不精确自陷出现,则提交给自陷处理程序。8自陷
用户最好能够对五种异常的任何一种都能通过规定它用的处理程序来请求自陷。用户最好也能够请求禁正、保存或恢复现有的处理程序,用户最好也能确定是否已充许指定异常用的特定自陷处理程9
小提示:此标准内容仅展示完整标准里的部分截取内容,若需要完整标准请到上方自行免费下载完整标准文档。