ICS35160

CCSL.62

中華人民共和國國家標準

GB/T17966—2024

代替GB/T17966—2000

信息技術微處理器系統浮點運算

Informationtechnology—Microprocessorsystems—Floating-pointarithmetic

ISO/IEC605592020MOD

(:,)

2024-09-29發布2025-04-01實施

國家市場監督管理總局發布

國家標準化管理委員會

GB/T17966—2024

目次

前言

…………………………Ⅲ

引言

…………………………Ⅳ

范圍

1………………………1

規定內容

1.1……………1

實現目標

1.2……………1

包含

1.3…………………1

不包含

1.4………………1

編程環境考慮

1.5………………………1

規范性引用文件

2…………………………2

術語定義和縮略語

3、………………………2

術語和定義

3.1…………………………2

縮略語

3.2………………6

浮點格式

4…………………7

通則

4.1…………………7

規范等級

4.2……………7

浮點數據集

4.3…………………………8

二進制交換格式編碼

4.4………………9

十進制交換格式編碼

4.5………………10

交換格式參數

4.6………………………12

擴展和可擴展精度

4.7…………………13

屬性與舍入

5………………14

屬性規范

5.1……………14

屬性的動態模式

5.2……………………14

舍入方向的屬性

5.3……………………15

操作

6………………………16

通則

6.1…………………16

十進制階碼計算

6.2……………………17

同構通用計算操作

6.3…………………17

通用計算操作的格式

6.4………………19

靜默計算操作

6.5………………………21

信號計算操作

6.6………………………21

非計算操作

6.7…………………………22

浮點格式到整數格式轉化的詳細說明

6.8……………24

將浮點數據舍入為整數值的細節

6.9…………………25

全序謂詞的詳細說明

6.10……………25

對比謂詞的詳細說明

6.11……………26

Ⅰ

GB/T17966—2024

浮點數據和外部字符序列之間轉換的詳細說明

6.12………………27

無窮和符號位

7、NaNs…………………30

無窮運算

7.1……………30

使用操作

7.2NaN……………………31

符號位

7.3………………32

異常和默認異常的處理

8…………………32

通則異常和旗標

8.1:…………………32

無效操作

8.2……………33

被零除

8.3………………34

上溢

8.4…………………34

下溢

8.5…………………34

不精確

8.6………………34

備用異常處理屬性

9………………………35

通則

9.1…………………35

恢復備用異常處理屬性

9.2……………35

即時和延遲的備用異常處理屬性

9.3…………………36

建議操作

10………………36

通則

10.1………………36

符合語言定義和實現定義的操作

10.2………………37

附件的數學操作

10.3…………………43

動態模式操作

10.4……………………43

歸約操作

10.5…………………………43

增強算數操作

10.6……………………44

最小值和最大值操作

10.7……………46

有效載荷操作

10.8NaN………………47

表達式評價

11……………47

表達式評價規則

11.1…………………47

任務參數和函數值

11.2、………………48

對于表達式求值的首選寬度屬性

11.3………………48

字面含義和值變化的優化

11.4………………………48

可復現的浮點運算結果

12………………49

附錄資料性程序調試支持

A()…………51

附錄資料性操作列表

B()………………53

參考文獻

……………………55

Ⅱ

GB/T17966—2024

前言

本文件按照標準化工作導則第部分標準化文件的結構和起草規則的規定

GB/T1.1—2020《1:》

起草

。

本文件代替微處理器系統的二進制浮點運算與相

GB/T17966—2000《》。GB/T17966—2000

比除結構調整和編輯性改動外主要技術變化如下

,,:

增加了范圍中對浮點運算編程環境注意事項的描述見

a)(1.5);

增加了二進制與十進制的交換格式編碼內容見第章

b)(5);

更改了舍入的具體規定增加了舍入方向的屬性描述以及舍入的動態屬性見

c),(6.1、6.2、6.3);

增加了浮點運算多種操作的規定包括二進制與十進制的格式轉化階碼計算靜默計算信

d),、、、

令計算非計算操作的內容見

、(7.2、7.5、7.6、7.7);

增加了常規異常處理中異常和旗標的描述見

e)(9.1);

更改了對引發自陷的若干異常情況規定見

f)(9.2、9.3);

增加了浮點運算的若干建議操作及表達式估值見第章第章

g)(11、12)。

本文件修改采用信息技術微處理器系統浮點運算

ISO/IEC60559:2020《》。

本文件與相比做了以下結構調整

ISO/IEC60559:2020,:

增加了規范性引用文件一章后續章條編號同理順延

———“”,;

