The program dependence graph and its use in optimization

The program dependence graph and its use in optimization (1987)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren

Venue:	ACM Transactions on Programming Languages and Systems
Citations:	749 - 3 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	The program dependence graph and its use in optimization	INFERENCE
AUTHOR NAME	Jeanne Ferrante	SVM HeaderParse 0.2
AUTHOR AFFIL	IBM T. J. Watson Research Center	SVM HeaderParse 0.2
AUTHOR NAME	Karl J. Ottenstein	SVM HeaderParse 0.2
AUTHOR AFFIL	Michigan Technological University; and	SVM HeaderParse 0.2
AUTHOR NAME	Joe D. Warren	SVM HeaderParse 0.2
AUTHOR AFFIL	Rice University	SVM HeaderParse 0.2
ABSTRACT	In this paper we present an intermediate program representation, called the program dependence graph (PDG), that makes explicit both the data and control dependence5 for each operation in a program. Data dependences have been used to represent only the relevant data flow relationships of a program. Control dependence5 are introduced to analogously represent only the essential control flow relationships of a program. Control dependences are derived from the usual control flow graph. Many traditional optimizations operate more efficiently on the PDG. Since dependences in the PDG connect computationally related parts of the program, a single walk of these dependences is sufficient to perform many optimizations. The PDG allows transformations such as vectorization, that previ-ously required special treatment of control dependence, to be performed in a manner that is uniform for both control and data dependences. Program transformations that require interaction of the two dependence types can also be easily handled with our representation. As an example, an incremental approach to modifying data dependences resulting from branch deletion or loop unrolling is intro-duced. The PDG supports incremental optimization, permitting transformations to be triggered by one another and applied only to affected dependences.	SVM HeaderParse 0.2
YEAR	1987	INFERENCE
VENUE	ACM Transactions on Programming Languages and Systems	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	319--349	INFERENCE
VOLUME	9	INFERENCE
CITATIONS	56 found	ParsCit 1.0