24531904_j

mov ar
操作 : if (PR[qp]) {
tmp_type = (i_form ? AR_I_TYPE : AR_M_TYPE);
if (is_reserved_reg(tmp_type, ar 3 ))
illegal_operation_fault();
}
if (from_form) {
check_target_register(r 1 );
if (((ar 3 == BSPSTORE) || (ar 3 == RNAT)) && (AR[RSC].mode != 0))
illegal_operation_fault();
if (ar 3 == ITC && PSR.si && PSR.cpl != 0)
privileged_register_fault();
GR[r 1 ] = (is_ignored_reg(ar 3 )) ? 0 : AR[ar 3 ];
GR[r 1 ].nat = 0;
} else { // to_form
tmp_val = (register_form) ? GR[r 2 ] : sign_ext(imm 8 , 8);
}
if (is_read_only_register(AR_TYPE, ar 3 ) ||
(((ar 3 == BSPSTORE) || (ar 3 == RNAT)) && (AR[RSC].mode != 0)))
illegal_operation_fault();
if (register_form && GR[r 2 ].nat)
register_nat_consumption_fault(0);
if (is_reserved_field(AR_TYPE, ar 3 , tmp_val))
reserved_register_field_fault();
if ((is_kernel_reg(ar 3 ) || ar 3 == ITC) && (PSR.cpl != 0))
privileged_register_fault();
if (!is_ignored_reg(ar 3 )) {
tmp_val = ignored_field_mask(AR_TYPE, ar 3 , tmp_val);
// check for illegal promotion
if (ar 3 == RSC && tmp_val{3:2} u< PSR.cpl)
tmp_val{3:2} = PSR.cpl;
AR[ar 3] = tmp_val;
}
if (ar 3 == BSPSTORE) {
AR[BSP] = rse_update_internal_stack_pointers(tmp_val);
AR[RNAT] = undefined();
}
割り込み : 無効操作フ ォル ト 予約レジスタ / フィールド ・フォルト
レジスタ NaT 参照フ ォ ル ト 特権レ ジ ス タ ・ フ ォ ル ト
第 3 巻 : 命令リファレンス 3:155