| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-18页 |
| §1.1 背景 | 第12-13页 |
| §1.2 课题来源、主要研究内容和目标 | 第13-14页 |
| §1.3 课题研究工具析选 | 第14-17页 |
| §1.4 论文结构 | 第17页 |
| §1.5 论文研究成果 | 第17-18页 |
| 第二章 目标代码描述 | 第18-23页 |
| §2.1 LEAP概述 | 第18-19页 |
| §2.2 目标代码——LEAP指令集 | 第19-21页 |
| §2.2.1 LEAP指令格式及功能 | 第19页 |
| §2.2.2 PE#域格式 | 第19-20页 |
| §2.2.3 LD1／LD2／ST域格式 | 第20页 |
| §2.2.4 COMPUTE域格式 | 第20-21页 |
| §2.2.5 CEC域格式 | 第21页 |
| §2.3 LEAP指令集总结 | 第21-23页 |
| 第三章 LCC程序中间表示描述 | 第23-29页 |
| §3.1 LCC总体工作流程 | 第23页 |
| §3.2 LCC符号表组织 | 第23-25页 |
| §3.2.1 符号表示 | 第24页 |
| §3.2.2 符号表组织 | 第24-25页 |
| §3.3 DAG组织 | 第25-27页 |
| §3.3.1 DAG表示 | 第25-26页 |
| §3.3.2 DAG操作符 | 第26-27页 |
| §3.4 LCC中间表示组织 | 第27-29页 |
| 第四章 LEAP-CC总体设计 | 第29-32页 |
| §4.1 LEAP-CO总体流程设计 | 第29-30页 |
| §4.2 LEAP-CC功能模块设计 | 第30-32页 |
| §4.2.1 LEAP-CC程序流程设计 | 第30-31页 |
| §4.2.2 LEAP-CC功能模块设计 | 第31-32页 |
| 第五章 控制相关转换数据相关设计与实现 | 第32-39页 |
| §5.1 if转换技术概述 | 第32-35页 |
| §5.1.1 if转换技术的关键点 | 第32-33页 |
| §5.1.2 单层if语句的转换 | 第33页 |
| §5.1.3 嵌套if语句的转换 | 第33-35页 |
| §5.2 典型if转换算法 | 第35-36页 |
| §5.3 LEAP-CC中if转换设计 | 第36-37页 |
| §5.3.1 LCC中if语句分析 | 第36-37页 |
| §5.3.2 LEAP-CC数据结构设计 | 第37页 |
| §5.4 LEAP-CC中if转换算法 | 第37-39页 |
| 第六章 数据流分析设计与实现 | 第39-51页 |
| §6.1 数据流分析技术概述 | 第39-42页 |
| §6.1.1 程序控制流图 | 第39-40页 |
| §6.1.2 结构化程序的数据流分析 | 第40-42页 |
| §6.2 LEAP-CC数据流分析过程设计 | 第42-45页 |
| §6.2.1 数据在LCC中间表示中的存在形式分析 | 第43-44页 |
| §6.2.2 数据表示 | 第44-45页 |
| §6.3 LEAP-CC数据流分析实现 | 第45-51页 |
| §6.3.1 临时变量的引入时机 | 第45-46页 |
| §6.3.2 遍历顺序 | 第46页 |
| §6.3.3 归约规则 | 第46-48页 |
| §6.3.4 实现算法 | 第48-51页 |
| 第七章 数据相关分析设计与实现 | 第51-59页 |
| §7.1 数据相关分析 | 第51-53页 |
| §7.1.1 数据相关类型 | 第51-52页 |
| §7.1.2 数据相关分析技术概述 | 第52-53页 |
| §7.2 典型数据相关分析算法 | 第53-57页 |
| §7.3 LEAP-CC数据相关分析设计 | 第57-58页 |
| §7.4 LEAP-CC数据相关分析实现 | 第58-59页 |
| 第八章 测试及结果分析 | 第59-64页 |
| §8.1 程序模型与程序约定 | 第59页 |
| §8.2 测试方案 | 第59-60页 |
| §8.3 测试及结果分析 | 第60-64页 |
| §8.3.1 测试案例一：if转换 | 第61页 |
| §8.3.2 测试案例二：数据流分析和数据相关分析 | 第61-62页 |
| §8.3.3 测试案例三：数据相关分析及代码生成 | 第62-64页 |
| 第九章 总结 | 第64-66页 |
| 感谢 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 附录：攻读硕士期间发表论文及出版译著情况 | 第70页 |