Combining analyses, combining optimizations
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This thesis presents a framework for describing optimizations. It shows how to combine two such frameworks and how to reason about the properties of the resulting framework. The structure of the framework provides insight into when a combination yields better results. Also presented is a simple iterative algorithm for solving these frameworks. A framework is shown that combines Constant Propagation, Unreachable Code Elimination, Global Congruence Finding and Global Value Numbering. For these optimizations, the iterative algorithm runs in
Description
Advisor
Degree
Type
Keywords
Citation
Click, Clifford Noel, Jr. "Combining analyses, combining optimizations." (1995) Diss., Rice University. https://hdl.handle.net/1911/16807.