24531904_j

fcmp ─ 浮動小数点比較 (Floating-point Compare)
書式 : (qp) fcmp.frel.fctype.sf p 1 , p 2 = f 2 , f 3 F4
説明 : 2 つのソース ・ オペラン ド が、 frel で指定される 12 種類の比較関係のいずれか 1 つと比
較される。 こ の操作に よ り 、 比較条件が真の場合にブール型の結果が 1 になり、 真でな
い場合に 0 にな る。 こ の比較結果は、 2 つのプレデ ィ ケー ト ・ レジスタ ・ デステ ィ ネー
ションp 1 および p 2 に書き込まれる。 結果がどのよ うにデステ ィ ネーシ ョ ンに書き込ま
れるかは、 fctype で指定される比較タ イ プに よ っ て決ま る。 使用で き る比較タ イ プは通
常 ( ま たは無指定 ) と unc である。
表 2-26. 浮動小数点の比較タイプ
fctype
PR[qp]==0
結果 ==0、ソースに
NaTVal なし
PR[qp]==1
結果 ==1、ソースに
NaTVal なし
3:60 第 3 巻 : 命令リファレンス
fcmp
ソースに NaTVal が 1
つ以上あり
PR[p1 ] PR[p2 ] PR[p1 ] PR[p2 ] PR[p1 ] PR[p2 ] PR[p1 ] PR[p2 ]
none 0 1 1 0 0 0
unc 0 0 0 1 1 0 0 0
sf のニーモニ ッ ク値は 3:50 ページの表 2-23 に示している。
各比較タ イ プに対して定義 さ れてい る比較関係の一覧を表 2-27 に示す。 12 種類の比較関
係のすべてがハー ド ウ ェ アで直接サポ ー ト されているわけではない。 一部は実際には擬
似オペコ ー ド である。 それらの比較関係に対しては、 アセンブラが単にソ ース ・ オペラ
ン ド 指定子やプレデ ィ ケー ト ・ タ ーゲ ッ ト 指定子を切り換えて、 サポ ー ト されている比
較関係を利用す る。
表 2-27. 浮動小数点の比較関係
frel frel コンプリータの意味 関係 擬似オペコード
オペランドが
クワイエット型 NaN の
場合の無効通知の有無
eq 等しい f2 == f3 なし
lt より小 f2 < f3 あり
le より小か等しい f2 f3 lt f2 ↔ f3 あり
ge より大か等しい f2 >= f3 le f2 ↔ f3 あり
unord 非順序化 ( アンオーダー) f2 ? f3 なし
neq 等しくない !(f2 == f3 ) eq p1 ↔ p2 なし
nlt より小でない !(f2 < f3 ) lt p1 ↔ p2 あり
nle より小でないか等しい !(f2 f3 ) lt f2 ↔ f3 p1 ↔ p2 あり
nge より大でないか等しい !(f2 >= f3 ) le f2 ↔ f3 p1 ↔ p2 あり
ord 順序化 ( オーダー ) !(f2 ? f3 ) unord p1 ↔ p2 なし