24531904_j

mov ─ プレディケートの移動 (Move Predicates)
mov pr
書式 : (qp) movr 1 = pr from_form I25
(qp) mov pr = r 2 , mask 17 to_form I23
(qp) mov pr.rot = imm 44 to_rotate_form I24
説明 : ソース・オペランドがデスティネーション・レジスタにコピーされる。
GR へのプ レ デ ィ ケ ー ト の移動では、 PR i が GR r1 内のビ ッ ト 位置 i にコピーされる。
プレデ ィ ケー ト への移動では、 ソ ースには汎用レジスタ と即値が使用でき る。 to_form で
は、 ソ ース ・ オペラン ド は GR r2 であり、 即値 mask17 で指定されるプレデ ィ ケー ト だけ
が書き込まれる。 mask17 の値は、 imm16 = mask17 >> 1 になる よ う に命令内で imm16 フ ィ ールド にエンコー ド される。 プレディ ケー ト ・ レジスタ 0 は常に 1 である。 mask17 の値は符号拡張 される。 したが っ て、 mask17 の最上位ビ ッ ト は ロ ー テ ー ト ・ プレデ ィ
ケー トのすべてに対するマスク ・ ビッ トである。 GR r2 に対してデフ ァ ー ド ( 据え置き )
例外が存在していた (NaT ビッ トが1) 場合は、 レ ジ ス タ NaT 参照 (Register NaT
Consumption) フォルトが発生する。
to_rotate_form では、 48 のローテー ト ・ プレディ ケー ト しか書けない。 ソース ・ オペラン
ドはmask44 オペラン ド で与えられる ( 命令内では、 mask28 = imm44 >> 16 になる よ うに、
imm28 フィールドにエンコードされる)。 下位16 ビッ トはスタティックなプレディケー
ト ・ レ ジ ス タ に対応す る。 こ の即値が符号拡張されて、 上位 21 のプレデ ィ ケー ト を設定
する。 ソース ・ オペランドのビッ ト位置i が PR i にコピーされる。
この命令の操作は、 現在のフレーム ・マーカ (CFM.rrb.pr) 内のプレデ ィ ケ ー ト ・ ロ ー
テーション ・ベースがゼロであった場合と同様になる。
操作 : if (PR[qp]) {
if (from_form) {
check_target_register(r 1 );
GR[r 1 ] = 1; // PR[0] is always 1
for (i = 1; i