24531904_j

規則 14.RSE リ ソ ー スに は、 プ ロセ ッ サ固有の内部状態が含まれる。 こ れら の リ ソ ー スの
最低 1 つ ( それ以上の場合も ある ) は、 rse-readers ク ラ ス に リ ス ト された各命令
によ って読み込まれる。 これらのリ ソースの最低 1 つ ( それ以上の場合も ある )
は、 rse-writers ク ラ ス に リ ス ト された各命令に よ っ て書き込ま れる。 それぞれの
リ ソ ー スを個々に読み込むま たは書き込む命令を正確に判別する には、 対応する
命令のペー ジ を参照の こ と 。
規則 15. このクラスは、 PR[qp] が 1 B タイプ命令(3:264 ページの 4.1 節 「形式の要約」 を
参照 ) の場合に予約済み と してマー ク される命令をすべて表現する。
規則 16. このクラスは、 PR[qp] が 1 命令 (3:264 ページの 4.1 節 「形式の要約」 を参照 ) の
場合に予約済み と してマ ー ク さ れる命令をすべて表現す る。
3:360 第 3 巻 : リソースと依存関係のセマンティックス