24531904_j

fclass
fclass ─ 浮動小数点分類 (Floating-point Class)
書式 : (qp) fclass.fcrel.fctype p 1 , p 2 = f 2 , fclass 9 F5
説明 : FR f2 の内容が、 表 2-25 に示すよ う に、 fclass9 コンプリータに従ってクラスに分類され
る。 この操作によ り、 fcrel コンプリータによる指定に従って、 FR f2 の内容が fclass9 で指
定 される浮動小数点数形式に一致してい る か ど う かが判定 さ れ、 ブ ー ル結果が生成 さ れ
る。 こ の結果は 2 つのプレデ ィ ケー ト ・ レジスタ ・ デステ ィ ネーシ ョ ン p1 および p2 に
書き込まれる。 両デスティ ネーシ ョ ンに書き込まれる結果は、 fctype で指定される比較
タイプによって決まる。
使用で き る タ イ プは、 通常 ( または無指定) と unc である。 3:60 ページの表 2-26 を参照
の こ と。 アセンブ リ のシン タ ッ ク スでは メンバシ ッ プの有無の指定が可能であ り 、 アセ
ンブラがタ ーゲ ッ ト ・ プレデ ィ ケ ー ト をスワ ッ プして、 必要な結果を達成する。
表 2-24. 浮動小数点クラスの関係
fcrel 判定テストの関係
m FR f2 が fclass9 で指定されるパターンと一致する ( メンバ資格あり )。
nm FR f2 が fclass9 で指定されるパターンと一致しない ( メンバ資格なし )。
以下のいずれかの条件が成立する場合に、 数値は fclass9 で指定されるパタ ー ン と 一致し
ている と判定される。
• 数値が NaTVal であり、 かつ fclass9 {8} が 1 である。
• 数値が ク ワ イ エ ッ ト 型 NaN であり、 かつ fclass9 {7} が 1 である。
• 数値がシ グナル型 NaN であり、 かつ fclass9 {6} が 1 である。
• 数値の符号が、 fclass9 の下位 2 ビ ッ ト のいずれかで指定される符号 と 一致し、 かつ
数値の型 ( 符号は無視 ) が、 表 2-25 に従って、 fclass9 の次の 4 ビッ トによって指定
される数値の型と一致する。
注 : fclass9 を 0x1FF にする と 、 サポ ー ト されているいずれかのオペラ ン ド であるかど う
かを判定するこ と になる。 表 2-25 に使用されている ク ラス名は、 第 1 巻、 第 1 部
の表 5-2 「浮動小数点レ ジ ス タ のエン コ ー デ ィ ン グ」 に定義してある。
表 2-25. 浮動小数点のクラス
fclass9 下のパターンで右側の型を判定できる。
クラス ニーモニック
0x0100 NaTVal @nat
0x080 クワイエット型 NaN @qnan
0x040 シグナル型 NaN @snan
下の 2 つのパターンの論理和で右側の型を判定できる。
0x001 正 @pos
0x002 負 @neg
下の 4 つのパターンの論理和との論理積で右側の型を判定できる。
0x004 ゼロ @zero
0x008 非正規数 @unorm
0x010 正規数 @norm
0x020 無限大 @inf
第 3 巻 : 命令リファレンス 3:57