24531904_j

る。 br.cexit では、 その反対があてはまる。 つま り、 LC がゼロでないか、 EC が
1 よ り 大きい場合は分岐は発生せず、 そ う でない場合は分岐が発生する。
これらの分岐タイプでは、 レジスタのローテーションとプレディケー トの初期化の
制御に も LC と EC を使用する。 プロロ ーグ ・ フ ェ ーズ と カ ーネル ・ フ ェ ーズ (LC が
0 ではない ) では、 LC がカウン ト ・ ダウンされる。 LC が 0 で br.ctop または
br.cexit が実行される と エピ ロ ーグ ・ フ ェ ーズにな り、 EC がカウン ト ・ ダウンさ
れる。 LC が 0、 かつ EC が 1 のときにbr.ctop または br.cexit が実行される と、
EC の最後のデ ク リ メ ン ト ( カウント ・ダウン ) と最後のレジスタのローテーション
が行われる。 LC と EC が と も にゼ ロ の場合は、 レ ジ ス タ の ロ ー テ ー シ ョ ンが停止す
る。 分岐の判定以外の こ れら の効果は ど ち ら の分岐タ イ プで も 同じ であ り 、 図 2-3
に示す と おり である。
wtop と wexit: これら の分岐タ イ プの動作は、 分岐するか ど う かの判定以外は同じ で
ある。 br.wtop は、 修飾プレデ ィ ケー ト が 1 であるか、 EC が 1 より大きい場合に
分岐が発生す る。 br.wexit では、 その反対があてはまる。 つま り、 修飾プレディ ケー トが1 であるか、 EC が 1 よ り 大きい場合は分岐は発生せず、 そ う でない場合は
分岐が発生す る。
図 2-3. br.ctop および br.cexit の操作
ctop, cexit
( プロローグ /
カーネル )
LC?
EC = EC
PR[63] = 1
RRB--
!= 0
== 0 ( エピローグ )
ctop: 分岐 ctop: フォール・スルー
cexit: フォール・スル ー
cexit: 分岐
これらの分岐タイプでは、 レジスタのローテーションおよびプレディケー トの初期
化の制御に も修飾プレデ ィ ケ ー ト と EC を使用する。 プロ ローグ ・ フ ェ ーズでは、
ル ー プのプ ロ グ ラ ミ ン グに使用 さ れる方式に応じ て、 修飾プ レ デ ィ ケ ー ト はゼ ロ か 1
である。 カーネル ・ フ ェ ーズでは、 修飾プレデ ィ ケー ト は 1 である。 エピローグ ・
フェーズでは、 修飾プレディケートはゼロであり、 EC がカウン ト ・ ダウンされる。
修飾プ レ デ ィ ケ ー ト がゼ ロ、 かつ EC が 1 のときにbr.wtop または br.wexit が実
行されると、 EC の最後のデ ク リ メ ン ト ( カウント ・ダウン ) と最後のレジスタの
ロ ーテーシ ョ ンが行われる。 修飾プレデ ィ ケー ト と EC がともにゼロの場合は、 レジ
ス タ の ロ ー テ ー シ ョ ンが停止する。 分岐の判定以外の こ れ ら の効果は ど ち ら の分岐
タイプでも同じであり、 図 2-4 に示す と おり である。
3:20 第 3 巻 : 命令リファレンス
EC--
PR[63] = 0
RRB--
> 1
EC?
EC--
PR[63] = 0
RRB--
== 1
( 特殊なアンロール型
ループ )
== 0
LC-- LC = LC LC = LC LC = LC
EC = EC
PR[63] = 0
RRB = RRB
br