24531904_j

ファイルをフラッシュするには、 命令グループ内でbr.ia 命令 よ り 前に flushrs
命令を発行しなければな ら ない。 命令セ ッ ト の移行のパ フ ォ ー マン ス を改善す る に
は、 ソ フ ト ウ ェア上では、 1) flushrs 命令を必ず br.ia 命令の前の 1 つだけの命
令グル ー プに入れ、 2) br.ia 命令を必ず最初の B スロッ トに入れて、 IA-32 命令
セ ッ ト を起動す る の と 並行してレ ジ ス タ ・ ス タ ッ ク の フ ラ ッ シ ュ を起動す る と よ い。
br.ia 命令は、 常に、 " 静的に処理す る " ( デフォルト ) のヒントを付けて最初のB ス
ロッ トで実行するようにする。 そうしないと、 プロセッサのパフォーマンスが低下
する。
br.ia によってItanium アーキテクチャ ・ ト ラップ ( 例えば、 シングル・ステップ・ ト
ラ ッ プ、 分岐発生 ト ラ ッ プ、 ま たは実装されていない命令ア ド レ ス ・ ト ラ ッ プ ) が
発生した場合、 IIP には元の 64 ビッ トの分岐先IP が格納される ( この値は 32 ビッ ト
からゼロ拡張されない )。
もう1 つの分岐タイプが、 単純なカウン ト 指定ループ向けに用意されている。 この
分岐タ イ プでは、 ル ー プ ・ カ ウ ン ト (LC) アプ リ ケーシ ョ ン ・ レジスタを使用して分
岐条件を判定し、 修飾プレデ ィ ケー ト は使用しない。
• cloop: LC レ ジス タがゼロでない場合は、 こ の値がデ ク リ メ ン ト され、 分岐が発生す
る。
こ れ ら の単純な分岐タ イ プの他に、 モジ ュ ロ ・ ス ケ ジ ュ ー ル型ルー プを高速に処理
するための 4 つのタイプがある ( 第 1 巻、 第 1 部の 4.5.1 項 「モジュロ ・スケジュー
ル型ループのサポ ー ト 」 を参照 )。 LC レ ジス タ を使用する カ ウ ン ト 指定ループ用が
2 つ と 、 修飾プ レ デ ィ ケ ー ト を使用する while ループ用が 2 つである。 これらのルー
プ ・ タイプでは、 レジスタのローテーションを使用してレジスタのリネー ミングを
実現し、 プ レ デ ィ ケ ー シ ョ ン を使用して空のパ イ プ ラ イ ン ・ ス テ ー ジ に対応す る命
令をオフにする。
エピローグ ・ カウン ト (EC) アプ リ ケーシ ョ ン ・ レジスタを使用してエピローグ ・ ス
テージがカウント される。 あるいは一部の while ループについては、 プロローグ ・ ス
テ ー ジの一部が カ ウ ン ト さ れる。 エ ピ ロ ー グ ・ フ ェ ー ズでは、 ルー プが一巡す る た
びに EC がデク リ メン ト され、 大部分のループでは、 EC が 1 になる と、 パイプライ
ンが空になってループが終了する。 特定タイプの、 ソフ ト ウェアによ ってパイプラ
イ ン化 さ れたアン ロ ー ル型の最適化ルー プについては、 br.cexit または br.wext
の分岐先が次の順序のバン ド ルに設定される。 こ の場合は、 EC が 1 になっても、 パ
イプラインは完全には空になっていないこ とがあり、 EC がゼロであって も引き続き
パイプラインから命令が排出される。
これらのモジュロ・スケジュール型ループについては、 分岐が発生するかどうかの
演算は、 カ ー ネル分岐条件 ( カウント指定ループに対しては LC、 while ループに対
しては修飾プレディ ケー ト ) およびエピローグ条件 (EC が 1 より大きいか、 大きく
ないか ) によって決まる。
こ れ ら の分岐に は、 "top" と "exit" の 2 つのカテゴ リ がある。 "top" タイプ (ctop と
wtop) は、 ル ー プの判定がルー プ本体の一番下にあ る と き に使用 さ れ、 したが っ て、
分岐が発生す る と ル ー プを続行す る のに対し、 フ ォ ー ル ・ スルー分岐ではルー プを
終了す る。 "exit" タイプ (cexit と wexit) は、 ルー プの判定がル ー プの一番下以外の ど
こかにあるときに使用され、 したがって、 フォール・ スルー分岐ではループを続行
するのに対して、 分岐が発生する とループを終了する。 "exit" タイプは、 アンロール
型のパイプラ イン化されたループ内の中間点に も使用される。 ( 詳細は第 1 巻、 第 1
部の 4.5.1 項 「モジュロ ・スケジュール型ループのサポート」 を参照。 )
モジュロ・スケジュール型ループのタイプを以下に示す。
• ctop と cexit: こ れ ら の分岐タ イ プの動作は、 分岐す る か ど う かの判定以外は同じ で
ある。 br.ctop は、 LC がゼロでないか、 EC が 1 より大きい場合に分岐が発生す
第 3 巻 : 命令リファレンス 3:19