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.
http://i.stanford.edu/pub/cstr/reports/csl/tr/79/175/CSL-TR-79-175.pdf