控制流路径敏感的深层代码优化技术

摘要：

软件规范中的函数调用约定指出,caller和callee都需要保存函数调用前后的程序状态.根据数据流分析和过程间分析,caller和callee会保存和恢复的程序状态有不同的分工.数据流分析方法在决定对callcc-save的寄存器是否要保存恢复时是从理论上在函数的入口保存寄存器状态而在函数的出口恢复寄存器状态,然而在特定控制流路径上并没有对一些保存的全局寄存器的状态进行修改,所以这些控制流路径上的寄存器保存恢复实际上是冗余的.该文提出了一种简单快捷的反向数据流分析方法,对特定控制流路径上的callee-save的寄存器恢复指令进行选择性优化,从而使特定控制流路径上的代码得到有效的优化,特别是对热控制流路径和短路径,提出的优化方法显得特别重要.

关键词：调用约定、控制流路径、过程调用、caller-save/callee-save的寄存器

所属期刊栏目：30

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AAIZ2104和,2001AA111061

在线出版日期：2004-06-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：43-44,73