MIPS形式の条件分岐命令と逆アセンブルの書き方ガイド

MIPSアーキテクチャで条件に応じて特定のアドレスにジャンプする命令は、ARM形式のcmpとbeqの組み合わせと似た構造を持ちますが、書き方が異なります。本記事ではa0レジスタの値が0のときにジャンプする例を中心に解説します。

MIPSでの条件分岐命令の基本

MIPSでは比較とジャンプを分けて行います。主に使用する命令はbeq（branch if equal）とbne（branch if not equal）です。

例えば、a0の値が0ならラベルjump_targetにジャンプする場合は次のように書きます。
beq $a0, $zero, jump_target

$a0 は引数を格納するレジスタで、$zero は常に0を保持するレジスタです。beq命令は第一引数と第二引数が等しい場合に、指定されたラベルにジャンプします。

この構造により、ARMの cmp r0, 0 と beq ラベル に相当する動作が実現できます。

仮にジャンケンの結果を$a0に格納し、負けた場合に特定処理へジャンプしたい場合は以下のように書きます。
beq $a0, $zero, lose_handler
負け以外の場合はそのまま次の処理に進みます。

この方法により、逆アセンブルで条件分岐を確認するときにも、a0が0のときにどこに飛ぶかが明確になります。

ラベルは命令ラベルとしてコード中に定義する必要があります。例えば
jump_target:
のように記述し、その行がジャンプ先になります。

MIPSは固定長命令であるため、ジャンプ先のアドレスはラベルで自動計算され、逆アセンブル時にも対応するアドレスが表示されます。

MIPS形式の条件ジャンプでは、beqやbneを用いることで、a0が0の場合に特定アドレスにジャンプする命令を書くことができます。ARMのcmp+beqに対応する形として覚えておくと、逆アセンブルやデバッグ時に理解がスムーズです。