24531904_j

flushrs
flushrs ─ レジスタ・スタックのフラッシュ (Flush Register Stack)
書式 : flushrs M25
説明 : レジスタ・スタックのダーティなパーティションにスタックされているすべての汎用レ
ジス タがバ ッ キング ・ ス ト アに書き込まれてか ら、 実行が継続される。 ダー テ ィ なパー
ティションには、 以前のプロシージャ・フレームの、 まだバッキング・ストアにセーブ
されていないレジスタが含まれている。 レジスタ ・ スタックのパーティションについて
の詳細は、 第 2 巻、 第 1 部の第 6 章 「レジスタ ・ スタ ッ ク ・ エンジン」 を参照のこ と。
未処理の外部割 り 込みは、 イ ネ ー ブルに さ れてい る場合、 RSE によるストア・ループに
割り込みをかける場合がある。
こ の命令の実行を終了した後は、 BSPSTORE が BSP に等し く なる。
こ の命令は、 同一命令グルー プ内の最初の命令でなければな ら ない。 さ ら に、 こ の命令
は、 命令スロ ッ ト 0 またはスロッ ト 0 の後にス ト ッ プ情報があるテンプレ ー ト の命令ス
ロッ ト 1 のいずれかに入っていなければならない。 そ う でない場合は、 結果は不定にな
る。 こ の命令ではプ レ デ ィ ケ ー ト は使用で き ない。
操作 : while (AR[BSPSTORE] != AR[BSP]) {
rse_store(MANDATORY); // increments AR[BSPSTORE]
deliver_unmasked_pending_external_interrupt();
}
割り込み : 実装されていないデータ・アドレス・フォルト データ・キー・ミス・フォルト
VHPT データ ・ フォル ト データ ・ キー許可フォル ト
データがネス ト された TLB フォルト データ・アクセス権フォルト
データ TLB フォルト データ・ダーティ・ビット ・フォルト
別のデー タ TLB フォルト データ・アクセス・ビット ・フォルト
データ ・ ページ不在フォルト データ ・ デバッグ ・ フォルト
データ NaT ページ参照フォル ト
第 3 巻 : 命令リファレンス 3:69