Control flow graphの構築

書きかけのまま1年以上放置してしまいました。

jitasmにおけるControl flow graphの構築について。

Control flow graphはBasic blockをノードして実行の流れをエッジとして接続して構築します。

分岐やジャンプなど命令の実行の流れが変わる可能性がある命令と、そのジャンプ先がBasic blockの区切りになります。

• jmp - jmp命令からジャンプ先へのエッジ
• jcc/loop - jcc/loop命令の次の命令へのエッジとジャンプ先へのエッジ
• ret/iret - Exit blockへのエッジ