条件ジャンプ

ブランチ型というのは、比較条件に応じ、指定したアドレスへジャンプする設計をいう。

Intelの8080系やx86系その他、大半のプロセッサーはこの設計である。

豊富な比較命令と豊富なジャンプ命令が揃えられるのが一般的である。

スキップ型というのは、比較条件に応じ、その比較命令に続く命令を実行せずに飛ばす(スキップする)設計をいう。

PICや、かつてのNECのワンチップマイコンμCOM87系で、これが採用されている。

比較命令はブランチ型と大差なくても、ジャンプ命令は無条件一つのみで済むため、命令数の削減が可能である。

多くのプロセッサーは、前者、分岐命令で条件を指定する方法を採用している。これは、演算命令や比較命令でゼロフラグ、キャリーフラグ、サインフラグなどを立て、分岐命令でどのフラグを参照するかを指定する方法である。

例えば、8086シリーズでは、次のようにする。

cmp ax,bx

jne HOGE

axレジスターとbxレジスターが一致すればゼロフラグが立つ。次の命令では、ゼロフラグが立っていない(ne=not equal=不一致)場合に、HOGEにジャンプする。

SuperHなどは、後者、比較命令で条件を指定する方法を採用している。

条件を格納するフラグは、Tフラグただ一つしかない。また、演算命令などでは多くの場合変化せず、比較命令でのみ変化する。これは、演算処理を高速化させる意味もある。

例えば、SuperHシリーズでは、次のようにする。

cmp/eq r0,r1

bf HOGE

r0レジスターとr1レジスターが一致すれば、Tフラグがセットされる。次の命令では、Tフラグがセットされていない(branch if false)場合に、HOGEにジャンプする。