24531904_j

loadrs
loadrs ─ レジスタ・スタックのロード (Load Register Stack)
書式 : loadrs M25
説明 : こ の命令は、 現在の BSP より下位の指定したバイト数( レジスタ値または NaT コレク
ション、 あるいはその両方) が、 バッキング ・ ス トアから、 スタ ッ ク された汎用レジス
タにロード されるようにする。 ロード されたレジスタは、 レジスタ ・スタックのダー
ティ ・パーティションに格納される。 その他のすべてのスタックされた汎用レジスタは、
バッキング ・ ストアにセーブされず、 無効としてマークされる。
ロード されるバイト数は、 RSC アプ リ ケーシ ョ ン ・ レジスタのサブフ ィ ール ド
(RSC.loadrs) で指定される。 バ ッ キング ・ ス ト アのア ド レ スは、 常に 8 バイ ト にアライメ
ントが合わされるため、 loadrs フィールドの下位3ビッ ト (RSC.loadrs{2:0}) は無視さ
れる。 RSC.loadrs を 0 に設定して こ の命令を使用する と 、 現在のフ レ ー ムの外部のス
タ ッ ク さ れた レ ジ ス タ をすべて無効化で き る。
こ の命令は、 以下のいずれかの条件で、 無効操作フ ォ ル ト を発生す る。
• RSE が強制レ イ ジ ー ・ モー ド にな っ ていない (RSC.mode が 0 以外の値であ る )。
• CFM.sof と RSC.loadrs が両方と も 0 以外の値であ る。
• スタ ッ ク された物理レ ジスタ ・ フ ァ イル内で使用可能な数を超え る レ ジスタ をロ ー
ドしようとした。
こ の命令は、 命令グル ー プ内の最初の命令でなければな ら ない。 さ ら に、 こ の命令は、
命令ス ロ ッ ト 0 またはスロッ ト 0 の後にス ト ッ プ情報がある テンプレ ー ト の命令ス ロ ッ
ト 1 のいずれかに入っていなければならない。 そ う でない場合は、 結果は不定である。
こ の命令に はプ レ デ ィ ケ ー ト を使用で き ない。
操作 : if (AR[RSC].mode != 0)
illegal_operation_fault();
if ((CFM.sof != 0) && (AR[RSC].loadrs != 0))
illegal_operation_fault();
rse_ensure_regs_loaded(AR[RSC].loadrs);// can raise faults listed below
AR[RNAT] = undefined();
割り込み : 無効操作フ ォ ル ト デー タ NaT ページ参照フォル ト
実装されていないデータ・アドレス・フォルト データ・キー・ミス・フォルト
データがネス ト された TLB フォルト データ・キー許可フォルト
別のデー タ TLB フォルト データ・アクセス権フォルト
VHPT データ ・ フォル ト データ ・ アクセス ・ ビッ ト ・ フォル ト
データ TLB フォルト データ・デバッグ・フォルト
データ ・ ページ不在フォルト
第 3 巻 : 命令リファレンス 3:149