Previous: , Up: The optional Floating-Point word set   [Contents][Index]


9.7.2 Ambiguous conditions

df@ または df! が 2倍長 float にアライメントされていないアドレスで使用されています:

システムに依存します。 通常、 他のアライメント違反と同様に -23 THROW が発生します。

f@ または f! が float にアライメントされてないアドレスで使用されています:

システムに依存します。 通常、 他のアライメント違反と同様に -23 THROW が発生します。

浮動小数点の結果が範囲外です:

システムに依存します。 -43 throw (floating point overflow) または -54 throw (floating point underflow) または -41 throw (floating point inexact result;浮動小数点の不正確な結果) または -55 THROW (Floating-point unidentified fault;浮動小数点の未確認の障害) を発出する可能性があり、 または、 例えば無限大(Infinity)を表す特別な値が生成される可能性があります。

sf@ または sf! が1倍長浮動小数点数にアライメントされていないアドレスで使用されています:

システムに依存します。 通常、 他のアライメント違反と同様にアライメント違反が発生します。

base が 10 進数ではありません (REPRESENTF.FE.FS.):

それでもなお、 浮動小数点数は 10 進数に変換されます。

両方の引数がゼロに等しい(FATAN2):

システムに依存します。 FATAN2 は、 C言語のライブラリ関数 atan2() を使用して実装されます。

引数 r1FTAN を使用する場合、 cos(r1) はゼロです:

システムに依存します。 いずれにせよ、通常、 r1 の cos は小さな誤差によりゼロにはならず、 tan は非常に大きい(または非常に小さい)ものの有限の数になります。

d は、 ワード D>F で 2倍長整数から不動小数点数に変換しようとしますが、 浮動小数点数として正確に表すことができません:

結果は最も近い浮動小数点数に丸められます。

ゼロ除算:

プラットフォームに依存します。 Infinity または NaN または -42 throw (floating point divide by zero) または -55 throw (Floating-point unidentified fault) が生成される可能性があります。

変換のための指数が大きすぎます (DF!DF@SF!SF@):

システムに依存します。 IEEE-FP ベースのシステムでは、 数値は infinity (無限大)に変換されます。

float<1 (FACOSH):

プラットフォームに依存します。 IEEE-FP システムでは通常、 NaN が生成されます。

float<=-1 (FLNP1):

プラットフォームに依存します。 IEEE-FP システムでは通常、NaN (または float=-1 の場合は negative infinity(負の無限大))が生成されます。

float<=0 (FLN, FLOG):

プラットフォームに依存します。 IEEE-FP システムでは通常、 NaN (または float=0 の場合はnegative infinity(負の無限大))が生成されます。

float<0 (FASINH, FSQRT):

プラットフォームに依存します。 fsqrt の場合、 これは通常 NaN を返します。 fasinh の場合、一部のプラットフォームでは NaN が生成され、 その他のプラットフォームでは数値が生成されます(C ライブラリのバグかな?)。

|float|>1 (FACOS, FASIN, FATANH):

プラットフォームに依存します。 IEEE-FP システムは通常、 NaN を生成します。

float の整数部分は、 F>Dd で表すことができません:

プラットフォームに依存します。 通常、 2倍帳の数値が生成されますが、 エラーは報告されません。

表示数値数値出力(pictured numeric output)領域より大きい文字列(f.fe.fs.):

数値出力領域の Precision 文字が使用されます。 precision が高すぎる場合、 これらのワードは here に近いデータまたはコードを破壊します。


Previous: 実装毎オプション(Implementation Defined Options;idef), Up: The optional Floating-Point word set   [Contents][Index]