fp-model、fp

浮動小数点演算のセマンティクスを制御します。

IDE オプション

Windows: なし

Linux: [Floating point (浮動小数点)] > [Floating Point Model (浮動小数点モデル)]

Mac OS X:
[Floating point (浮動小数点)] > [Floating Point Model (浮動小数点モデル)]
[Floating point (浮動小数点)] > [Reliable floating-point exceptions model (信頼性のある浮動小数点例外モデル)] (fp-model except)

アーキテクチャー

IA-32 アーキテクチャー、インテル(R) 64 アーキテクチャー、IA-64 アーキテクチャー

構文

Linux* および Mac OS* X: -fp-model keyword
Windows*:  /fp:keyword

引数

keyword 使用するセマンティクスを指定します。設定可能な値は以下のとおりです。
  precise 浮動小数点データで精度に影響しない最適化を有効にします。
  fast[=1|2] 浮動小数点データにより強力な最適化を有効にします。
  strict preciseexcept を有効にし、縮約を無効にし、プラグマ stdc fenv_access を有効にします。
  source 中間結果をソースで定義された精度に丸め、精度に影響しない最適化を有効にします。
  double 中間結果を 53 ビット (double) 精度まで丸め、精度に影響しない最適化を有効にします。
  extended 中間結果を 64 ビット (extended) 精度まで丸め、精度に影響しない最適化を有効にします。
  [no-]except (Linux および Mac OS X) または
except[-]
(Windows)
浮動小数点例外セマンティクスを使用するかどうかを決定します。

デフォルト

-fp-model fast=1 または
/fp:fast=1
コンパイラーは浮動小数点演算に、より強力な最適化を有効にします。ただし、-O0 (Linux および Mac OS X) または /Od (Windows) を指定した場合、デフォルトは -mp (Linux および Mac OS X) または /Op (Windows) です。

説明

浮動小数点演算のセマンティクスを制御します。

keyword は次のグループに分けられます。

複数の keyword を使用できます。ただし、次の規則が適用されます。

オプション 説明
-fp-model precise または /fp:precise 浮動小数点の演算時に、厳密に精度に影響しない最適化を行うようコンパイラーに指示します。浮動小数点演算の結果を変更してしまう最適化は無効になります。ANSI 規格に厳密に準拠していなければなりません。これらのセマンティクスは、浮動小数点演算の精度を保証しますが、パフォーマンスを低下させる可能性があります。

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

中間結果は、次の表で示される精度によって計算されます。

  Windows Linux Mac OS X
IA-32 アーキテクチャー 拡張 拡張
インテル(R) 64 アーキテクチャー ソース ソース N/A
IA-64 アーキテクチャー 拡張 拡張 N/A
 
浮動小数点セマンティクスはデフォルトで無効です。これらのセマンティクスを有効にするには、-fp-model except または /fp:except を指定しなければなりません。

ソースコードで浮動小数点演算の解釈に適用されるセマンティクスについての情報は、「浮動小数点演算」precise を参照してください。
-fp-model fast[=1|2] または /fp:fast[=1|2] 浮動小数点の演算時に、より強力な最適化を行うようコンパイラーに指示します。これらの最適化で速度は向上しますが、浮動小数点演算の精度を変更してしまう可能性があります。

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

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

ソースコードで浮動小数点演算の解釈に適用されるセマンティクスについての情報は、「浮動小数点演算」fast を参照してください。
-fp-model strict または /fp:strict 浮動小数点の演算時に、厳密に精度に影響しない最適化を行うようコンパイラーに指示し、浮動小数点例外セマンティクスを有効にします。これは最も厳密な浮動小数点モデルです。

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

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

ソースコードで浮動小数点演算の解釈に適用されるセマンティクスについての情報は、「浮動小数点演算」strict を参照してください。
-fp-model source または /fp:source このオプションは keyword precise に似ていますが、 中間結果がソースコードで定義された精度に丸められる点は異なります。
中間式では、より高い精度のオペランドのソースが使用されます (該当する場合)。
long double 64 ビット精度 80 ビット・データ型 指数部 15 ビット
double 53 ビット精度 64 ビット・データ型 指数部 11 ビット。IA-32 アーキテクチャー・ベースの Windows システムでは、x87 レジスターで値が保持される場合、指数部は 15 ビットです。
float 24 ビット精度 32 ビット・データ型 指数部 8 ビット
 
コンパイラーはデフォルトの浮動小数点環境を想定します。変更はできません。

ソースコードで浮動小数点演算の解釈に適用されるセマンティクスについての情報は、「浮動小数点演算」source を参照してください。
-fp-model double または /fp:double このオプションは、keyword precise と同じですが、中間結果は次のように丸められます。
53 ビット (double) 精度
64 ビット・データ型
指数部 11 ビット。IA-32 アーキテクチャー・ベースの Windows システムでは、x87 レジスターで値が保持される場合、指数部は 15 ビットです。
 
コンパイラーはデフォルトの浮動小数点環境を想定します。変更はできません。

ソースコードで浮動小数点演算の解釈に適用されるセマンティクスについての情報は、「浮動小数点演算」double を参照してください。
-fp-model extended または /fp:extended このオプションは、keyword precise と同じですが、中間結果は次のように丸められます。
64 ビット (extended) 精度
80 ビット・データ型
指数部 15 ビット
 
コンパイラーはデフォルトの浮動小数点環境を想定します。変更はできません。

ソースコードで浮動小数点演算の解釈に適用されるセマンティクスについての情報は、「浮動小数点演算」extended を参照してください。
-fp-model except または /fp:except 浮動小数点例外セマンティクスを使用するようコンパイラーに指示します。

代替オプション

なし

このオプションの使用方法については、「浮動小数点演算」を参照してください。

関連情報

mp コンパイラー・オプション

Op コンパイラー・オプション

mp1、Qprec コンパイラー・オプション

MSDN が提供する記事 『Microsoft Visual C++ Floating-Point Optimization』 では、このオプションの概念が説明されています。