[发明专利]一种消除冗余的内存访问操作的编译优化方法

摘要

本发明公开了一种消除冗余的内存访问操作的编译优化方法，用于别名信息不精确且访存采用Load/Store架构的系统中，是基于轻量的数据流分析方法，在代码生成阶段，通过特定的存储‑加载指令序列特点，判断其中的加载指令是否冗余，对于冗余的Load指令，依据前继指令的特点，可以对其进行删除，或转换为代价较小的拷贝指令或者是比特位提取指令。本发明能够消除冗余的访存指令，大大减少程序的访存时间，提高程序性能，同时暴露了更多的程序优化机会，提高了程序性能。

主权项

一种消除冗余的内存访问操作的编译优化方法，该方法用于别名信息不精确且访存采用Load/Store架构的系统中，其特征在于包括以下步骤：⑴.以基本块为单位对程序进行简单的数据流分析，得到数据访问的使用‑定义链；⑵.以基本块为单位对指令链进行前向遍历，如果检测到内存加载Load指令，那么访问使用‑定义链找到它的定义指令，如果该指令和当前指令的访存地址具有别名关系，那么进入步骤⑶；如果该指令和当前指令的访存地址具有包含关系，那么进入步骤⑷；如果该指令和当前指令的访存地址相同，那么进入步骤⑸；如果未检测到内存加载Load指令时，进入步骤⑹；⑶.记录定义指令为op1，继续访问该指令的前继定义指令op2，根据别名信息，分别比较三条指令的基址寄存器、偏移量寄存器内容关系，并将当前的加载指令转换为相应形式的拷贝指令，然后进入步骤⑹；⑷.如果前继定义指令为内存存储Store指令，将加载指令转化为相应的比特提取指令，然后进入步骤⑹；⑸.删除加载指令，并插入拷贝指令，然后进入步骤⑹；⑹.执行步骤⑵，直到程序所有的基本块处理完毕。