24531904_j

tnat
tnat ─ Test Nat テスト (Test NaT)
書式 : (qp) tnat.trel.ctype p 1 , p 2 = r 3 I17
説明 : GR r3 の Nat ビッ トが、 trel コンプリータに応じて補数を取られるかそのままで、 単一
ビ ッ ト の結果を形成す る。 こ の結果は、 プ レ デ ィ ケ ー ト ・ レ ジ ス タ ・ デス テ ィ ネ ー シ ョ
ン p1 およびp2 に書き込まれる。 結果がデスティネーションにどのように書き込まれる
かは、 ctype で指定される比較タ イプに よ って決ま る。 Compare 命令 と 3:34 ページの表
2-15 を 参照の こ と 。
trel コンプリータの値.nz および .z は、 それぞれ、、 非ゼロ判定かゼロ判定かを示す。 通
常タイプと unc タ イ プの比較では、 .z の値だけがハー ド ウ ェアに よ っ て直接サポ ー ト さ
れている。 つま り、 .nz 値は、 実際には擬似オペコ ー ド である。 .nz 値では、 アセンブラ
は単にプレディ ケー ト ・ ターゲッ ト指定子を切り換え、 サポー ト されている関係を利用
する。 並列タイプは、 両方の関係がハー ド ウ ェアでサポー ト される。
表 2-54. 通常および unc タイプの Nat 判定での関係
trel 判定関係 擬似オペコード
nz 選択されたビット == 1 z p1 ↔ p2 z 選択されたビット == 0
表 2-55. 並列タイプの NaT 判定での関係
trel 判定関係
nz 選択されたビット == 1
z 選択されたビット == 0
2 つのプレデ ィ ケー ト レジスタ ・ デステ ィ ネーシ ョ ンが同じ (p 1 と p 2 が同一のプレデ ィ
ケー ト ・ レジスタを指定) 場合は、 修飾プ レ デ ィ ケ ー ト がセ ッ ト さ れてい る か、 比較タ
イプが unc であれば、 こ の命令は無効操作 (Illegal Operation) フォルトを発生する。
操作 : if (PR[qp]) {
if (p1 == p2)
illegal_operation_fault();
if (trel == ‘nz’) // ‘nz’ - test for 1
tmp_rel = GR[r 3 ].nat;
else // ‘z’ - test for 0
tmp_rel = !GR[r 3 ].nat;
switch (ctype) {
case ‘and’: // and-type compare
if (!tmp_rel) {
PR[p 1 ] = 0;
PR[p 2 ] = 0;
}
break;
case ‘or’: // or-type compare
if (tmp_rel) {
PR[p 1 ] = 1;
PR[p 2 ] = 1;
}
break;
case ‘or.andcm’: // or.andcm-type compare
if (tmp_rel) {
PR[p 1] = 1;
第 3 巻 : 命令リファレンス 3:237