| 摘要: |
| 指针别名分析在C语言的并行优化中占有重要的地位,但已有的指针别名分析只能处理指针标量的情况.文章在介绍已有指针别名信息表示法的不足的基础上,提出了一种能够表示指针数组别名信息的表示方法,它可以更加准确地表示指针别名信息.在此表示法的基础上,提出了指针数组的过程内别名分析算法.此算法完全包含了指针标量的别名分析,对现有的指针别名分析算法所不能解决的一些问题能进行有效地处理. |
| 关键词: 指针别名分析,指针数组,过程内分析,并行优化. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金、国家863高科技项目基金和国家教育部博士点基金资助。 |
|
| Intraprocedural Alias Analysis for Pointer Array |
|
HUANG Bo,ZANG Bin-yu,YU Yi-jun,ZHU Chuan-qi
|
| Abstract: |
| Pointer alias analysis plays an important role in the parallelizing optimization of C program, however, all the previous analyzing algorithm can only be used to analyze the pointer scalars. In this paper, an extended representation for point-to information is presented, which can represent not only the point-to information of pointer scalars, but also the point-to information of pointer arrays. Furthermore, an algorithm of intraprocedural alias analysis for pointer array is presented. This algorithm comprises both the pointer scalar analysis and pointer array analysis. It can be used to efficiently solve some problems which couldn't be solved by the previous algorithm. |
| Key words: Pointer alias analysis, pointer array, intraprocedural analysis, parallelizing optimization. |
