专利详情

专利名称	一种基于代数系统的跨文件过程间优化方法
申请号	CN201310579365.X	专利类型	发明专利
公开（公告）号	CN103559069A	公开（授权）日	2014.02.05
申请（专利权）人	中国科学院声学研究所	发明（设计）人	朱浩;王东辉;洪缨
主分类号	G06F9/45(2006.01)I	IPC主分类号	G06F9/45(2006.01)I
专利有效期	一种基于代数系统的跨文件过程间优化方法至一种基于代数系统的跨文件过程间优化方法	法律状态	实质审查的生效
说明书摘要	本发明公开了一种基于代数系统的跨文件过程间优化方法，该方法包括以下步骤：针对目标机特征，选择出涉及栈操作、逻辑运算类指令，构建代数系统，并为这些指令与代数系统建立映射关系；从程序入口处开始遍历程序调用图PCG，判断存在边相连的节点是否分属不同的源文件，如果是，继续下一步操作，否则继续遍历PCG；从函数调用指令开始逆向沿着当前函数内的控制流图CFG开始遍历数据依赖图DDG，生成指令压栈操作的代数表达式，并进行表达式归约；分析后继节点函数的出栈操作，从中读出常量值，并依次传递，优化并计算，最终删除冗余指令片段。本发明有效地合并、释放了函数栈框架中可优化部分。除此之外，本发明在跨文件过程间优化、常量传播以及常量计算中也取得了较佳效果。