一种基于代数系统的跨文件过程间优化方法

摘要

本发明公开了一种基于代数系统的跨文件过程间优化方法，该方法包括以下步骤：针对目标机特征，选择出涉及栈操作、逻辑运算类指令，构建代数系统，并为这些指令与代数系统建立映射关系；从程序入口处开始遍历程序调用图PCG，判断存在边相连的节点是否分属不同的源文件，如果是，继续下一步操作，否则继续遍历PCG；从函数调用指令开始逆向沿着当前函数内的控制流图CFG开始遍历数据依赖图DDG，生成指令压栈操作的代数表达式，并进行表达式归约；分析后继节点函数的出栈操作，从中读出常量值，并依次传递，优化并计算，最终删除冗余指令片段。本发明有效地合并、释放了函数栈框架中可优化部分。除此之外，本发明在跨文件过程间优化、常量传播以及常量计算中也取得了较佳效果。