24531904_j

fi
この命令を発行する前に、 mf 命令を発行しなければな ら ない。 プ ロ セ ッ サは、 命令ス ト
リーム内で、 Itanium 命令セ ッ ト に よ っ て生成 さ れた書き込みが、 後続の IA-32 命令か ら
検出で き る こ と を保証していない。
ソフ ト ウェアは、 この命令を発行する前に、 コード ・セグメント ・ディスク リプタおよ
びセレ ク タがロー ド される よ う にしなければならない。 戻り先の EIP 値がコ ー ド ・ セグ
メ ン ト 制限を超え る場合や、 その値に コ ー ド ・ セグ メ ン ト 特権違反があ る場合は、 戻 り
先の IA-32 命令で、 IA-32_Exception(GPFault) 例外が発生す る。 16 ビットのIA-32 コード
への移行では、 IIP が CSD.base の 64K バイ ト の範囲か ら 外れる場合、 戻 り 先の命令で
GPFault が発生する。
戻り先の IA-32 命令が正常に終了す る ま で、 EFLAG.rf と PSR.id は変更されない。 戻り先
の IA-32 命令の実行が開始 さ れる前に、 PSR.da、 PSR.dd、 PSR.ia、 および PSR.ed は 0 に
クリアされる。
IA-32 命令セ ッ ト が実行 さ れた場合、 ALAT の内容は不定になる。 ソフトウェアは、 命令
セ ッ ト の移行の前後で、 ALAT の状態に依存してはな ら ない。 IA-32 コードへの移行の際
は、 ALAT 内の既存のエン ト リ は無視される。
操作 : if (!followed_by_stop())
illegal_operation_fault();
unimplemented_address = 0;
if (PSR.cpl != 0)
privileged_operation_fault(0);
taken_rfi = 1;
PSR = CR[IPSR];
if (CR[IPSR].is == 1) { //resume IA-32 instruction set
tmp_IP = CR[IIP];
if ((CR[IPSR].it && unimplemented_virtual_address(tmp_IP))
|| (!CR[IPSR].it && unimplemented_physical_address(tmp_IP)))
unimplemented_address = 1;
//compute effective instruction pointer
EIP{31:0} = CR[IIP]{31:0} - AR[CSD].Base;
//force zero-sized restored frame
rse_restore_frame(0, 0, CFM.sof);
CFM.sof = 0;
CFM.sol = 0;
CFM.sor = 0;
CFM.rrb.gr = 0;
CFM.rrb.fr = 0;
CFM.rrb.pr = 0;
rse_invalidate_non_current_regs();
//The register stack engine is disabled during IA-32
//instruction set execution.
} else { //return to Itanium instruction set
tmp_IP = CR[IIP] & ~0xf;
slot = CR[IPSR].ri;
if ((CR[IPSR].it && unimplemented_virtual_address(tmp_IP))
|| (!CR[IPSR].it && unimplemented_physical_address(tmp_IP)))
unimplemented_address = 1;
if (CR[IFS].v) {
tmp_growth = -CFM.sof;
alat_frame_update(-CR[IFS].ifm.sof, 0);
rse_restore_frame(CR[IFS].ifm.sof, tmp_growth, CFM.sof);
CFM = CR[IFS].ifm;
}
rse_enable_current_frame_load();
第 3 巻 : 命令リファレンス 3:211