データフロー解析 (data-flow analysis)については，実験ホームページに置かれている2015年度講義「コンパイラ」の講義スライド（の207ページ以降）に詳しく書かれているので，そちらを参照して欲しい．この資料の仮想機械コードとは少し異なるものの，ほぼ同じ中間表現を使って説明されているので，それほど苦労せず理解できるはずである．