FLT_HAS_SUBNORM is 0FP 演算 (add、mul、div など) の実行中に非正規値が発生した場合 (またはこれらの FP 演算への入力として非正規値が与えられた場合)、FP エンジンの実装 (つまり、HW 実装 [ FPU ]、SW 実装 [SW FP ライブラリ]、HW-SW 混合実装 [HW 命令とそれに続く追加の SW 後処理を使用する SW FP ライブラリ]) は、次のことができます。
- そのような非正規値を検出し、それらをゼロに設定します (つまり
flash-to-zero、ポリシー / ロジック)。 - [特別な] 何もしない (予測できない出力結果値につながる)。
質問: 誰かが、このケースの動作がカテゴリに分類されることを納得させる正しい議論を提供できますCか?IEEE 754unspecified behavior
注: ISO/IEC 9899:202x (E) ワーキング ドラフト — 2020 年 2 月 5 日 N2479:
3.4.4 不特定の振る舞い
不特定の値の使用に起因する動作、またはこのドキュメントが 2 つ以上の可能性を提供し、任意のインスタンスで選択されるさらなる要件を課さないその他の動作