拡張基本ブロック

コンピューティングにおいて、拡張基本ブロック^{[ 1 ] [ 2 ]}は、プログラム内のコードの基本ブロックの集合であり、最適化に非常に適した特定の特性を持っています。多くのコンパイラ最適化は、拡張基本ブロックに対して動作します。

拡張基本ブロックとは、以下の条件を満たす基本ブロックの最大集合である。

• 最初の基本ブロックのみが複数の先行基本ブロックを持つことができる
• 他のすべての基本ブロックは、単一の先行基本ブロックを持ち、それは基本ブロックの集合内に存在しなければならない。

基本ブロックに対して動作する多くの局所最適化は、拡張基本ブロックに対して動作するように容易に拡張できます。例として、重複する式を削除する共通部分式の除去があります。最も単純な形式では、これは基本ブロックのみに対して動作する局所最適化です。^{[ 3 ]}

• 制御フローグラフ
• ジャストインタイムコンパイルのトレース

• 基本ブロック - GNUコンパイラコレクション
• 拡張基本ブロックとトレースの違い