-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
The following technical report is available from http://aib.informatik.rwth-aachen.de:
Optimization of Straight-Line Code Revisited Thomas Noll, Stefan Rieger AIB 2005-21
In this report we study the effect of an optimizing algorithm for straight-line code which first constructs a directed acyclic graph representing the given program and then generates code from it. We show that this algorithm produces optimal code with respect to the classical transformations such as Constant Folding, Common Subexpression Elimination, and Dead Code Elimination. In contrast to the former, the latter are also applicable to iterative code containing loops. We can show that the graph-based algorithm essentially corresponds to a combination of the three classical optimizations in conjunction with Copy Propagation. Thus, apart from its theoretical importance, this result is relevant for practical compiler design as it allows to exploit the optimization potential of the graph-based algorithm for non--linear code as well.
- -- Peter Schneider-Kamp mailto:psk@informatik.rwth-aachen.de LuFG Informatik II http://www-i2.informatik.rwth-aachen.de/%7Enowonder RWTH Aachen phone: ++49 241 80-21211