指针数组的过程内别名分析  

Intraprocedural Alias Analysis for Pointer Array

作　　者：黄波[1] 臧斌宇[1] 俞一峻[1] 朱传琪[1] 

机构地区：[1]复旦大学并行处理研究所

出　　处：《软件学报》1999年第6期600-607,共8页Journal of Software

基　　金：国家自然科学基金;国家863高科技项目基金;国家教育部博士点基金

摘　　要：指针别名分析在Ｃ语言的并行优化中占有重要的地位，但已有的指针别名分析只能处理指针标量的情况．文章在介绍已有指针别名信息表示法的不足的基础上，提出了一种能够表示指针数组别名信息的表示方法，它可以更加准确地表示指针别名信息．在此表示法的基础上，提出了指针数组的过程内别名分析算法．此算法完全包含了指针标量的别名分析，对现有的指针别名分析算法所不能解决的一些问题能进行有效地处理．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 pointto information is presented, which can represent not only the pointto information of pointer scalars, but also the pointto 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.

关 键 词：指针别名 指针数组 并行优化 并行编译 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]