[发明专利]指针别名关系判断方法和代码多版本优化方法

权利要求书

1.一种指针别名关系判断方法，其特征在于，包括：

判断第一循环体在执行一次循环操作时所述第一循环体内的第一指针所指向的第一地址段偏移和第二循环体在执行相同次循环操作时第二循环体内的第二指针所指向的第二地址段偏移是否重合，所述第一循环体和第二循环体是根据待优化循环体生成的两个不同版本；

判断所述第一循环体在结束上一次循环操作转入下一次循环操作时所述第一指针指向的第一地址段跨步和所述第二循环体在结束上一次循环操作转入下一次循环操作时所述第二指针指向的第二地址段跨步是否相等；以及

如果上述两个判断步骤结果均为是，则确定所述第一指针和所述第二指针互为指针别名关系。

2.如权利要求1所述的方法，其特征在于，所述待优化循环体为循环体大小大于预定标准的循环体。

3.如权利要求1所述的方法，其特征在于，所述待优化循环体为循环次数大于预定次数的循环体。

4.如权利要求1所述的方法，其特征在于，所述待优化循环体为所包含的指针信息比重大于预定比重的循环体，所述指针信息比重为所述待优化循环体中所有指针读和指针写操作所指向的位置数的总和。

5.如权利要求1所述的方法，其特征在于，判断所述第一地址段偏移和所述第二地址段偏移是否重合的方法包括：分别计算出在第一循环体执行一次循环操作时所述第一循环体内的第一指针所指向的第一地址段的上界和下界，和在第二循环体执行相同次循环操作时第二循环体内的第二指针所指向的第二地址段的上界和下界；判断所述第一地址段和第二地址段的上界和下界是否重合。

6.一种代码多版本优化方法，其特征在于，包括：

选择待优化的循环体；

根据所述待优化循环体生成多个不同版本；

利用权利要求1所述方法生成在所述多个版本相互之间进行切换的测试条件；

根据所述测试条件在所述多个版本中进行切换。

7.如权利要求6所述的方法，其特征在于，利用权利要求1所述方法生成在所述多个版本相互之间进行切换的测试条件的方法包括：利用权利要求1所述方法判断所述多个版本之间的指针别名关系；以及根据所述指针别名关系进一步确定所述多个版本之间的选择和切换机制。

8.如权利要求6所述的方法，其特征在于，选择待优化的循环体的方法包括：选择循环体大小大于预定标准的循环体作为所述待优化循环体。

9.如权利要求6所述的方法，其特征在于，选择待优化的循环体的方法包括：选择循环次数大于预定次数的循环体作为所述待优化循环体。

10.如权利要求6所述的方法，其特征在于，选择待优化的循环体的方法包括：选择包含指针信息比重大于预定比重的循环体作为所述待优化循环体，且所述指针信息比重为所述待优化循环体中所有指针读和指针写操作所指向的位置数的总和。