"選択すること。それは、世界に新たな秩序を与えること。"
プログラムとは、ただの順列ではない。
そこには「選択」があり、「可能性」がある。
そしてその分岐こそが、単なる手続きの羅列を、動的な構造体へと変換する。
アセンブリにおける条件分岐は、
高級言語のifやswitchとは異なり、
純粋で、裸の制御の姿を見せる。
この章では、アセンブリ視点から、条件分岐という設計美学を掘り下げる。
条件分岐とは何か？
条件分岐とは、
**「状態に応じて次に実行する命令を変えること」**である。
例（自然言語）：
- 「もし鍵を持っていたら、ドアを開ける」
- 「もし雨が降っていたら、傘を持つ」
プログラムもこれと同じだ。
しかし、アセンブリレベルではこの「もし」を、**物理的なジャンプ（分岐命令）**として記述する。
アセンブリにおける条件分岐の基本
典型的なx86アセンブリの分岐はこうだ：
CMP EAX, EBX ; EAXとEBXを比較する
JE label ; 等しければlabelにジャンプ
意味：
-
CMPは内部で引き算（EAX - EBX）を行い、フラグレジスタに結果をセットする -
JE（Jump if Equal）は、その結果に応じてジャンプする
つまり、比較は命令ではなく、状態変化のトリガーであり、
ジャンプはその状態に応じた空間移動である。
条件ジャンプ命令の多様性
x86には多種多様な条件ジャンプが存在する。
-
JE(Jump if Equal) -
JNE(Jump if Not Equal) -
JG(Jump if Greater) -
JL(Jump if Less) -
JGE(Jump if Greater or Equal) -
JLE(Jump if Less or Equal)
これらは、**フラグレジスタ（ZF, SF, OF, CFなど）**にセットされたビットに基づいて決定される。
ここに、アセンブリ独特の**「状態を読む」**という美学が存在する。
フラグレジスタ：静かなメッセンジャー
フラグレジスタは、演算結果に応じて自動的に設定される。
主要なフラグ：
- ZF (Zero Flag)：演算結果がゼロならセットされる
- SF (Sign Flag)：結果が負ならセットされる
- CF (Carry Flag)：繰り上がり・借り発生時にセットされる
- OF (Overflow Flag)：符号付き演算でオーバーフローしたらセットされる
条件分岐は、このフラグという小さな真実を読み取り、
次に進む道を選ぶ。
条件分岐の設計とは「世界線を選ぶこと」である
アセンブリにおいて、分岐を設計するとは：
- どの条件でどこへ飛ぶかを
- 最小限かつ明示的に
- しかも高速に設計することだ。
高級言語のような「曖昧な意図」では許されない。
そこには、**確定した、ただ一つの「道の選択」**だけが存在する。
条件分岐が設計に与える影響
条件分岐は、単なる機能ではない。
それは、パイプライン設計・最適化・分岐予測に直接影響を与える。
特に：
- 頻繁な分岐はCPUパイプラインを破壊しうる
- 予測可能な分岐は性能を向上させる
- 分岐の位置と頻度は、最適化対象である
つまり、分岐を設計するとは、
「動作のリズムと未来の予測」を設計することに他ならない。
ARMにおける条件付き実行の美学
ARMアセンブリでは、
命令自体に条件コードを付与できる。
例：
ADDEQ R0, R1, R2 ; 前の演算結果がゼロなら加算
これにより、ジャンプせずとも条件付き動作が可能となる。
メリット：
- パイプライン破棄を減らせる
- 命令フローがスムーズになる
- 省エネルギーにつながる
ここに、**「分岐を隠し、流れを維持する」**という美学がある。
条件分岐を設計するということ
設計者にとって、条件分岐とは：
- 未来を予測すること
- 最悪のパスを防ぐこと
- 最小のコストで最大の柔軟性を得ること
である。
つまり、分岐設計はただの「if文」ではない。
それは、動的に変化する未来への設計思想そのものである。
結語：選択すること、それが設計である
アセンブリにおける条件分岐とは、
単なる技法ではない。
それは、設計者が「世界線」を選び取り、動作の未来を決定する行為である。
- どこへ進むか
- どの条件で進むか
- どれだけ未来を予測するか
これらすべてが、たった一つのジャンプ命令に込められる。
"条件分岐とは、設計者が世界に与える小さな運命である。その一行で、世界は変わる。"