24531904_j

chk
chk ─ スペキュレーション・チェック (Speculation Check)
書式 : (qp) chk.sr 2 , target 25 擬似オペ コ ー ド
(qp) chk.s.ir 2 , target 25 control_form, i_unit_form, gr_form I20
(qp) chk.s.mr 2 , target 25 control_form, m_unit_form, gr_form M20
(qp) chk.sf 2 , target 25 control_form, fr_form M21
(qp) chk.a.aclr r 1 , target 25 data_form, gr_form M22
(qp) chk.a.aclr f 1 , target 25 data_form, fr_form M23
説明 : コント ロール・スペキュレーションまたはデータ ・ スペキュレーションによる計算の結
果をチェ ックして、 成功か失敗かが確認される。 チェ ックが失敗した場合は、 target25 へ
の分岐が実行される。
control_form では、 成否はソース ・ レジスタに対する NaT ビッ トにより判定される。
gr_form で GR r2 に対応する NaT ビッ トが1 の場合、 あるいは fr_form で FR f2 の内容が
NaTVal の場合は、 チェ ッ ク は失敗である。
data_form では、 成否は ALAT で判定される。 ALAT は、 gr_form の場合には 汎用レ ジ ス
タ指定子 r1 を、 fr_form の場合に は浮動小数点レ ジ ス タ指定子 f1 を使用して照会される。
一致す る ALAT エン ト リがない場合は、 チェ ッ クは失敗である。 ALAT エン ト リが一致
したかど う かに関わらず、 チェ ッ ク を必要に応じて失敗させる こ とができ る。 汎用レジ
スタ指定子r0 ま たは浮動小数点レ ジ ス タ指定子 f0 または f1 をとる chk.a 命令は、 常に
失敗す る。
target25 オペラ ン ド で、 アセン ブ リ で分岐先の ラベルを指定する。 こ の命令を含むバン ド
ルか ら 分岐先バン ド ル ま での変位を計算し、 符号付き即値 (imm21 ) と して こ の命令内に
エンコ ー ド される (imm21 = target25 - IP >> 4)。
こ の命令の分岐動作は、 オプシ ョ ン に よ り 、 実装しな く て も よ い。 分岐動作が実装 さ れ
ていないに も かかわ ら ず、 こ の命令が分岐した場合は、 スペキ ュ レ ー テ ィ ブ操作フ ォ ル
トが発生し、 imm21 で指定した値がゼロ拡張されて、 割り込み即値コン ト ロール ・ レジ
スタ (IIM) に格納される。 フ ォル ト ・ ハン ド ラは、 IIM の値を符号拡張して IIP に加算
し、 制御を戻す と、 分岐をエ ミ ュ レー ト する。
汎用レ ジ ス タ ・ チ ェ ッ ク 用の こ の命令の control_form は、 I ユニ ッ ト に対して も M ユ
ニ ッ ト に対して も エン コ ー ド 可能である。 実行す る ユニ ッ ト の タ イ プが重要でない場合
は、 擬似オペ コ ー ド を使用して よ い。
data_form では、 一致する ALAT エン ト リ がある場合は、 aclr コンプリータの値に基づい
て、 一致する ALAT エン ト リ を必要に応じて無効にでき る ( 表 2-14 を参照 )。
表 2-14. ALAT クリアのためのコンプリータ
aclr コンプリータ ALAT に対する効果
clr 一致する ALAT エントリを無効にする
nc 無効にしない
aclr コンプリータに clr 値を指定してチェ ッ クが成功した場合は、 ALAT の一致するエン
ト リ が無効に される。 ただし、 チ ェ ッ クが失敗した ( 一致す る ALAT エン ト リ があって
も失敗するこ とがある ) 場合は、 一致す る ALAT エン ト リ を必要に応じて無効にでき る
が、 必ずし も 無効にす る必要はない。 したが っ て、 デ ー タ ・ スペキ ュ レ ー シ ョ ンのため
のリカバリコードでは、 一致する ALAT エン ト リ が存在しないものと想定してはならな
い。
第 3 巻 : 命令リファレンス 3:31