Basic Block

基本ブロック

制御フローグラフを作る際に、単位となる文の連なりを考える。

定義

次の条件を全て満たす連続した文を基本ブロックという。

1. 最初の命令は、ラベルである
2. 最後の命令は、ジャンプである
3. その他の命令は、ラベル、ジャンプのいずれでもない

すなわち、基本ブロックの命令は必ず先頭から順に実行され、途中で抜けたり、途中に入ってくることがない。