Interacting Code Motion Transformations: Their Impact and Their Complexity

• Main Author: Rüthing, Oliver (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1539
• Subjects: Programming languages (Electronic computers).; Computers.; Computer logic.; Software engineering.; Programming Languages, Compilers, Interpreters.; Theory of Computation.; Logics and Meanings of Programs.; Software Engineering.

Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are restricted by a narrow focus on their immediate effects. A more ambitious approach is to investigate the i...

Table of Contents:

• Basic Formalisms and Definitions
• Basic Formalisms and Definitions
• Expression Motion
• Optimal Expression Motion: The Single-Expression View
• Optimal Expression Motion: The Multiple-Expression View
• Expression Motion in the Presence of Critical Edges
• Assignment Motion
• Program Transformations Based on Assignment Motion
• A Framework for Assignment Motion Based Program Transformations
• Assignment Motion in the Presence of Critical Edges
• Conclusions and Perspectives.