用語

• CFG (control flow graph): プログラムの分岐とかの関係のグラフ
• Basic block: 分岐の無い命令列。一つの関数は一つ以上の basic block からなる
• DAG (directed acyclic graph): 循環の無いグラフ。分岐が無い命令列のデータの流れは DAG であらわせる
• SSA (static single assignment): 再代入を消した形式。最適化が捗る