带类型恢复的编译器源源翻译技术

作者：米伟; 李玉祥; 陈莉; 冯晓兵; 张兆庆

来源：Z201007002, 2010, (07): 1145-1155.

• 编译器
• 源源翻译
• 可重定向
• 中间表示
• 类型不一致
• 类型恢复 compiler
• source-to-source
• retargetable
• intermediate representation
• type inconsistency
• type restoration

源源翻译是使编译器的分析和优化可重定向的一种重要方式.它被广泛用来支持并行语言扩展或者各种体系结构无关的优化,并且可以帮助程序员进行正确性或者性能的调试.在多核/众核时代,程序分析和优化倾向于让用户更多地参与,这种平台无关而且用户友好的代码生成方式也越来越受到欢迎.在简单的编译器中添加源源翻译的支持很容易,但在实现了复杂的程序分析和激进的优化的编译器中,却很少有编译器提供健壮的源源翻译支持.优化对程序结构的改变是造成翻译困难的首要原因.结合大量出错实例对优化给源源翻译带来的困难进行分析,提出了一套基于类型恢复的翻译技术,并在Open64编译器中实现了这种方法.通过supertest和spec2...

• 出版日期2010
• 单位中国科学院大学; 中国科学院计算技术研究所