论文部分内容阅读
为了支持多媒体及数字信号处理应用，许多通用及嵌入式处理器都拥有短向量SIMD(单指令多数据)指令，可以用一条指令同时对多个数据进行操作。传统上，对 SIMD 指令的使用是通过采用内联汇编或调用库函数的形式实现的，造成程序的可移植性差；程序员需要识别程序中可向量化的部分来使用 SIMD 指令，加重了程序员的负担。Leupers 提出了一种基于数据流图的代码选择技术，支持 SIMD 指令的自动向量化。本文在对此算法进行了改进，使之能够自动向量化更多的 SIMD 指令，并讨论了与自动向量化编译相关的循环检查、循环展开、规则语义动作实现等，并给出了总的编译框架。