Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.
Author(s): Jens Knoop (auth.)
Series: Lecture Notes in Computer Science 1428
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 288
City: Berlin; New York
Tags: Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering
Preface....Pages 1-12
The Intraprocedural Framework....Pages 15-29
Optimal Intraprocedural Code Motion: The Transformations....Pages 31-48
Optimal Intraprocedural Code Motion: The DFA-Algorithms....Pages 49-67
The Programming Language....Pages 71-77
Higher Order Data Flow Analysis....Pages 79-97
The Interprocedural Setting....Pages 99-108
Interprocedural Abstract Interpretation....Pages 109-140
A Cookbook for Optimal Interprocedural Program Optimization....Pages 141-144
Optimal Interprocedural Code Motion: The Transformations....Pages 147-207
Optimal Interprocedural Code Motion: The IDFA-Algorithms....Pages 209-248
Perspectives....Pages 251-270
