データフロー解析
from
コード最適化
data flow analysis
制御フローに沿ってデータの流れを解析
制御フロー解析
の後に行う
使用定義連鎖を用いて、
共通部分式の削除
や、
ループ不変式の移動
到達定義
使用定義連鎖