Global Program Optimizations
Abstract
The dissertation investigates the optimization of object code produced by compilers of higher level languages. Its primary goal is the isolation of a set of primitives which lead to a concise description and correspondingly concise implementation of program optimizations. In addition to being powerful enough to provide a concise representation, the primitives are also basic enough to apply to a wide range of languages and optimization techniques. The concept of similarity functions is introduced. A set of new optimizations described in terms of the similarity notion is proposed. A translator is described which implements code motion, redundant expression elimination, and new similarity-induced optimizations using the primitives developed in the dissertation. Examples are presented demonstrating the effect of these optimizations.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 1972
- Accession Number
- AD0762621
Entities
People
- Charles M. Geschke
Organizations
- Carnegie Mellon University