24531904_j

cmp
る関係を利用する。 一部の imm8_form の擬似オペコ ー ド 比較では、 アセンブラは即値か
ら 1 を引いて、 許容 さ れる即値範囲をわずかに変更す る。 6 つの並列比較タ イ プの う ち、
3 つのタイプは実際には擬似オペコー ドである。 アセンブラは、 単に、 サポー ト されて
い る タ イ プ と 否定の関係を使用す る。 サポ ー ト さ れてい る関係 と 、 擬似オペ コ ー ド がそ
れらの関係にどのよ うにマップされているかを、 通常タイプや unc タ イ プの比較につい
ては表 2-16 に、 並列タ イ プの比較については表 2-17 にそれぞれ示す。
表 2-16. 通常および unc の比較での 64 ビット比較関係
crel
比較関係
(a rel b)
register_form での
擬似オペコード
imm8_form での
擬似オペコード
eq a == b -128 .. 127
ne a != b eq p 1 ↔ p 2 eq p 1 ↔ p 2 -128 .. 127
lt a < b 符号付き -128 .. 127
le a b lt a ↔ b lt a-1 p1 ↔ p2 -127 .. 128
ge a >= b lt p1 ↔ p2 lt p1 ↔ p2 -128 .. 127
即値の範囲
ltu a < b 符号なし 0 .. 127, 2 64 -128 .. 2 64 -1
leu a b ltu a ↔ b ltu a-1 p 1 ↔ p 2 1 .. 128, 2 64 -127 .. 2 64
geu a >= b ltu p 1 ↔ p 2 ltu p 1 ↔ p 2 0 .. 127, 2 64 -128 .. 2 64 -1
並列タ イ プは、 限定 さ れた関係 と オペラ ン ド のセ ッ ト に対してのみ使用で き る。 こ れ ら
のタイプでは、 2 つのレジスタ間またはレジスタと即値との間の等および不等比較に使
用でき る。 あるいは、 レ ジス タ と GR 0 と の間の不等比較に使用でき る。 符号なしの関
係は、 ど ち ら かのオペラ ン ド がゼ ロ の と き はあ ま り 有用でないので用意 さ れていない。
並列の不等比較は、 第 1 オペラン ド (GR r 2 ) が GR 0 である比較についてのみ、 ハー ド
ウ ェ アで直接サポ ー ト さ れている。 第 2 オペラン ド が GR 0 である比較は擬似オペコ ー
ド であ り 、 アセンブ ラ は その レ ジ ス タ指定子を切 り 換えて、 反対の関係を利用す る。
表 2-17. 並列比較での 64 ビット比較関係
crel 比較関係 (a rel b) register_form での擬似オペコード 即値の範囲
eq a == b -128 .. 127
ne a != b -128 .. 127
lt 0 < b 符号付き imm8_form なし
lt a < 0 gt a ↔ b
le 0 0 lt a ↔ b
ge 0 >= b
ge a >= 0 le a ↔ b
第 3 巻 : 命令リファレンス 3:35