名称

feclearexcept, fegetexceptflag, feraiseexcept, fesetexceptflag, fetestexcept, fegetround, fesetround, fegetenv, feholdexcept, fesetenv, feupdateenv, feenableexcept, fedisableexcept, fegetexcept — 浮動小数点環境の制御

ライブラリ

Math Library (libm, -lm)

書式

#include < fenv.h>

#pragma STDC FENV_ACCESS ON

int
feclearexcept( int excepts);

int
fegetexceptflag( fexcept_t *flagp, int excepts);

int
feraiseexcept( int excepts);

int
fesetexceptflag( const fexcept_t *flagp, int excepts);

int
fetestexcept( int excepts);

int
fegetround( void);

int
fesetround( int round);

int
fegetenv( fenv_t *envp);

int
feholdexcept( fenv_t *envp);

int
fesetenv( const fenv_t *envp);

int
feupdateenv( const fenv_t *envp);

int
feenableexcept( int excepts);

int
fedisableexcept( int excepts);

int
fegetexcept( void);

解説

< fenv.h> ルーチンは、 IEEE Std 754-1985 で定義された例外フラグと丸めモードを含んで、浮動小数点環境を操作します。

例外

例外フラグは、浮動小数点の四則演算と数学ライブラリルーチンの副作用として設定され、それらは、明示的にクリアされるまで設定されたままとなります。次のマクロは、5 つの標準の浮動小数点の例外を表す int タイプのビットフラグを展開します。

さらに、 FE_ALL_EXCEPT マクロは、上記のフラグと任意のアーキテクチャ特有のフラグのビット毎の論理和 (OR) に展開します。これらのフラグの組み合わせは、それぞれ、プロセッサの浮動小数点の例外フラグをクリアする、格納する、起こす、復元する、と調べるために feclearexcept(), fegetexceptflag(), feraiseexcept(), fesetexceptflag() と fetestexcept() 関数に渡されます。

例外は、 feenableexcept() でアンマスクされ、 fedisableexcept() でマスクされます。アンマスクされた例外は、それらが生成されるとき、トラップを引き起こし、すべての例外がデフォルトでマスクされます。現在のマスクは、 fegetexcept() でテストすることができます。

丸めモード

IEEE Std 754-1985 は、4 つの丸めモードを定めています。これらのモードは、2 進の浮動小数点の変数にそれらに適合するためにそれらの正確な値から丸められる結果の方向を制御します。 4 つのモードが次のシンボリック定数に対応しています。

fegetround() と fesetround() 関数は、丸めモードを問い合わせして、設定します。

環境制御

fegetenv() と fesetenv() 関数は、例外フラグ、現在の例外マスク、丸めモード、とことによると他の実装特有の状態を含んで、浮動小数点の環境を保存して復元します。 feholdexcept() 関数は、 fegetenv() のように振る舞いますが、例外フラグをクリアして、ノンストップモードをインストールするという追加の効果があります。ノンストップモードでは、浮動小数点の操作は、いつものように例外フラグを設定しますが、 SIGFPE シグナルが結果として発生しません。ノンストップモードは、デフォルトですが、それは、 feenableexcept() と fedisableexcept() によって変更されるかもしれません。 feupdateenv() 関数は、 fesetenv() と同様に保存された環境を復元しますが、またそれは、古い環境から何らかの浮動小数点の例外も再び起こします。

マクロ FE_DFL_ENV は、デフォルト環境へのポインタに展開します。

使用例

次のルーチンは、平方根関数を計算します。それは、 feraiseexcept() を使用して、適切な入力で明示的に無効例外を起こします。また、それは、中間値を計算している間に不正確例外を延期し、次に、最終的な答えが不正確である場合にだけ、不正確例外が起こされることを許します。

#pragma STDC FENV_ACCESS ON 
double sqrt(double n) { 
 double x = 1.0; 
 fenv_t env; 
 
 if (isnan(n) || n < 0.0) { 
  feraiseexcept(FE_INVALID); 
  return (NAN); 
 } 
 if (isinf(n) || n == 0.0) 
  return (n); 
 feholdexcept(&env); 
 while (fabs((x * x) - n) > DBL_EPSILON * 2 * x) 
  x = (x / 2) + (n / (2 * x)); 
 if (x * x == n) 
  feclearexcept(FE_INEXACT); 
 feupdateenv(&env); 
 return (x); 
}

規格

以下の注意事項を除いて、 < fenv.h> ISO/IEC 9899:1999 (“ISO C99”) に適合しています。 feenableexcept(), fedisableexcept() と fegetexcept() ルーチンは、拡張されています。

歴史

< fenv.h> ヘッダは、 FreeBSD 5.3 ではじめて登場しました。それは、 < ieeefp.h> で定義され、 fpgetround(3) で文書化された標準的でないルーチンにとって代わります。

警告

FENV_ACCESS pragma は

#pragma STDC FENV_ACCESS ON

で有効にでき、

#pragma STDC FENV_ACCESS OFF

指示で無効にすることができます。この語句解析の範囲の注釈は、プログラムが浮動小数点の環境にアクセスするかもしれないとコンパイラに伝えるので、厳しい IEEE-754 セマンティクスに違反する最適化は無効にされます。実行が FENV_ACCESS がオフであるコードのブロックに到達するなら、浮動小数点の環境は未定義になります。

バグ

FENV_ACCESS pragma は、システムコンパイラで実装されていません。しかしながら、一般的に、定数でない式は、低い最適化レベルで正しい副作用を発生させます。

YOS OPENSONAR

名称

ライブラリ

書式

解説

例外

丸めモード

環境制御

使用例

関連項目

規格

歴史

警告

バグ