基于实时化最佳点的编译优化算法

摘要

静态单一赋值(SSA)是优化编译中的一项关键技术,Lengauer-Tarjan是SSA实现过程中用来计算流图中必经节点的快速算法。该算法使用EVAL,需运行大量出口、入口程序,并且对EVAL做多次无效调用。为了解决这些问题,提出一种搜索实时化最佳点RTBP(Real-TimeBest-Point)算法。采用RTBP能够减少许多特殊点的实时最佳点搜索,节省了大量的运行时间和存储空间。在很多情况下,基于RTBP的Lengauer-Tarjan性能优于基于E-VAL的Lengauer-Tarjan。