修改了第章的懸置段

———6.3、6.12、7.2、10、10.2;

附錄附錄分別對應的附錄附錄

———A、BISO/IEC60559:2020B、C。

本文件與的技術差異及其原因如下

ISO/IEC60559:2020:

刪除了助動詞的使用不適用我國國情

———1.6“”,。

本文件做了下列編輯性改動

:

將附錄資料性參考文獻移至最后一個附錄之后

———A()“”;

刪除了資料性附錄

———D。

請注意本文件的某些內容可能涉及專利本文件的發布機構不承擔識別專利的責任

。。

本文件由全國信息技術標準化技術委員會提出并歸口

(SAC/TC28)。

本文件起草單位中國電子技術標準化研究院山東省計算中心國家超級計算濟南中心華中科

:、()、

技大學西北工業大學浪潮電子信息產業股份有限公司江蘇中天科技股份有限公司深圳市城市交通

、、、、

規劃設計研究中心股份有限公司上海市計量測試技術研究院北京星辰天合科技技術股份有限公司

、、、

華為技術有限公司重慶電子科技職業大學山東省經濟和信息化發展研究院深圳市美高電子設備有

、、、

限公司特斯聯科技集團有限公司北京東土科技股份有限公司

、、。

本文件主要起草人孫偉吳曉明楊宏郭雄李剛蘇靜茹周鳴樂孫金洋馮丹劉洋葛永新

:、、、、、、、、、、、

蔡廷曉何傳勇張曉張曉春李雪生趙向陽魯璐謝書鴻白欣璐翟夢然孟凡輝周海徐光磊

、、、、、、、、、、、、、

林濤童世華陳維杰王豪邁闞倩呂磊楊鈺姜瑞靜程遠

、、、、、、、、。

本文件及其所代替文件的歷次版本發布情況為

:

年首次發布為

———2000GB/T17966—2000;

本次為第一次修訂

———。

Ⅲ

GB/T17966—2024

引言

本文件提供了執行浮點運算的規則其產生的結果與完成該操作的硬件軟件或軟硬件組合無關

,、。

對于本文件規范部分規定的操作數值結果和異常由輸入數據操作和目標的值唯一確定均由用戶

,、,

控制

。

本文件定義了一種可以系統商業化的二進制與十進制的浮點運算其中本文件所滿足的需求包括

。

以下內容

。

促進現有程序從其他類型的計算機以及部分符合本文件的計算機遷移到完全符合本文件的計

a)

算機

。

增強在數值法方面非專業的用戶和程序員在編寫復雜的數值程序時的兼容性和安全性

b)。

鼓勵專家開發穩定和高效的數值程序這些程序可以通過簡單的編輯和重新編譯的方式移植

c),

到任何符合本文件并具有足夠容量的計算機上結合語言控制實現所有符合標準的系統上

。,

的程序產生相同結果

。

為以下情況提供直接支持

d):

執行時間異常診斷

1);

更順暢地處理異常

2);

以合理的成本執行區間算法

3)。

為以下情況提供發展條件

e):

常見的基本函數如或

1),expcos;

高精度多字符運算

2)();

耦合數值和符號代數計算

3)。

允許而不是排除進一步的優化和擴展

f)。

在編程環境中本文件也將成為數學界和編程語言設計者之間對話的基礎人們希望在未來幾年

,。

能夠推出可以控制表達式計算與異常結果的編程語言以便可以編寫運行在所有符合標準的系統上并

,

產生相同結果的程序然而人們意識到在編程語言中實用性和安全性有時是對立的就像效率和可

。,,,

移植性也是如此

。

因此希望編程語言設計者將本文件框架所描述的全套操作精度和異常控制作為為程序員提供

,、,

可移植地控制表達式和異常的能力的指南同樣也希望編程語言設計者能在本文件的框架下以一種

。,

完全可移植的方式提供擴展

。

附錄提出了用于調試支持的編程環境功能

A。

Ⅳ

GB/T17966—2024

信息技術微處理器系統浮點運算

1范圍

11規定內容

.

本文件規定了計算機系統浮點運算的格式和運行要求定義了浮點運算的異常條件并規定了其處

,

理要求

。

本文件適用于采用浮點數進行運算和數據交換的計算機系統

。

12實現目標

.

本文件給出了一種使用浮點數進行計算的方法該方法無論是在硬件軟件還是兩者的組合中進行

,、

處理都會產生相同的結果其計算結果是基于同一輸入數據相同的且與實現無關不論實現的情

,。,,。

況如何運算處理中的錯誤和錯誤條件都將以一致的方式報告

,。

13包