| WHIRL SSA:一种基于高级中间表示的优化结构 |
| |
| 引用本文： | 杨克峤,李健,胡益斌,许铝才.WHIRL SSA:一种基于高级中间表示的优化结构[J].小型微型计算机系统,2012,33(2):210-214. |
| |
| 作者姓名： | 杨克峤 李健 胡益斌 许铝才 |
| |
| 作者单位： | 复旦大学并行处理研究所,上海,201203 |
| |
| 摘 要： | 中间表示对编译器的性能、效率和可扩展性都起着决定性作用.Open64编译器采用一种树型结构的中间表示WHIRL,能表示各种高级控制流结构,但不能显式的提供数据流信息.本文基于WHIRL对SSA(Static Single Assignment)进行扩展,提出了一个新的优化结构WHIRL SSA.WHIRL SSA通过将SSA信息标注在WHIRL节点上,显式的为数据流分析提供使用-定义(UD)信息.相比于传统的数据流信息构建方法,WHIRL SSA提供了更精确、有效的数据流信息.本文讨论了WHIRL SSA的设计与实现和基于WHIRL SSA的优化.
|
| 关 键 词： | 中间表示 SSA WHIRL 编译 边界检测消除 |
WHIRL SSA: a New Optimization Infrastructure Based on High-level Intermediate Representation |
| |
| YANG Ke-qiao
,
LI Jian
,
HU Yi-bin
,
XU Lv-cai.WHIRL SSA: a New Optimization Infrastructure Based on High-level Intermediate Representation[J].Mini-micro Systems,2012,33(2):210-214. |
| |
| Authors: | YANG Ke-qiao LI Jian HU Yi-bin XU Lv-cai |
| |
| Affiliation: | (Parallel Processing Institute,Fudan University,Shanghai 201203,China) |
| |
| Abstract: | Intermediate Representation is a determining factor of the capability,efficiency,and scalability of compiler optimizations.WHIRL,the Intermediate Representation(IR) of Open64 compiler,is a tree-form IR.While capable of describing various high-level control flow structures,WHIRL IR doesn′t provide explicit UD information.This paper presents an extension of Static Single Assignment(SSA) infrastructure to WHIRL.Compared to traditional DU manager,the WHIRL SSA provides more efficiently and precisely data flow information.The paper describes the design and implementation of the WHIRL SSA,and discusses its applications and future work. |
| |
| Keywords: | IR SSA WHIRL compile bounds check elimination |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
