24531904_j

fchkf ─ 浮動小数点フラグ・チェック (Floating-point Check Flags)
書式 : (qp) fchkf.sf target 25 F14
説明 : FPSR.sf.flags のフラグが FPSR.s0.flags および FPSR.traps と比較される。 FPSR.sf.flags 内の
セ ッ ト されている フ ラグのなかでイネ ーブルに されている FPSR.traps に対応する も のが
ある場合、 あるいは FPSR.sf.flags 内のセ ッ ト されている フ ラグのなかで FPSR.s0.flags に
セ ッ ト さ れていない も のがあ る場合に は、 target25 への分岐が発生する。
target25 オペラ ン ド に は分岐先の ラベルを指定す る。 こ れで、 こ の命令を含むバン ド ルか
ら 分岐先バン ド ル ま での変位が計算 さ れて、 符号付き即値 (imm21 ) として命令にエン
コードされる (imm21 = target25 - IP >> 4)。
こ の命令の分岐動作は、 オプシ ョ ン に よ り 、 実装しな く て も よ い。 分岐動作が実装 さ れ
ていないに も かかわ ら ず、 こ の命令が分岐した場合は、 スペキ ュ レ ー テ ィ ブ操作フ ォ ル
トが発生し、 imm21 で指定された値がゼロ拡張されて、 割り込み即値コ ン ト ロ ール ・ レ
ジスタ (IIM) に格納される。 フ ォル ト ・ ハン ド ラは、 IIM の値を符号拡張して IIP に加算
し、 制御を戻す と、 分岐をエ ミ ュ レー ト する。
sf のニーモニ ッ ク値は 3:50 ページの表 2-23 に示している。
操作 : if (PR[qp]) {
switch (sf) {
case ‘s0’:
tmp_flags = AR[FPSR].sf0.flags;
break;
case ‘s1’:
tmp_flags = AR[FPSR].sf1.flags;
break;
case ‘s2’:
tmp_flags = AR[FPSR].sf2.flags;
break;
case ‘s3’:
tmp_flags = AR[FPSR].sf3.flags;
break;
}
if ((tmp_flags & ~AR[FPSR].traps) || (tmp_flags & ~AR[FPSR].sf0.flags)) {
if (check_branch_implemented(FCHKF)) {
taken_branch = 1;
IP = IP + sign_ext((imm 21