Eliminating two kinds of data flow inaccuracy in the presence of pointer aliasing

Author

Liu, Qiang ; Zhang, Zhaoqing ; Ji, Xiaomei

Author_Institution

Nat. Center for Intelligent Comput., Acad. Sinica, Beijing, China

fYear

1997

fDate

19-21 Mar 1997

Firstpage

410

Lastpage

415

Abstract

Program languages with sophisticated usage of pointers as C are hard to analyze. Recent researches on pointer analysis focus on tracking the possible values of pointers, when a program point is reached, and great progress has been achieved. However, how to apply the result of pointer analysis to dataflow analysis and other program optimization/parallelization is not well studied. This paper presents an efficient interprocedural framework based on two insights in real C program and its use in deriving an context-sensitive pointer analysis algorithm and an accurate interprocedural modification side effects (MOD) computation. Based on the result of the pointer analysis, the inaccuracy induced by merging aliasing information is also studied

Keywords

data flow analysis; optimising compilers; parallelising compilers; data flow inaccuracy; dataflow analysis; interprocedural framework; parallelization; pointer aliasing; pointer analysis; program optimization; real C program; Algorithm design and analysis; Information analysis; Merging; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Advances in Parallel and Distributed Computing, 1997. Proceedings

Conference_Location

Shanghai

Print_ISBN

0-8186-7876-3

Type

conf

DOI

10.1109/APDC.1997.574063

Filename

574063