丸め精度の設定 (contd.)

[結論]  store-reload が前提なら、倍精度のままでよい。
     そのまま単精度数の演算を行っても問題ない。

[Q]  2度丸めで結果が変わる危険はないのか？
1. 結果がレジスタに格納される時、倍精度 (53 bit 精度) に。
2. 続いてメモリにストアされる時、単精度 (24 bit 精度) に。

[A]  問題なし。
1度で単精度まで丸めた値と、2度丸めの値は異なり得ない。

乗算の場合:   24 bit × 24 bit はたかだか 48 bit、
              1度目の丸めの影響を受けない。
除算の場合:   (略: 技術概要参照)
              数学的に厳密な証明はできていない...