一种收益驱动的语义代码移动算法

分析了激进的冗余消除产生负面影响的原因,采纳了收益驱动的思想,即建立收益模型,根据收益评估结果来决定是否重用已有的计算结果,提出了一种收益驱动的语义代码移动算法。该算法在GCC-4.2.0 中实现。在X86上对SPEC2000的测试结果表明,采用该算法的编译器生成的代码比采用没有收益驱动的语义代码移动算法和采用GCC自己的GVNPRE算法平均性能分别提高了6.8%和2.6%。