[发明专利]针对已调度汇编代码的控制流图重构方法

摘要

本发明涉及一种针对已调度汇编代码的控制流图重构方法，包括：对源程序进行静态分析，根据全局延迟槽列表信息，获取源程序所有可能的执行路径，由此构建指令流图；其中，指令流图中的每个结点代表一条指令；遍历指令流图中的各个结点，根据各个结点的入度和出度信息，创建基本块，生成控制流图；基于控制流图，分析各基本块中的各个执行包，对执行包建立汇编级数据依赖图；根据源体系结构指令集信息，确定执行包中各条指令的时间戳信息；根据各条指令的时间戳信息，进行指令的跨块或跨包移动；根据汇编级数据依赖图，修改各条指令的时间戳信息；根据各条指令修改后的时间戳信息，重排序各条指令，由此复原源程序中每条指令的等价执行。

主权项

一种针对已调度汇编代码的控制流图重构方法，其特征在于，所述方法包括：对源程序进行静态分析，根据全局延迟槽列表信息，获取源程序所有可能的执行路径，由此构建指令流图；其中，指令流图中的每个结点代表一条指令，每一条边代表一条指令到另一条指令一种可能的执行序关系；遍历所述指令流图中的各个结点，根据所述各个结点的入度和出度信息，创建基本块，生成控制流图；基于控制流图，分析各基本块中的各个执行包，对所述执行包建立汇编级数据依赖图；根据源体系结构指令集信息，确定所述执行包中各条指令的时间戳信息；根据所述各条指令的时间戳信息，进行指令的跨块或跨包移动；其中，所述进行指令的跨块或跨包移动包括：在[T_W]大于当前执行包的基准时间T_b1时，比较[T_W]和当前基本块中的最后一个执行包的基准时间T_b2；在[T_W]大于当前基本块中最后一个执行包的基准时间T_b2时，当前指令进行跨块移动；在[T_W]不大于当前基本块中最后一个执行包的基准时间T_b2时，当前指令进行跨包移动；其中，[T_W]为对当前指令的写回时间T_W的下取整；根据所述汇编级数据依赖图，修改所述各条指令的时间戳信息；根据各条指令修改后的时间戳信息，重排序所述各条指令，由此复原所述源程序中每条指令的等价执行。