部分冗余消除优化的SSA算法研究
| 摘要 | 第1-5页 |
| Abstract | 第5-13页 |
| 第1章 引言 | 第13-25页 |
| ·引子 | 第13页 |
| ·论文背景 | 第13-22页 |
| ·部分冗余消除优化 | 第13-15页 |
| ·公共子表达式消除 | 第15页 |
| ·循环不变量外提 | 第15-17页 |
| ·部分冗余消除 | 第17-18页 |
| ·不完全的部分冗余消除 | 第18-22页 |
| ·论文意义和挑战 | 第22-23页 |
| ·本文研究的主要内容和贡献 | 第23页 |
| ·本文的组织及各章内容简介 | 第23-25页 |
| 第2章 背景知识 | 第25-49页 |
| ·编译优化概览 | 第25-27页 |
| ·控制流分析 | 第27-29页 |
| ·数据流分析 | 第29-36页 |
| ·数据流分析的内容 | 第30-31页 |
| ·数据流分析框架 | 第31-34页 |
| ·数据流分析的算法 | 第34-36页 |
| ·数据流分析的复杂度 | 第36页 |
| ·部分冗余消除 | 第36-39页 |
| ·强度削弱 | 第38-39页 |
| ·静态单点赋值 | 第39-45页 |
| ·静态单点赋值性质 | 第40-41页 |
| ·静态单点赋值的转换 | 第41-42页 |
| ·静态单点赋值的好处 | 第42-44页 |
| ·基于静态单点复制的优化 | 第44-45页 |
| ·基于剖析的反馈编译 | 第45-46页 |
| ·Open64 编译器 | 第46-49页 |
| 第3章 相关工作 | 第49-63页 |
| ·静态单点赋值缘起 | 第49-51页 |
| ·常规部分冗余消除优化相关研究 | 第51-52页 |
| ·冗余计算完全消除相关研究 | 第52-55页 |
| ·前瞻部分冗余消除相关研究 | 第55-62页 |
| ·问题陈述 | 第55-57页 |
| ·MC-PRE 算法说明 | 第57-62页 |
| ·其他与本文相关的研究 | 第62-63页 |
| 第4章 前瞻部分冗余消除优化的 SSA 实现 | 第63-105页 |
| ·静态单点赋值和部分冗余消除 | 第63-68页 |
| ·稀疏 PRE 的表示 | 第64-66页 |
| ·主要性质 | 第66-67页 |
| ·问题定义 | 第67-68页 |
| ·MC-SSAPRE 算法细节 | 第68-85页 |
| ·Φ的插入 | 第69-70页 |
| ·重命名 | 第70-73页 |
| ·数据流分析 | 第73-75页 |
| ·冗余关系图的压缩 | 第75-76页 |
| ·引入虚拟的源结点 | 第76页 |
| ·引入虚拟的目的结点 | 第76页 |
| ·最小切割 | 第76-77页 |
| ·WillBeAvail 的计算 | 第77-79页 |
| ·确定 Finalize | 第79-84页 |
| ·代码移动 CodeMotion | 第84-85页 |
| ·MC-SSAPRE 的证明 | 第85-88页 |
| ·MC-SSAPRE 的时间复杂度 | 第88-89页 |
| ·MC-SSAPRE 与 MC-PRE 的比较 | 第89-90页 |
| ·MC-SSAPRE 的实现 | 第90-96页 |
| ·Work list 策略 | 第90-91页 |
| ·嵌套表达式 | 第91-92页 |
| ·Φ插入 | 第92页 |
| ·重命名 | 第92-95页 |
| ·步骤 PartialAnticipated | 第95页 |
| ·步骤 Finalize | 第95-96页 |
| ·实验 | 第96-105页 |
| ·实验数据 | 第97-98页 |
| ·统计数据 | 第98-105页 |
| 第5章 基于流网络最小切割的部分冗余消除优化 | 第105-120页 |
| ·SSAPRE 中最优表达式插入位置的确定 | 第105-113页 |
| ·完全可预期 DownSafety | 第105-107页 |
| ·WillBeAvail 的计算 | 第107-113页 |
| ·PRE 优化和冗余关系网络流的关系 | 第113-114页 |
| ·另一个 WillBeAvail 算法 | 第114-115页 |
| ·MF-SSAPRE 算法 | 第115-120页 |
| ·MF-SSAPRE 算法细节 | 第115-116页 |
| ·MF-SSAPRE 的证明 | 第116-118页 |
| ·MF-SSAPRE 的好处 | 第118-120页 |
| 第6章 总结和展望 | 第120-124页 |
| ·本文总结 | 第120-121页 |
| ·工作展望 | 第121-124页 |
| 参考文献 | 第124-133页 |
| 致谢 | 第133-135页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第135-136页 |
