本文对向量VLIW DSP的寄存器偶对相关的代码优化技术进行了研究,具体包括寄存器偶对操作数处理、寄存器偶对指派、自动向量化过程中的寄存器偶对使用等三个代码优化问题的研究。本文提出了寄存器偶对操作数修正算法,该算法解除了指令操作数中的成对符号寄存器必须在寄存器分配时作为一个整体同时获得寄存器偶对的要求,提升了对寄存器的使用的灵活性。本文为指令的操作数中的成对符号寄存器提供了一种灵活的寄存器偶对指派算法,可以提高寄存器指派过程的成功率,减少插入溢出恢复指令的数量。本文结合自动向量化算法的处理过程和硬件特征,提出了自动向量化过程中寄存器偶对利用的代码优化算法。具体研究内容如下:(1)针对寄存器偶对操作数的代码优化。这项优化的算法结合数据流信息,分别对指令的源操作数和目标操作数按照寄存器分配结果用不同方法进行修正。此算法将指令操作数中不符合寄存器偶对使用约束条件的寄存器偶对称为错误寄存器偶对。在进行指令寄存器偶对操作数修正时,以单条指令为基本对象,分析处理模式,通过插入数据转移指令把指令中错误寄存器偶对中的数据暂存到通过启发式方法找到的合法寄存器偶对中。然后,在该指令后添加数据传送指令将暂存的数据传送回原来的寄存器中。指令寄存器偶对操作数修正算法使得寄存器偶对操作数的使用符合物理寄存器偶对使用的约束条件,并保证输入代码的语义不发生变化;(2)寄存器偶对指派的代码优化。这项优化的算法结合候选物理寄存器集合的编号特征和寄存器偶对的约束条件,对寄存器分配流程中的寄存器指派环节进行了优化。当存在符合寄存器偶对的使用约束条件的空闲物理寄存器偶对时,此优化算法将尽可能地指派空闲物理寄存器偶对给成对的符号寄存器。当不存在这样的空闲物理寄存器偶对时,指派任意两个空闲的物理寄存器给成对符号寄存器,避免寄存器指派失败;(3)自动向量化中寄存器偶对利用的代码优化。这项优化的算法建立了以代码片段的指令执行包数量为衡量标准的代价模型来指导代码转换,并将输入代码中部分使用单个寄存器操作数的指令映射成使用寄存器偶对的操作数指令。此方法能够帮助提升了数据处理能力更强的指令的利用率。