Report Number: CSL-TR-79-175
Institution: Stanford University, Computer Systems Laboratory
Title: Symbolic debugging of optimized code
Author: Hennessy, John L.
Date: July 1979
Abstract: The long standing conflict between the optimization of code
and the ability to symbolically debug the code is examined.
The effects of local and global optimizations on the
variables of a program are categorized and models for
representing the effect of optimizations are given. These
models are used by algorithms which determine the subset of
variables whose values do not correspond to those in the
original program. Algorithms for restoring these variables to
their correct values are also developed. Empirical results
from the application of these algorithms to local
optimization are presented.