基于GCC的静态单一赋值优化编译技术的研究
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 绪论 | 第8-11页 |
| ·引言 | 第8页 |
| ·课题背景及意义 | 第8-9页 |
| ·课题研究工作简介 | 第9页 |
| ·论文组织结构 | 第9-11页 |
| 第2章 GCC优化体系研究 | 第11-27页 |
| ·GCC的优化体系 | 第11-19页 |
| ·GCC优化器概述 | 第19-26页 |
| ·GCC优化器的优化策略 | 第19-21页 |
| ·GCC的中间语言 | 第21-22页 |
| ·控制流分析技术 | 第22-24页 |
| ·数据流分析技术 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 第3章 GCC优化编译技术研究 | 第27-34页 |
| ·GCC优化编译技术的优化机理 | 第27-29页 |
| ·GCC优化的工作流程 | 第29-33页 |
| ·本章小结 | 第33-34页 |
| 第4章 静态单一赋值优化编译技术研究 | 第34-41页 |
| ·静态单一赋值技术的引入 | 第34页 |
| ·静态单一赋值技术的优越性 | 第34-35页 |
| ·静态单一赋值技术的实现 | 第35页 |
| ·程序到 SSA表的转化 | 第35页 |
| ·SSA表到程序的转化 | 第35页 |
| ·必经节点树的生成技术 | 第35-38页 |
| ·基本概念及理论 | 第35-37页 |
| ·必经节点树的生成思想 | 第37页 |
| ·必经节点树的生成算法 | 第37-38页 |
| ·路径压缩技术 | 第38-40页 |
| ·路径压缩思想 | 第38-39页 |
| ·路径压缩算法 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第5章 基于实时化最佳点的编译优化算法 | 第41-57页 |
| ·问题描述 | 第41-42页 |
| ·概念与理论的形式化描述 | 第42-44页 |
| ·相关理论 | 第42页 |
| ·RTBP中的一些新的定义和理论 | 第42-44页 |
| ·RTBP算法描述 | 第44-46页 |
| ·RTBP算法有效性分析 | 第46-51页 |
| ·活跃节点评判准则 | 第46页 |
| ·全程半活跃节点评判准则 | 第46-48页 |
| ·W[n]置空评判准则 | 第48-51页 |
| ·性能差异分析 | 第51-56页 |
| ·静态实验 | 第52-54页 |
| ·存在性能差异的原因 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 结论 | 第57-58页 |
| 参考文献 | 第58-62页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第62-63页 |
| 致谢 | 第63页 |
