[发明专利]用于将具有循环承载的依赖的标量计算机程序循环向量化的方法和系统

摘要

公开了用于将具有循环承载的依赖的标量计算机程序循环转换为向量计算机程序循环的方法和系统。一种示例方法和系统生成与第一有条件执行的语句相关联的第一谓词集合。第一谓词集合包含使得在通过第一有条件执行的语句定义变量时或在此之前在标量计算机程序循环中定义该变量的谓词的第一集合。该方法和系统还生成与第一有条件执行的语句相关联的第二谓词集合。第二谓词集合包含使得在通过第一有条件执行的语句定义该变量时或在此之前在标量计算机程序循环中使用该变量的谓词的第二集合。该方法和系统确定第二谓词集合是否是第一谓词集合的子集，并且基于该确定，将该变量的向量的元素中的向量值传播给向量的随后元素。

主权项

1.一种用于将具有由有条件定义的标量变量引起的循环承载的依赖的标量计算机程序循环转换成向量计算机程序循环的系统，所述系统包括：谓词集合生成器，用于：生成与第一标量计算机程序指令相关联的第一谓词集合，所述第一谓词集合包含使得在所述第一标量计算机程序指令处或之前定义标量变量的谓词；生成与所述第一标量计算机程序指令相关联的第二谓词集合，所述第二谓词集合包含使得在所述第一标量计算机程序指令之后使用所述标量变量的谓词；传播器，用于：确定所述第二谓词集合是否是所述第一谓词集合的子集；以及响应于确定所述第二谓词集合不是所述第一谓词集合的子集，将向量的元素中的值传播给所述向量的随后元素，所述向量通过将所述标量变量转换成向量变量而形成。