一种开发循环代码中潜在可向量化循环的方法

摘要

本发明公开了一种开发循环代码中潜在可向量化循环的方法，根据伯恩斯坦条件扫描获取循环代码中的数据依赖，根据读写顺序判断数据依赖的初始类型，采用定位三元组分别表示数据依赖源语句的位置和数据依赖目标语句的位置，计算距离向量并根据距离向量划分数据依赖类型，然后通过对自反依赖语句进行数据缓冲和对交叉依赖语句进行重排，采用数据缓冲消除自反依赖，采用语句重排消除交叉依赖，将部分原本不能够被编译器自动向量化的循环转换为可被向量化的循环，本发明通过形式化算法减小循环代码中数据依赖对向量化的影响，该方法能够有效提高程序向量化效率，提高程序在向量处理器上执行的性能，且操作性良好。