strictfp の実現手法 (contd.)

store-reload
演算のたびに結果を倍(単)精度数としてメモリにストアする。
ストアによって、指数部は 11(8) bit で表現される。
レジスタ上ではどうしても 15 bit。
加減乗除算で必要。

store-reload だけでは、演算時とストア時の 2回丸めが起き、
きちんと1度で丸められた場合と結果が異なり得る。そこで...

scaling
演算前にオペランドに定数を乗じ、結果にその逆数を乗じる。
scale `down and up' または `up and down'
レジスタ上で適切に underflow を起こし、2度丸めを防ぐ。
2度丸め: 非正規化数がレジスタ上で正規化数として
            扱われてしまい、メモリへのストア時に非正規化数に変換される。
乗除算で必要。