制御フローグラフ
支配木と同様。出口ブロックが根となる。
ブロックMがループヘッダとする。いくつかの最適化技法では、ブロックMを Mpre と Mloop の2つに分割する。Mの中身は Mloop に移行し、後退エッジはこれを指すようにする。一方、それ以外のエッジは Mpre を指すようにし、Mpre から Mloop へのエッジを追加する(Mpre は Mloop の直接支配ノードとなる)。Mpre は当初は何もしない(コードを含まない)が、ループ不変量コード移動などの最適化でコードが移される。この Mpre をループ前ヘッダという。Mloop はループヘッダである。