是常数折叠或常数传播等最佳化方式，若后面有，可能会将数个基本块变成一个，因此移除了控制流图上的一些边，也可能因此出现不可到达程式码
支配关系.若从进入程式块到达基本块N的所有路径，都会在到达基本块N之前先到达基本块M，则基本块M支配（dominates）基本块N。进入程式块支配自身之外，所有的基本块。考虑相反的方向，若基本块N到达结束程式块的所有路径，都会在结束程式块之前先到达基本块M，则基本块M后置支配（postdominates）基本块N。结束程式块后置支配自身之外，所有的