浮動小数点数、アンダーフローしたときって符号情報残ってるの?
@azyobuzin マイナス0はちゃんと存在する。浮動小数点数の0は、非正規数の最小値より細かい値なので切り捨てられる範囲を含んでいて数学的に厳密な0とは限らない。
@204504bySE -0 を表現できるのはわかるんですけど、 負値 * 小さい正値 したときに、必ず -0 が得られるのか、それとも実装次第で +0 になっちゃうこともあるのかというところが気になりです
@azyobuzin
FMUL/FMULP/FIMUL — Multiply https://www.felixcloutier.com/x86/fmul:fmulp:fimul
fmul命令では入力値の符号だけで出力値の記号が決まるそうで。
@204504bySE なるほど、 x86 なら確実にこの表通りになるわけですね