fp-model、fp

-fp-model precise または /fp:precise

浮動小数点の演算時に、厳密に精度に影響しない最適化を行うようにコンパイラーに指示します。浮動小数点演算の結果を変更してしまう最適化は無効になります。

これらのセマンティクスは、シリアルコードおよびコンパイラーによりベクトル化または自動並列化されたコードの浮動小数点演算の再現性 (結果の一貫性) を保証しますが、パフォーマンスを低下させる可能性があります。その他の並列コードの値の安全性や実行ごとの再現性は保証しません。OpenMP* コードにおける浮動小数点リダクション操作の実行ごとの再現性は、KMP_DETERMINISTIC_REDUCTION 環境変数を使用してスレッド数を固定することで得られる可能性があります。この環境変数に関する詳細は、「サポートされる環境変数」を参照してください。

コンパイラーはデフォルトの浮動小数点環境を想定します。変更はできません。

fp-model precise オプションは fp-model source を意味し、fp:precise オプションは fp:source を意味します。

浮動小数点セマンティクスはデフォルトで無効です。これらのセマンティクスを有効にするには、-fp-model except または /fp:except を指定しなければなりません。

-fp-model fast[=1|2] または /fp:fast[=1|2]

浮動小数点の演算時に、より強力な最適化を行うようにコンパイラーに指示します。これらの最適化で速度は向上しますが、浮動小数点演算の精度と再現性に影響する可能性があります。

fast を指定することは fast=1 を指定するのと同じです。fast=2 を指定するとより早く結果を生成できますが、精度が落ちます。

浮動小数点例外セマンティクスはデフォルトでは無効です。同じコンパイル処理で fast と except を一緒に指定できないため、有効にすることはできません。例外セマンティクスを有効にするには、別の keyword (詳細は、ほかの keyword の説明を参照してください) を明示的に指定する必要があります。

例外セマンティクスを有効にするには、別の keyword (詳細は、ほかの keyword の説明を参照してください) を明示的に指定する必要があります。

-fp-model consistent または /fp:consistent

異なる最適化レベルや同じアーキテクチャーの異なるプロセッサーで一貫した再現性のある浮動小数点結果となるコードを生成するようにコンパイラーに指示します。

詳細は、『インテル® コンパイラーの浮動小数点演算における結果の一貫性』 (https://www.isus.jp/products/c-compilers/consistency-of-floating-point-results/) を参照してください。

-fp-model strict または /fp:strict

浮動小数点の演算時に、厳密に精度に影響しない最適化を行うようにコンパイラーに指示し、浮動小数点例外セマンティクスを有効にします。これは最も厳密な浮動小数点モデルです。

コンパイラーはデフォルトの浮動小数点環境を想定しません。変更することが可能です。

浮動小数点例外セマンティクスは、明示的に -fp-model no-except または /fp:except- を指定することで無効にできます。

-fp-model source または /fp:source

このオプションは、中間結果をソースコードで定義された精度に丸めます。また、グループ A の keyword で上書きされない限り、precise の keyword を意味します。

コンパイラーはデフォルトの浮動小数点環境を想定します。変更はできません。

-fp-model except または /fp:except

厳密な浮動小数点例外セマンティクスを使用するようにコンパイラーに指示します。