BWDSP译码器自动验证及编译向量化的研究与实现
摘要 | 第1-6页 |
ABSTRACT | 第6-7页 |
目录 | 第7-10页 |
第1章 绪论 | 第10-16页 |
·研究背景 | 第10-14页 |
·指令译码器 | 第10页 |
·指令级并行 | 第10-11页 |
·软硬件协同测试 | 第11-12页 |
·SIMD编译优化 | 第12-13页 |
·数字信号处理器BWDSP | 第13-14页 |
·主要工作 | 第14页 |
·研究内容 | 第14页 |
·研究意义 | 第14页 |
·论文组织 | 第14-16页 |
第2章 指令系统及编译基础设施 | 第16-34页 |
·BWDSP体系结构 | 第16-17页 |
·BWDSP指令系统 | 第17-20页 |
·基本运算指令 | 第17-18页 |
·访存指令 | 第18-19页 |
·簇间传输指令 | 第19页 |
·双字指令 | 第19-20页 |
·OPEN64编译基础设施 | 第20-30页 |
·OPEN64编译基础设施 | 第20-21页 |
·中间语言WHIRL概述 | 第21-23页 |
·WHIRL节点和符号表 | 第23-27页 |
·WHIRL程序简介 | 第27-30页 |
·OPEN64机器无关优化 | 第30-33页 |
·过程间分析优化 | 第30-32页 |
·全局标量优化 | 第32-33页 |
·循环嵌套优化 | 第33页 |
·本章小结 | 第33-34页 |
第3章 BWDSP译码器自动验证平台 | 第34-50页 |
·引言 | 第34页 |
·译码器相关的功能模块 | 第34-38页 |
·译码器功能模型 | 第38-45页 |
·概述 | 第38-39页 |
·指令对象创建模型 | 第39-41页 |
·指令对象模型 | 第41-42页 |
·译码比对验证 | 第42-45页 |
·重用与扩展 | 第45页 |
·自动化验证实验 | 第45-47页 |
·本章小结 | 第47-50页 |
第4章 基于高层WHIRL表示的SIMD优化算法 | 第50-68页 |
·引言 | 第50页 |
·循环嵌套优化 | 第50-51页 |
·基于高层WHIRL表示的SIMD优化算法 | 第51-64页 |
·可向量化的目标指令 | 第51-53页 |
·算法概述 | 第53-54页 |
·SIMD预分析 | 第54-55页 |
·循环SIMD化处理 | 第55-56页 |
·特殊SIMD指令识别 | 第56-60页 |
·SIMD预处理 | 第60-61页 |
·SIMD指令替换 | 第61-63页 |
·SIMD后续处理 | 第63-64页 |
·实验与效率分析 | 第64-66页 |
·本章小结 | 第66-68页 |
第5章 总结 | 第68-70页 |
·论文总结 | 第68-69页 |
·进一步工作 | 第69-70页 |
参考文献 | 第70-72页 |
附录1 插图索引 | 第72-74页 |
附录2 表格索引 | 第74-76页 |
致谢 | 第76-78页 |
在读期间发表的学术论文 | 第78-79页 |
攻读学位期间参加的科研项目 | 第79页 |