WHIRL SSA:一种基于高级中间表示的优化结构

摘要：

中间表示对编译器的性能、效率和可扩展性都起着决定性作用.0pen64编译器采用一种树型结构的中间表示WHIRL,能表示各种高级控制流结构,但不能显式的提供数据流信息.本文基于WHIRL对SSA(Static Single Assignment)进行扩展,提出了一个新的优化结构WHIRL SSA.WHIRL SSA通过将SSA信息标注在WHIRL节点上,显式的为数据流分析提供使用-定义(UD)信息.相比于传统的数据流信息构建方法,WHIRL SSA提供了更精确、有效的数据流信息.本文讨论了WHIRL SSA的设计与实现和基于WHIRL SSA的优化.

关键词：中间表示、SSA、WHIRL、编译、边界检测消除

所属期刊栏目：33

分类号：TP314(计算技术、计算机技术)

资助基金：国家核高基重大专项20092X01036-001-003

在线出版日期：2012-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：210-214