Global Program Optimizations
[Technical Report, Doctoral Thesis]
CARNEGIE-MELLON UNIV PITTSBURGH PA
Pagination or Media Count:
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.
- Computer Programming and Software