删除无用赋值
  在图11.5中,(6)对T4赋值,但T4未被引用;另外,(2)和(11)对I赋值,但只有(11)引用I。所以,只要程序中其它地方不需要引用T4和I,则(6),(2)和(11)对程序的运行结果无任何作用。我们称之为无用赋值,无用赋值可以从程序中删除,如图11.6所示(设(6)(2)(11)为无用赋值)。
  比较图11.2和图11.6可看出,经过优化后的代码的执行效率提高了很多。当然,实现这些优化的一系列工作是非常复杂的,代价也是很大的。