24531904_j

ldf
ldfe でのみ発生する。 コン ト ロール ・ スペキュ レーテ ィ ブ ・ タイプの ldfe では、 サ
ポー ト されないデータ参照フォルトは常にデファーされる ( 据え置かれる )。
操作 : if (PR[qp]) {
size = (fill_form ? 16 : (integer_form ? 8 : fsz));
speculative = (fldtype == ‘s’ || fldtype == ‘sa’);
advanced = (fldtype == ‘a’ || fldtype == ‘sa’);
check_clear = (fldtype == ‘c.clr’ );
check_no_clear = (fldtype == ‘c.nc’);
check = check_clear || check_no_clear;
itype = READ;
if (speculative) itype |= SPEC;
if (advanced) itype |= ADVANCE;
if (size == 10) itype |= UNCACHE_OPT;
if (reg_base_update_form || imm_base_update_form)
check_target_register(r 3 );
fp_check_target_register(f 1);
if (tmp_isrcode = fp_reg_disabled(f 1 , 0, 0, 0))
disabled_fp_register_fault(tmp_isrcode, itype);
if (!speculative && GR[r 3 ].nat) // fault on NaT address
register_nat_consumption_fault(itype);
defer = speculative && (GR[r 3 ].nat || PSR.ed);// defer exception if spec
if (check && alat_cmp(FLOAT, f 1)) { // no load on ldf.c & ALAT hit
if (check_clear) // remove entry on ldf.c.clr
alat_inval_single_entry(FLOAT, f 1 );
} else {
if (!defer) {
paddr = tlb_translate(GR[r 3 ], size, itype, PSR.cpl, &mattr,
&defer);
spontaneous_deferral(paddr, size, UM.be, mattr, UNORDERED,
ldhint, &defer);
if (!defer)
val = mem_read(paddr, size, UM.be, mattr, UNORDERED, ldhint);
}
if (check_clear || advanced) // remove any old ALAT entry
alat_inval_single_entry(FLOAT, f 1 );
if (speculative && defer) {
FR[f 1 ] = NATVAL;
} else if (advanced && !speculative && defer) {
FR[f 1 ] = (integer_form ? FP_INT_ZERO : FP_ZERO);
} else { // execute load normally
FR[f 1 ] = fp_mem_to_fr_format(val, size, integer_form);
}
}
if ((check_no_clear || advanced) && ma_is_speculative(mattr))
// add entry to ALAT
alat_write(FLOAT, f 1 , paddr, size);
if (imm_base_update_form) { // update base register
GR[r 3 ] = GR[r 3 ] + sign_ext(imm 9 , 9);
GR[r 3 ].nat = GR[r 3 ].nat;
} else if (reg_base_update_form) {
GR[r 3 ] = GR[r 3 ] + GR[r 2 ];
GR[r 3].nat = GR[r 3].nat || GR[r 2].nat;
}
第 3 巻 : 命令リファレンス 3:141