第九章看完了

支配节点集：每一条路径的必经节点集合

严格支配集：支配节点集去除自身

支配边界集：n支配m的任一前驱，n并不严格支配m，则m属于n的支配边界

直接支配者：支配节点集的倒数第二项（倒数第一项是他自身）

静态单赋值算法，φ函数的插入，需要用到前面的概念

静态单赋值形式是包括lvn等其他优化的基础