Report Number: CS-TR-76-544
Institution: Stanford University, Department of Computer Science
Title: Removing trivial assignments from programs
Author: Mont-Reynaud, Bernard
Date: March 1976
Abstract: An assignment X $\leftarrow$ Y in a program is "trivial" when both X and Y are simple program variables. The paper describes a transformation which removes all such assignments from a program P, producing a program P' which executes faster than P but usually has a larger size. The number of variables used by P' is also minimized. Worst-case analysis of the transformation algorithm leads to nonpolynomial bounds. Such inefficiency, however, does not arise in typical situations, and the technique appears to be of interest for practical compiler optimization.
http://i.stanford.edu/pub/cstr/reports/cs/tr/76/544/CS-TR-76-544.pdf