拡張基本ブロック
拡張基本ブロックは以下の性質を持つ基本ブロックの集まりのうち最も大きいものである:
先頭の基本ブロックだけが複数の前任者 (predecessor basic block) を持つ。
他のすべての基本ブロックは1つの前任者だけを持ち、かつその前任者は当該拡張基本ブロック内にある。