24531904_j

fi ─ 割り込みからのリターン (Return From Interruption)
書式 : rfi B8
説明 : 割り込み以前のマシン ・ コンテキス ト が復元される。 PSR は IPSR から復元され、 IPSR
は変更されず、 IP は IIP から復元される。 IP にロード されるバンドル ・アド レス、
PSR.ri にロー ド される命令スロッ ト から、 実行が再開される。
こ の命令は、 直後にス ト ッ プが必要であ る。 直後に ス ト ッ プがない場合は、 無効操作
フォルトが発生する。 この命令は、 IPSR.bn によって指定されるレジスタ ・バンクに切
り替える。 GR 16 ~ GR 31 にア ク セスする、 同じ命令グルー プ内の命令は、 以前のレ ジ
スタ ・バンクを参照する。 後続の命令グループは、 新しいレジスタ ・バンクを参照する。
こ の命令は、 命令のシ リ アル化を実行する。 これに よ って、 以下が保証される。
• 後続の命令グループのフ ェ ッチに影響を与えるプロセッサ ・ レジスタ ・ リ ソースに
対する、 先行す る変更が検出 さ れる。
• 後続のプ ロ グ ラ ム実行 ま たはデー タ ・ メ モ リ ・ ア ク セス に影響を与え る プ ロ セ ッ サ ・
レ ジ ス タ ・ リ ソ ー ス に対す る、 先行する変更が検出 さ れる。
• 先行す る メ モ リ 同期 (sync.i) 操作は、 ロ ー カ ル ・ プ ロ セ ッ サの命令キ ャ ッ シ ュ に影
響を与える。
• 後続の命令グル ー プの フ ェ ッ チ ( 戻り先の命令グループを含む ) は、 rfi の完了後に
再び開始される。
rfi 命令は、 シ リ アル化 さ れる操作を含む命令グルー プ よ り 後の命令グル ー プに含 ま れ
ていなければならない。
こ の命令は、 最高の特権レ ベル以外では実行で き ない。 こ の命令にはプ レ デ ィ ケ ー ト を
使用で き ない。
PSR.ic または PSR.i が 1 の場合は、 この命令の実行は不定になる。 ソ フ ト ウ ェアは、 IIP、
IPSR、 IFS が書き込まれてから次の rfi が実行される ま での間に、 IIP、 IPSR、 または
IFS を変更する割り込みが発生しないよ う に保証しなければならない。
こ の命令は、 下位特権遷移 ト ラ ッ プ、 分岐発生 ト ラ ッ プ、 シ ン グル ・ ス テ ッ プ ・ ト ラ ッ
プを発生しない。
この命令がPSR.ri を 2 に設定し、 戻り先が MIX バン ド ルの場合は、 戻り先のバン ド ル上
で無効操作フ ォ ル ト が発生す る。
IPSR.is が 1 の場合、 コ ン ト ロ ールは、 IA-32 命令セ ッ ト 内で、 IIP{31:0} に よ っ て指定 さ
れる仮想リニア ・ ア ド レスから再開される。 PSR.di は、 こ の命令での命令セ ッ ト の移行
を禁止しない。 rfi の実行が完了した後に PSR.dfh が 1 になる場合は、 戻り先の IA-32
命令で、 浮動小数点レ ジ ス タ無効フ ォ ル ト が発生する。
IPSR.is が 1 であ り 、 実装 さ れていない命令ア ド レ ス ・ ト ラ ッ プが発生した場合、 IIP に
は、 元の 64 ビッ トの戻り先IP が格納される。 こ の値は、 32 ビットからゼロ拡張されな
い。
IA-32 命令セ ッ ト に移行する場合、 現行のス タ ッ ク ・ フ レ ー ムのサイ ズは 0 に設定され
る。 また、 スタ ッ ク された汎用レ ジスタ は、 すべて不定の状態のま ま になる。 ソ フ ト
ウ ェアは、 命令セ ッ ト の移行の前後で、 これら のレ ジス タの値に依存してはな ら ない。
IA-32 命令セ ッ ト への移行時に、 ソ フ ト ウ ェ アは、 BSPSTORE==BSP を保証しなければ
な ら ない。 こ の条件を満た さ ない場合の動作は不定である。
IA-32 プロセッサとの整合性のあるメモリ参照と Itanium アーキテクチャの順序付けなし
のメモ リ 参照の間に、 メモ リ ・ ア ク セスの順序が必要である場合は、 ソ フ ト ウ ェ アは、
3:210 第 3 巻 : 命令リファレンス
rfi