1、中华人民共和国国家标准 微处理器系统的二进制浮点运算 发布 实施 国家质量技术监督局 发布前言 本标准等同采用国际标准 微处理机系统的二进制浮点运算 本标准是微处理机系统二进制浮点运算的标准 它包括的二进制浮点运算可由计算机软件 硬件以 及软硬结合的方法来实现 本标准是计算机的基础标准 本标准的附录 是提示的附录 本标准由中华人民共和国信息产业部提出 本标准由中国电子技术标准化研究所归口 本标准起草单位 中国电子技术标准化研究所 本标准主要起草人 高健前言 国际电工委员会 在技术问题上的正式决议和协议 是由对这些问题特别 关切 的国 家 委员 会 参加 的技术委员会制 定 的 对所 涉 及的问
2、题 尽 可 能地代表了 国际上的 一致意见 这些决议 或 协议 以 推荐 标准的 形 式 供 国际上 使 用 并 在 此意义 上 为各 国 家 委员会所 认 可 为了促 进国际上的统 一 希望各 国 家 委员会在本国 条 件 许 可的 情况下 采用 标准的 文 本 作为其 国 家 标准 标准 与相应 国 家 标准 之间 的 差异 应尽 可 能 在国 家 标准中 指明 序言 本国际标准由 的 半导体设备 技术委员会 微处理 器 系统 分 委员会制 定 本 分 委 员会 已 由 接管 出 版 的 第 二 版代替 年发行 的 第一版 本标准 依据下列文 件 六个月 的 规则投票报告 在上 表指定 的
3、 投票报告能找到 采 纳 本标准的 全 部 投票 信息中华人民共和国国家标准 微处理器系统的二进制浮点运算 国家质量技术监督局 批准 实施 范围 实现 目 标 其宗旨 在 于 无论 是 纯 软件 纯 硬件 或 软硬件 组 合的方法 都能 实现 符 合本标准的浮点系统 系统的 程序 员 或 系统用 户 可以 知道 是 否 符 合本标准 要 求 软件 支持才 能符 合本标准的硬件部 分 离开 软件 便不 能 看 作与 本标准 符 合 包 含 本标准 规定 基本和 扩充 的浮点 数格 式 加 减 乘 除 开平 方 求余数 以及 比较 运算 整数 与 浮点 数 之间 的 转换 不 同浮点 格 式 之间
4、 的 转换 基本 格 式浮点 数 与 十 进制 数串 之间 的 转换 浮点 异 常 及 其 处理 包括 非数 的处理 不 包 含 本标准 不 规定 十 进制 串 和 整数 的 格 式 符 号 和 有效字段 的 解释 扩充格 式二进制 十 进制 之间 的 转换 定义 本标准采用 下列定义 有偏阶码 阶码 与 选 定 常数 偏值 之 和 所 选常数 使 有偏阶码不 出现 负值 二进制浮点 数 由 符 号 带 符 号 的 阶码 和 有效数三 部 分表 征 的位 串 如果 它的 数值值存 在 则 是它的 有效数 与 的 阶码幂次 的 带 符 号 的 乘积 在本标准中 位 串 与 它 表 示的 数通常不
5、 加 区 别 反 规 格 化 数 非零 的浮点 数 阶码有 一 保留值通常 是 格 式的 最小值 而且 其 显 式 或 隐 式 有效首 位等 于 零 目 的 地 二 元 或一 元 运算结 果 的位 置 目 的 地 由用 户 显 式 地指定或 者 由系统 隐 式 地 提 供 例如 各 过 程 的子 表 达 式 或 自变量 的中 间 结 果 一 些 语言 把 中 间 结 果放置 在用 户 不 能 控 制的 目 的 地 本标准 仍然按照 目 的 地 格 式以及 操 作 数 的 值 来 定义 运算结 果 阶码二进制浮点 数 的 组 成 部 分 在 确 定 浮点 数 所 代表 的 数值时 它 通常 表
6、示 的 整数次幂 有时阶码也 称 作 带 符 号阶码 或无 偏阶码 小数 有效数 中的 一 部 分 它位 于 有效数隐含 的二进制 小数 点 右边 方式 用 户 可以 设 置 读 出 保存 和 恢复 的 变量 用来 控 制 后续 算术运算的 执 行 默 认 方式是 只 要在 程序或 程序 说 明 中 无明 显 的 矛盾 语 句 程序 就 可以 假 定 是 有效 的方式 应 实现以 下 方式 舍入 以 控 制 舍入误 差 的方 向 以及 某 些实现的 舍入误 差 舍入精度 降低 结 果 的 精度 实现 者 可以 任 意 实现以 下 方式 禁止 自 陷 允 许 自 陷 以处理 异 常 情况 非数
7、不 是 一个 数 用浮点 格 式 编 码 的 符 号 实 体 有 两种类型 见 只 要 作为 操 作 数 出现 信 号 都发 出 无 效操 作异 常 信 号 见 静默 通过 几乎每 个 算术运算进 行 传播 而 无 需 信 号 异 常 结 果 递交给 目 的 地 的位 串 通常 表 示 数字 有效数 二进制浮点 数 的 组 成 部 分 由二进制 小数 点 左 边 的 显 式 或 隐 式 首 位和 小数 点 右边 的 小数 部 分 所 组 成 应 指符 合标准的实现是 必须 的 宜 指 极力 推荐 以 跟 上标准的 意 向 虽 然 超 出本标准 范围 之 外 的 体 系结 构 等方 面 的 约束
8、 有时 使 这 种 推 荐 难 于 实现 状态旗 标 可 取 设 置 和 清 除 两种状态 的 变量 用 户 可以对 先前状态清 除 拷贝 或 者恢复 旗 标 当 为设 置 状态 时 状态旗 标可 含有 某 些用 户 可 能无 法 访 问的系统 相关 的附 加 信息 作为 某 一 方 面 的 作 用 本标准的 操 作 可 以 设 置 部 分下列 旗 标 不 精 确 的结 果 下 溢 上 溢 被 零除 以及 无 效 运算 用 户 任何 个 人 硬件 或程序 在 其 他 标准 已 有 规定 可以 访 问和 控 制本标准 规定 的 程序设 计 环境 的 那 些 运算 格式 本标准 定义了 四种 浮点
9、 格 式 分为 基本 格 式和 扩充格 式 两类 每 一 类又 分为 单 精度 和 双精度两种 实现本标准的等 级根 据 支持格 式的 组 合来 区 分 值 集 本 条 仅 涉 及 格 式 内 可 表 示的 数值值 不 涉 及以 下各条 所 讨 论 对 象 的 编 码 选 定 格 式的可 表 示 值 仅 由 以 下 三 种 整 型 参 数 来 规定 有效 位 数 精度 最 大 阶码 最小阶码 表 列 出 每种 格 式的 参 数 各个 格 式 都应 提 供形 式 为 的 数其 中 是 或 是 和 之间 的 任何 整数 含 和 是 或 两种 无 穷 和 至少 一个 信 号 并 且 至少 一个 静默
10、 表 格 式的 参 数 一 览 表 参 数 格 式 单 精度 单 精度 扩充 双精度双精度 扩充 阶码偏数 未 规定 未 规定 阶码 宽度 位 格 式 宽度 位 以上所 述 可 能导致 值 的 冗 余 比如 然而 这些 非零值 的 编 码 只 在 扩充格 式 下 可 能 是 冗 余 的 见 形 式 为 的 非 零值称 为 反 规 格 化的 其 他 阶码也 可以对 和 反 规 格 化 数 进 行 编 码 对 于 值 为 零 的 任何 变数 符 号 位 提 供 额外 的信息位 虽 然 所 有格 式 都 有区 别 地表 示 或 但 符 号 在 一 些 情况下 有 意 义 比如 被 零除 在 其 他
11、情况下无意义 在本标准中 符 号 无关 紧 要 时 和 不带 符 号 基本 格 式 单 精度 以及 双精度 格 式的 数 都 由 三 个 域构 成 一 位 符 号 有偏阶码 偏值 小数 无 偏阶码 的 范围 应 包括 值 和 之间 的 每 个 整数 含 和 并 且 还 有 两 个其 他 保留 值 用来对 以及 反 规 格 化 数 进 行 编 码 给 以及 进 行 编 码 这些 参 数 在 表 中出现 每 个 非零数值值 仅 有 一个 编 码 各 部 分 在 下 面说 明 单 精度 位单 精度 格 式 数 按 图 所示 划 分 的 值 是 按照 其组 成 部 分导 出 因 此 如果 而且 则 不
12、 管 是 什么 等 于 如果 而且 则 如果 则 如果 而且 则 反 规 格 化 数 如果 而且 则 零 图 单 精度 格 式双精度 位 双精度 格 式 数 按 图 所示 划 分 的 值 是 按照 其组 成 部 分导 出 因 此 如果 而且 则 不 管 是 什么 等 于 如果 而且 则 如果 则 如果 而且 同 时 则 反 规 格 化 数 如果 而且 则 零 图 双精度 格 式 扩充格 式 单 精度 扩充 和 双精度 扩充格 式 按 依 赖 于 实现的方法进 行 编 码 但 受 中 表 值 的 限 制 本标准 允 许 出现 编 码 的 冗 余值 但 这 种冗 余 对用 户 透 明 即 按 下
13、面 来理 解 一个 实现 或 者 应 对 每 个 非零值 唯 一地 编 码 或 者 对 非零值 的 冗 余 编 码不 加 区 分 一个 实现 也 可以 保留 一 些位 串 用 于 超 出本标准 范围 的 各 种 用 途 这 种 保留 的位 串 作为 操 作 数 出现 时 运算的结 果 本标准 不 作规定 本标准的实现 并 不 要 求 提 供 并 且 用 户 不 宜假 定 单 精度 扩充格 式 范围 比 双精度 扩充格 式 范围大 格 式 组 合 符 合本标准的所 有 实现 都应 支持 单 精度 格 式 实现 宜 支持 所 支持 的 最 宽 基本 格 式 相应 的 扩充格 式 而不 必 支持 任
14、何 其 他 扩充格 式 只 有 向 上 兼容 和 速 度 是 重 要问题 时 支持 双精度 扩充格 式的系统 也支持 单 精度 扩充格 式 舍入 舍入 时 认为 取 数 是 无 限 精 确 的 如有 必 要 修 正 该 数 使之 适 合 于目 的 地 的 格 式 同 时 发 出 不 精 确 的 异 常 信 号 见 除 二进制 十 进制 转换 外 规定其 最 低 条 件 应 完 成 第 章 中 规定 的 每种 运 算 同 时 在 不 受限 制的 范围 下 先 产 生 正 确 的 无 限 精度 的中 间 结 果 然后按 本 章 的方式对结 果 舍入 除比较 大 小 和 求余数 外 舍入 方式 影响
15、 所 有 的算术运算 舍入 方式可以 影响 零 和的 符 号 见 同 时 影响 所 发 出上 溢 见 和 下 溢 见 信 号时 所 超 出的 阈 值 舍入 到 最 近 值 本标准的实现 应 达 到 最 近 值 舍入 并作为 舍入 的 默 认 方式 在这 个 方式 下 应 递交 最 近 于无 穷精度 结 果 的 表 示 值 如 这 两 个表 示 值 同等 接 近 则应 递交 最 低 有效 位等 于 零 的 一个 但 是 数值不小 于 的 无 穷精度 结 果 应 舍入 为符 号不 改 变 的 除 舍入 的 精度 方式 见 超 越 目 的 地 格 式 外 其 中的 和 由 目 的 地 格 式 第 章
16、 决 定 有 向舍入 实现 应 给 用 户 提 供 三 种 可 选 择 的 有 向舍入 方式 向 的 舍入 向 的 舍入 以及 向 舍入 向 舍入 时 其 结 果 应 是 最 接 近 于 且不小 于无 限 精 确 结 果 的 格 式 值 可 能 是 向 舍入 时 其 结 果 应 是 最 接 近 于 且不 大 于无 限 精 确 结 果 的 格 式 值 可 能 是 向 舍入 时 其 结 果 应 是 最 接 近 且数量 上 不 大 于无 限 精 确 结 果 的 格 式 值 舍入精度 通常 指 按 目 的 地 格 式的 精度舍入 结 果 然而 某 些系统 仅 对 双精度 或 扩充 精度 格 式 目 的
17、 地 递交 结 果 对 于 这 类 系统 用 户 可以是高 级 语言 编 译 器 应能规定 把 以 双精度 格 式 或 具 有 更 宽 阶码 范围 扩充格式 存放 的结 果 舍入 成 单 精度 与此 类 似 仅向双精度 扩充格 式 目 的 地 递交 结 果 的系统 应 允 许 用 户规 定 将 结 果 舍入 成 单 精度 或 双精度 注 意 为了符 合 的 规定 结 果 舍入误 差 不 允 许 多 于 个 舍入精度 的 控 制 本 意 是 允 许 系统在运算中 一 般具 有 双精度 或 扩充格 式的 目 的 地 在 没 有 上 下 溢 出 时 系统 精 度 为 带 单 精度 格 式和 双精度
18、格 式的 目 的 地 实现 不 宜给 出结合 双精度 或 扩充 运算产 生 单 精度 结 果 的 操 作 仅 对 一 种舍入 也不 宜给 出结合 双精度 扩充 运算产 生 双精度 结 果 的 操 作 运算 符 合本标准的所 有 实现 都应 提 供加 减 乘 除 开平 方 求余数 浮点 格 式 舍入 成整数 不 同浮点 格 式 间 的 转换 浮点 与 整数格 式 间 的 转换 二进制 十 进制 转换 以及 比较 运算 不 改 变格 式的 拷贝 是 否 作为一 种 运算 是实现的 选 项 除 了 二进制 十 进制 转换 外 完 成 每 一 种 运算 时 在 不 受限 制的 范围 中 先 产 生 一
19、个 具 有 无 限 精度 的中 间 结 果 然后 修 正这 种 中 间 结 果 使之 适 合 目 的 地 的 格 式 见第 和 第 章 第 章将 以 下规定 扩充 至 包括 以及 第 章枚举 异 常操 作 数 和 异 常 结 果 导致 的 异 常 算术运算 实现对 格 式 相 同的 任何两 个 操 作 数 和所 支持 的 格 式的 每 一 操 作 数 都应 提 供加 减 乘 除 和 求余数 运算 实现 也 应 对 不 同 格 式 操 作 数 提 供 的运算 目 的 地 格 式 不 管 的 舍入精度 控 制 如 何 应 至少 与 较 宽 的 操 作 数格 式 一 样 宽 所 有 结 果 都应 按
20、 第 章 的 规定 舍入 当 时 根 据 关 系式 定义 余数 与 舍入 方式 无关 其 中 是 最 接 近 于 精 确值 的 整数 只 要 就 是 偶 数 因 此 余数 总 是 精 确 的 如果 它的 符 号 应 是 的 符 号 精度 控 制 见 应 不 适 用 于 求余数操 作 开平 方 对所 有支持 的 格 式 都应 提 供 开平 方运算 对 于 所 有非负 的 操 作 数 结 果 都 是 确 定 的 并 有 一个 正 号 但 应为 除 外 目 的 地 格 式 应 至少 与 操 作 数格 式 一 样 宽 运算结 果 应 按 第 章 的 规定 舍入 浮点 格 式 转换 在所 有支持 的 格
21、 式 之间都应能 进 行 浮点 数转换 如果转换成较 低 的 精度 时 其 结 果 应 按 第 章 的 规 定 舍入 转换成较 高的 精度 应 是 精 确 的 没 有例 外 浮点 与 整数 间 的 转换 所 有支持 的浮点 格 式 与 所 有支持 的 整数格 式 之间应能 进 行 转换 转换 到 整数 应 受 第 章 规定 的 舍 入 影响 浮点 整数 和 整数格 式 间 的 转换 应 是 精 确 的 中 规定 的 异 常 情况 除 外 浮点 数 舍入 为 整数值 浮点 数 应能 舍入 为 同 一 格 式的 整数值 浮点 数 舍入 应 按 第 章 的 规定 条 件是 当向 最 接 近 值 进
22、行 舍 入 时 如果 未舍入 的 操 作 数 与 舍入 的结 果 之差 恰 为 则 舍入 结 果 是 偶 数 二进制 十 进制 转换 对 于 在 表 规定 的 范围 之 内 的所 有数 应 提 供 至少 一 种 格 式的 十 进制 数串 与 所 有支持 的基本 格 式 的二进制浮点 数 之间 转换 表 和 表 中的 整数 和 是 具 有值 为 的 十 进制 串 输 入 时 为使 达 到 最小 应 在 不 超 过 表 的 限 度 的 末尾增 加或 删 除零 当 目 的 地 是 十 进制 串时 为了 舍 入 最 好 按格 式 规定设 置 该 串 的 最 低 有效 位 如果整数 不 属 于表 和 规
23、定 的 范围 即 当 单 精度 的 双精度 的 时 实现 者 可 以 故 意 在单 精度 的 第 位和 双精度 的 第 位 对 后边 的所 有有效数字变换 为其 他 十 进制 数字 典 型 的 数字 是 对 于 不 超 过 表 规定 范围 的 操 作 数 转换时 应 按 第 章 规定 正 确 地 舍入 另 外 为 舍入 到 最 接 近 值 只 要 不 出现 阶 的上 溢 下 溢 转换 结 果 的 误 差 不 应 超 过 第 章 舍入 规定 引 起的 误 差 在 目 的 地 最小有效数的 单位 有 向舍入 方式的 误 差应 有 正 确 的 符 号 同 时 在 最后 一 位 不 超 过 单位 转换
24、 应 是单 调 的 也 就 是 值 递 增 的二进制浮点 数转换成十 进制 数串时 其 值不 应 减 少 而值 递 增 的 十 进制 数串转换成 二进制浮点 数时 其 值也不 应 减 少 当舍入 到 最 接 近 值时 只 要 十 进制 数达 到表 规定 的 最 大精度 即 单 精度 位 数字 和 双精度 位 数字 二进制 到 十 进制 又 返回 到 二进制的 转换 应 是 恒 等的 转换 所 规定 的特 性暗 含 着 差 错界线 它 取 决 于 格 式 单 或 双精度 及包 含 的 十 进制 数字 的 数 上 面 所 述 的 仅 是 最 坏 情况下 的 界线 对 于差 错界线 以及对 扩充格
25、式 有效转换 算法研究的 详细 讨 论见加 利福尼亚伯克利 大 学 著 的 如果十 进制 到 二进制的 转换 上 溢 下 溢 则 按 第 章 的 规定 处理 在二进制 转换成十 进制的 过 程 中 遇 到 上 溢 下 溢 和 无 穷 则 最 好 通过 适 当 的 串 指 示 给 用 户 为了 避免冲突 二进制 十 进制 转换过 程应 给 出 一 样 的结 果 而不 管 转换 是 否 是在 语言转换 翻 译 编 译 或 汇 编 期 间或程序 执 行 运 行 和 交 互输 入 输 出 期 间 进 行 表 十 进制 转换 范围 格 式 十 进制 到 二进制二进制 到 十 进制 最 大 最 大 最 大
26、 最 大 单 精度 双精度 表 正 确 舍入 的 十 进制 转换 范围 格 式 十 进制 到 二进制二进制 到 十 进制 最 大 最 大 最 大 最 大 单 精度 双精度 比较 在所 有支持 的 格 式中 即 使 操 作 数 的 格 式 不 同 对浮点 数 都应能 进 行 比较 比较 是 精 确 的 不 上 溢 也 不 下 溢 四种 互斥 的 关 系可 能 是 小 于 等 于 大 于 无序 当至少 一个 操 作 数 是 时 最后 一 种 情况 出现 每 个 应与 任何 数 包括它 自 己 进 行 比较 但 都 无序 零 的 符 号 在 比较时 忽略 于 是 比较 的结 果 应 按 下 面 这
27、两种 方式 之一 来 递交 可以是 条 件 代 码 表 示上 面四种 关 系 之一 也 可以是 命名 所 需 特 定 比较 关 系 谓词 的 真 假 响 应 除 真 假 响 应 外 当 比较 无序 操 作 数时 使 用包括 或 的 但 不 要 的 谓词 这 里 的 符 号 表 示 无序 应 按 在 表 的 最后 一列指 出的来 发 出 无 效 运算 异 常 信 号 见 表 列 出二 十 六个 功 能 不 同的 常 用的 谓词 在 第一列 中 使 用 三 种 记 法 命名谓词 专 设 的 类 似 语言 的和 数 学 的 表 中示出 从 四 个条 件 代 码 中 如 何 得 到 它 们 并指 出
28、当 关 系 无序 时 哪 些 谓词 导致无 效 运算 异 常 和 项 指明各 对 应关 系 成 立 时 谓词 是 真 或 假 表 谓词 和 关 系 谓词 关系 异常 专设的 数学的 大于 小于 等于无序无序 是 否 无 效 否 否表 完 谓词 关系 异常 专设的 数学的 大于 小于 等于无序无序 是 否 无 效 是 是 是 是 无序 否 是 是 否 否 否 否 否 是 是 是 是 否 是 是 否 否 否 否 否 注 意 谓词 配 对出现 每 一个都 在 逻辑 上 否 定 另 一个 应 用 前 缀 比如 来 否 定表 中的 谓词 使 关 联 项 的 真 假 判断 相 反 但 表 中 最后 一列各
29、 项 不变 谓词 的 逻辑 否 定 有 两种 方式 一 种 是 加 前 缀 非 另 一 种 是 反 向 相关 运算 比如 的 逻辑 否 定 可以 写 成非 或 两 个表 达 式 功 能 上 都 等同 于 但 是 对 于 另 一 些 谓词 这 种 等同 并 不存 在 比如 的 逻辑 否 定 恰好 是 反 相 谓词 的 不 同 之 处是 当 和 是 无序 时 不 发 出 无 效操 作 异 常 信 号 实现 给 出的 谓词 应 给 出 表 中的 前 个 谓词 同 时 给 出 第 个 以及 逻辑 上 否 定 谓词 的 办 法 无穷 和带符号的零 无 穷 运算 无 穷 运算 应作为 任 意 大 操 作
30、数 实 数 运算的 取极 限 来 构 造 其 前 提是 极 限 存 在 无 穷 应 按 仿射 意见 解释 即 每 个 有 穷 数 除 在 对 规定 的 无 效操 作 外 的运算 总 是 精 确 的 因 而 没 有 异 常 信 号 发 出 仅 在 下列情况下 才 发 出 与 有 关 的 异 常 信 号 由 有 限 操 作 数 上 溢 见 或 被 零除 来产 生 且 对 应 自 陷被禁 用 是 无 效操 作 数 的运算 所 有 运算 都应 支持 两种 不 同 类型 的 即 信 号 的和 静默 的 信 号 给 不 在本标准 范围 的 非 初 始 化 变量 以及 增 强 的 类 似 运算 比如复数 仿
31、射 无 穷 和 极宽 的 范围 提 供 值 静默 根 据 实现 者 的 自 定 的方式 给 出 从 无 效 或 不 可 利 用 数 据 及结 果 中 承袭 的 追溯诊断 信息 诊断 信息在 传播 时 要 求 包 含 的信息 通过 运算 操 作 和浮点 格 式 转换 加 以 保 护 信 号 应 是 保留操 作 数 它对 第 章 列 出的 每种 运算 都发 出 无 效操 作异 常 信 号 见 不 改 变格 式的 拷贝 信 号 是 否 发 出 无 效 运算 异 常 信 号 这由实现 者选 择 如果 没 有自 陷 出现 而 又 要 递交 浮点结 果 则 包括信 号 或无 效 运算 见 的 每种 运算
32、都应 递 交 一个 静默 作为 它的结 果 包括 一个或 两 个 输 入 但 都 不 是信 号 的 每种 运算 不 应发 出 异 常 信 号 但 如果 递交 浮点结 果 则应 递交 一个 静默 作为 它的结 果 它 宜 是 输 入 之一 注 意 格 式 转换时不 可 能 递交 同 一 静默 的 影响 有 类 似 于 信 号 对运算 不 递交 浮点结 果 这些运算 即 对 某 一 格 式的 比较 和 转换 在 和 中 讨 论 符 号 位 本标准 不 说 明 的 符 号 而积 和 商 的 符 号 是 操 作 数 符 号 的 异或 和的 符 号 至 多 不 同 于一个加 数 的 符 号 差 可以 认
33、为 是 即 使 操 作 数 或 结 果 是 零 或无 穷 这些 规则应 适 用 当两 个 操 作 数 的和 或 两 个符 号 相 同的 操 作 数 之差 恰好 是 零时 除 向 舍入 时 则符 号 为 外 不 论 用 哪 种舍入 方式 和的 符 号 或差 的 符 号 均 为 然而 即 使 是 零 保持 与 相 同的 符 号 除 的 平 方 根 是 外 所 有有效平 方 根 的 符 号 都应为 正 号 异常 检测 后 应发 出的 异 常 信 号有 五 种类型 信 号 需 设 置 状态 标 志 采 取 自 陷 或 两 者 都 需 各异 常 在用 户 控 制 下应与一 自 陷 关 联 这在 第 章
34、规定 异 常 的 默 认 响 应应 不带自 陷 进 行 在 自 陷 或 非自 陷 情况下 本标准 规定 要 递交 的结 果 在 某 些 情况下 如果自 陷 是 允 许 的 则 结 果不 同 对 于 每类型 的 异 常 实现 应 提 供 状态 标 志 当 没 有 相应 自 陷 存 在 时 应 将 它 设 置 在 相应异 常 的 每 次 出现上 仅 在用 户 请 求时 它 才 应 重 新 置 位 用 户应能分 别 测试 与 变 更 状态 标 志 进 而 应能 在同 一 时 间 保存 和 恢复 所 有 五 类型 的 异 常 能 重 合的 异 常 仅 为 上 溢 不 精 确 与下 溢 不 精 确 无 效 运算 如果执 行 运算的 操 作 数 无 效 则应发 出 无 效操 作异 常 信 号 当 没 有自 陷 的 异 常 出现 时 只 要提 供目 的 地 有 浮点 格 式 结 果 就 应 是 静止 无 效 运算是 对信 号 的 任何 运算 见 加或 减 像 这 样 的 无 穷 的 数量减 乘 除 或 余数 其 中 是 零 或 是 无 穷 操 作 数小 于 零 的 开平 方
