24531904_j

FTST—TEST
オペコード 命令 説明
D9 E4 FTST ST(0) を 0.0 と比較する。
説明
ST(0) レジスタの値を 0.0 と比較し、 結果に従って FPU ステータス ・ ワー ド内の条件
コード ・フラグC0、 C2、 C3 をセッ ト する ( 以下の表を参照 )。
比較結果 C3 C2 C0
ST(0) > 0.0 0 0 0
ST(0) < 0.0 0 0 1
ST(0) = 0.0 1 0 0
順序化不可能 1 1 1
こ の命令は 「順序化不可能比較」 を行 う 。 順序化不可能比較は、 比較 さ れる両数値の ク
ラスのチェッ ク も行う (3:559 ページの 「FXAM—Examine」 を参照 )。 ST(0) レジスタの
値が NaN であるか、 またはそのフ ォ ーマッ ト が未定義の場合は、 条件コ ー ド ・ フラグが
「順序化不可能」 に設定 さ れる。
ゼ ロ の符号は無視 さ れる。 すなわ ち、 -0.0 = +0.0 である。
操作
CASE (relation of operands) OF
Not comparable: C3, C2, C0 ← 111;
ST(0) > 0.0: C3, C2, C0 ← 000;
ST(0) < 0.0: C3, C2, C0 ← 001;
ST(0) = 0.0:
ESAC;
C3, C2, C0 ← 100;
FPU 影響を受けるフラグ
C1 ス タ ッ ク ・ アンダ フ ロ ーが発生した場合は 0 にセッ ト さ
れ、 発生しなか っ た場合は 0 にクリアされる。
C0、 C2、 C3 上記の表を参照。
浮動小数点例外
#IS ス タ ッ ク ・ アンダ フ ロ ーが発生した場合。
#IA 一方ま たは両方のオペラ ン ド が NaN 値であるか、 ま たは
その フ ォ ー マ ッ ト がサポ ー ト さ れていない場合。
#D 一方ま たは両方のオペラ ン ド がデ ノ ーマル値である場合。
追加の Itanium ベース・システム環境例外
Itanium アーキテクチャ ・
レジスタ ・ フォルト
浮動小数点レ ジ ス タ無効フ ォ ル ト (PSR.dfl が 1 の場合 )、
NaT レ ジ ス タ参照アボ ー ト 。
3:554 第 3 巻 : IA-32 基本命令リファレンス