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