局部优化 这里的程序指中间代码,比如三地址代码 例如n1的值就是3.14, n2具有变量R的值, 内部节点n4具有加法运算后的值, 附加标记T2具有n4节点的值,T4也具有n4节点的值 在DAG中我们就不标出箭头了,我们约定,箭头都是默认从上指向下的 四元式的DAG表示 构造基本块的DAG 循环优化 代码外提 代码外提时要在入口节点前建立一个新的节点,也就是循环的前置节点 循环的前置节点以循环的入口节点为唯一后继 前置节点就放置从循环中提取出的循环不变运算 代码外提的条件 上面那个B3不是B4的必经节点,如果提出,可能会对最终结果产生影响,所以不是必经节点的不能随便提出 强度削弱