24531904_j

stf
stf ─ 浮動小数点ストア (Floating-point Store)
書式 : (qp) stffsz.sthint [r 3 ] = f 2 normal_form, no_base_update_form M9
(qp) stffsz.sthint [r 3 ] = f 2 , imm 9 normal_form, imm_base_update_form M10
(qp) stf8.sthint [r 3 ] = f 2 integer_form, no_base_update_form M9
(qp) stf8.sthint [r 3 ] = f 2 , imm 9 integer_form, imm_base_update_form M10
(qp) stf.spill.sthint [r 3 ] = f 2 spill_form, no_base_update_form M9
(qp) stf.spill.sthint [r 3 ] = f 2 , imm 9 spill_form, imm_base_update_form M10
説明 : FR f2 から fsz バイ ト の値が取り出され、 GR r3 の値で指定されるアド レスから始まるメモ
リ位置に書き込まれる。 normal_form では、 FR f2 の値が メ モ り 形式に変換 さ れてか ら ス
トアされる。 integer_form では、 FR f2 の仮数がス ト アされる。 fsz コンプリータの値は
3:139 ページの表 2-35 に示している。 normal_form または integer_from では、 GR r3 に対
応する NaT ビットが1 か、 あるいは FR f2 の内容が NaTVal である場合は、 レジスタ NaT
参照 (Register NaT Consumption) フ ォ ル ト が発生する。 浮動小数点レジス タ形式か らの変
換の詳細は、 第 1 巻、 第 1 部の 5.1 節 「データ型および形式」 を参照のこ と。
spill_form では、 FR f2 から 16 バイ ト の値が取り出されて、 変換されないでストアされ る。 こ の命令は レ ジ ス タ を ス ピルす る場合に使用 さ れる。 詳細は、 第 1 巻、 第 1 部の
4.4.4 項 「コン ト ロール ・ スペキュレーシ ョ ン」 を参照のこ と。
imm_base_update 形式では、 GR r3 の値が符号付き即値 (imm9 ) に加算 さ れ、 結果が GR r3 に戻される。 こ のベース ・ レ ジス タの更新はス ト アの後で行われ、 ス ト ア ・ ア ド レスに
は影響しない。
物理メ モ リ ・ ア ド レ ス と ア ク セス ・ サイ ズを使用して ALAT が照会され、 すべてのオ ー
バラ ップ ・ エン ト リが無効にされる。
sthint コ ン プ リ ー タ の値で メ モ リ ・ ア ク セスの局所性を指定す る。 stint コンプリータの値
は、 3:226 ページの表 2-50 に示している。 base_update 形式には、 プ リ フ ェ ッ チ ・ ヒ ン ト
が暗黙的に含まれている。 ベー スの更新後の GR r3 の値に よ っ て指定されるア ド レスが、
指定 さ れたキ ャ ッ シ ュ ・ ラ イ ン をプ リ フ ェ ッ チす る よ う に指示する ヒ ン ト と して機能す
る。 このプ リ フ ェ ッチは、 sthint で指定される局所性ヒン ト を使用する。 第 1 巻、 第 1 部
の 4.4.6 項 「メ モ リ 階層の制御 と 整合性」 を参照のこ と。
ライ トバック ・ ポリシーを持つキャッシュ可能ページでも NaTPage でもないページを参
照する stfe(10 バイ ト ) 命令が、 ハー ド ウ ェ ア上でサポ ー ト さ れる か ど う かは、 プ ロ
セッサによって異なる。 このようなstfe アクセスをサポー トしないプロセッサ・モデ
ル上で、 サポ ー ト さ れていない参照を行 う と 、 サポ ー ト さ れないデ ー タ参照フ ォ ル ト が
発生す る。
操作 : if (PR[qp]) {
if (imm_base_update_form)
check_target_register(r 3);
if (tmp_isrcode = fp_reg_disabled(f 2 , 0, 0, 0))
disabled_fp_register_fault(tmp_isrcode, WRITE);
if (GR[r 3 ].nat || (!spill_form && (FR[f 2 ] == NATVAL)))
register_nat_consumption_fault(WRITE);
size = spill_form ? 16 : (integer_form ? 8 : fsz);
itype = WRITE;
if (size == 10) itype |= UNCACHE_OPT;
paddr = tlb_translate(GR[r 3 ], size, itype, PSR.cpl, &mattr, &tmp_unused);
val = fp_fr_to_mem_format(FR[f 2], size, integer_form);
mem_write(val, paddr, size, UM.be, mattr, UNORDERED, sthint);
第 3 巻 : 命令リファレンス 3:227