from コード最適化

制御フローに沿ってデータの流れを解析

制御フロー解析の後に行う

使用定義連鎖を用いて、共通部分式の削除や、ループ不変式の移動

到達定義