24531904_j

ング」、 4-293 ページで 「M ユニ ッ ト 命令エンコ ーデ ィ ング」、 4-321 ページで 「B ユニッ
ト命令エンコーディング」、 4-328 ページで 「F ユニ ッ ト 命令エンコ ーデ ィ ング」、 4-337
ページで 「X ユニ ッ ト 命令エン コ ー デ ィ ング」 を示す。
個々の節の中では、 命令を機能ご と にグループ化し、 3:266 ページの表 4-4 「命令形式の
要約」 で示したの と 同じ順序でその命令形式を示している。 オペ コ ー ド 拡張フ ィ ー ル ド に
ついて も 簡単に説明し、 オペ コ ー ド 拡張割 り 当て も 表に示してい る。 使用 さ れていない命
令エン コ ーデ ィ ング ( オペコ ー ド 拡張の表では空のエン ト リ と して示している ) は、 次の
4 つのいずれかの動作をする。
• 無視 さ れる命令 ( 表の白のエン ト リ ) は、 nop 命令 と して実行 さ れる。
• 予約済みの命令 ( 表のグレ ー ・ スケ ール版では薄灰色、 カ ラ ー版では茶色 ) は、 無効
操作フ ォ ル ト を発生 さ せる。
• PR[qp] が 1 の場合に予約済み と なる命令 ( 表のグレ ー ・ スケ ール版では濃灰色、 カ
ラー版では紫色) は、 命令の qp フィールド ( ビッ ト 5:0) で指定されるプレデ ィ ケー
ト・レジスタが1 であ る場合に は無効操作フ ォ ル ト を発生 さ せ、 0 の場合は nop 命
令として実行される。
• PR[qp] が 1 の場合に予約済み と なる B ユニッ ト の命令 ( 表のグレ ー ・ スケ ール版で
は中間の灰色、 カ ラ ー版では水色 ) は、 命令の qp フィールド ( ビッ ト 5:0) で指定さ
れるプレディ ケー ト ・ レジスタが 1 であ る場合に は無効操作フ ォ ル ト を発生 さ せ、 0
の場合には nop 命令として実行される。 これらの命令と、 PR[qp] が 1 の場合に予約
済み と なる命令の相違点は、 RAW 依存関係での動作だけである (3:346 ページの
「RAW の依存関係表」 を参照 )。
プロセッサによっては、 「PR[qp] が 1 の場合に予約済み」 お よ び 「PR[qp] が 1 の場合に予
約済み と な る B ユニ ッ ト 」 のエンコ ーデ ィ ングを、 L+X オペ コ ー ド 空間内に 「予約済み」
と して実装する も のがある。 これらのエン コ ーデ ィ ングは、 3:265 ページの表 4-3 の L+X
の項目 と 、 3:338 ページの表 4-69、 3:338 ページの表 4-70、 3:339 ページの表 4-71、 3:339
ページの表 4-72 に示 さ れてい る。 こ れ ら のエン コ ー デ ィ ン グを 「予約済み」 (茶) と して
実装するプロセッサでは、 オペレーテ ィ ング ・ システムが、 無効操作フォルト ・ハン ド ラ
を提供する必要がある。 このハン ド ラが、 予約済みのオペコ ー ド をデコ ー ド して、 修飾プ
レディ ケー ト をチェ ッ クし、 PR[qp] が 0 の場合は次の命令に戻る と 、 「予約済み」 のエン
コーディングを 「PR[qp] が 1 (水色 / 紫) の場合に予約済み」 と してエ ミ ュ レ ー ト す る。
命令の定数 0 のフ ィ ールド は 0 でな く てはな ら ず、 それ以外の場合は未定義の操作が発生
す る。 未定義の操作には、 定数フ ィ ー ル ド が 0 であるかど うかをチェ ッ クし、 そ うでない
場合には無効操作フ ォ ル ト を発生さ せる よ う な も の も ある。定数 0 のフ ィ ールド を持つ命
令が修飾プレデ ィ ケ ー ト (qp フィールド ) も持っている場合、 PR[qp] が 0 ならば、 フォル
ト やその他の未定義の操作は発生しない。 命令ビッ ト 5:0 ( 通常、 qp に使用される ) にあ
る定数 0 の フ ィ ー ル ド の場合、 フ ォ ル ト ま たは その他の未定義の操作は、 こ れ ら の ビ ッ ト
がア ド レス指定する PR に依存することもしないこともある。
命令の無視 さ れる ( ホワイ ト ・スペース ) フィールドは0 としてコーディングするべきで
ある。 アーキテクチャのこのリビジョンでは無視されるが、 将来のアーキテクチャでこれ
ら の フ ィ ール ド を ヒ ン ト 拡張 と して使用する可能性がある。 これ ら の ヒ ン ト 拡張は、 各
フィールドの0 の値がデフ ォ ル ト 設定の ヒ ン ト に対応す る よ う な形で定義される。 アセン
ブ ラ がデ フ ォ ル ト で こ れ ら の フ ィ ー ル ド を自動的にゼ ロ に設定する こ と が求め ら れる。
3:270 第 3 巻 : 命令形式