制御フローグラフとは
せいぎょふろーぐらふ
基本ブロックを節、ブロック間の分岐や移り変わりを矢印にして、プログラムの実行の流れを表したグラフ。ループの検出やデータの流れの解析に使う。
この用語の分野: コンパイラ
解説の中の「制御フローグラフ」
制御フローグラフは、基本ブロックを節、あるブロックの実行のあとに続く可能性のあるブロックへの移り変わり(条件分岐の両方の行き先や、そのまま次のブロックへ進む流れ)を矢印として表したグラフです。
制御フローグラフで、節と矢印が表しているものの組み合わせとして正しいものはどれか。ブロックの中では実行の順番が決まっているので、局所的な最適化がしやすく、ブロックを節にした制御フローグラフで全体の流れを表します。
基本ブロックの説明として正しいものはどれか。生存区間の解析では、プログラムの各時点で、ある値がこの先で読まれる可能性がある(生きている)かを、制御フローグラフをたどって求めます。
レジスタ割り当ての準備として行う生存区間(ライブネス)の解析で求めるものはどれか。
「制御フローグラフ」が出てくる問題(3問)
関連する用語
基本ブロック ループ展開 レジスタ割り当て インライン展開 SSA形式 LLVM 共通部分式の削除 強度低減 構文解析 字句解析