发明名称 汇编级跨文件调度框架的构建方法
摘要 本发明涉及一种汇编级跨文件调度框架的构建方法,其步骤包括:判断、分析并描述汇编级寄存器内指令之间的数据依赖关系,构建汇编级数据依赖图ADDG,并且利用伪相关检测算法进行寄存器重新分配;分析汇编级基本块之间的调用关系,构建汇编级控制流图ACFG,并选择性添加控制依赖图CDG中删除冗余信息的特性来辅助后续调度;构建汇编级程序调用图APCG,组织管理全局源文件内函数调用关系。本发明提供了一种汇编级跨文件调度框架的构建方法,该方法从汇编级着手构建更高效的结构来完成更深层次的优化,其存储资源占用代价低、构建方法简单,并且支持全文件级的指令再调度与优化。
申请公布号 CN103645930A 申请公布日期 2014.03.19
申请号 CN201310697997.6 申请日期 2013.12.18
申请人 中国科学院声学研究所 发明人 朱浩;彭楚;王东辉;洪缨
分类号 G06F9/45(2006.01)I;G06F9/46(2006.01)I 主分类号 G06F9/45(2006.01)I
代理机构 北京亿腾知识产权代理事务所 11309 代理人 陈霁
主权项 一种汇编级跨文件调度框架的构建方法,其特征在于,包括以下步骤: 构建汇编级数据依赖图ADDG,判断、分析并描述汇编级寄存器内指令之间的数据依赖关系,并且利用伪相关检测算法进行寄存器重新分配,避免临时寄存器的复用带来数据间的伪相关;以及 构建汇编级控制依赖图ACFG,控制数据依赖分析,并添加控制依赖图CDG中删除冗余信息的特性来辅助后续调度,构建基于多叉树结构的谓词分析方法,通过遍历控制流图,跨基本块的分析条件判断相关指令间的数据依赖关系来完成谓词分析;以及 构建汇编级程序调用图APCG,组织管理全局源文件间的关系; 所述APCG中每个节点对应一个所述ACFG,所述ACFG中每个节点可映射到一个汇编级基本块,所述ACFG中每个节点对应一个独立的ADDG。
地址 100190 北京市海淀区北四环西路21号