floating-point - 浮動小数点の安定性

Question

等しい2つの有理分数a/bとc/dがあるとします。a、b、c、およびdはすべて、32ビットの符号付き整数として表すことができます。64ビット浮動小数点数で除算を行う場合、a / b == c / dは常にありますか？

Answer 1

結果が同一であることが保証されている場合でも、コンパイラの最適化によって等式が真になることが妨げられる場合があります。元のx86浮動小数点演算は80ビットレジスタで実行されます。それらの1つを格納されている64ビット値と比較すると、おそらく等しくないものと比較されます。