论文部分内容阅读
静态单一赋值是一项基于GCC的优化编译技术，Lengauer-Tarjan是静态单一赋值实现过程中用来计算流图中必经节点的快速算法。该算法使用EVAL，需运行大量出口、入口程序，并且为了减少对EVAL做多次无效调用。为了解决这些问题，首先，对GCC优化体系、优化器主要特点、优化编译技术、优化工作流程、静态单一赋值技术、必经节点树生成技术及其实现算法Lengauer-Tarjan、路径压缩技术及其实现函数EVAL等进行细致地研究。然后，提出解决问题的实时化最佳点算法，并从理论上对算法进行论证。理论分析表明：在很大多情况下，基于实时化最佳点的Lengauer-Tarjan性能优于基于EVAL的Lengauer-Tarjan。