Optimal chain rule placement for instruction selection based on SSA graphs

摘要

This volume contains the proceedings of the 10th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2007) held in Nice, France, on April 20th, 2007. One of the key characteristics of embedded software is that it heavily depends on the underlying hardware. Embedded processors are highly application specific, and embedded software thus needs to be designed such that it makes best use of a processor's features. As a consequence, embedded software design is directly related to an optimization process exploiting the characteristics of the underlying hardware under consideration of various cost functions like e. g. code size, energy consumption etc. >SCOPES focuses on the software generation process for modern embedded systems. Topics of interest include all aspects of the compilation process, starting with suitable modeling and specification techniques and programming languages for embedded systems. The emphasis of the workshop lies on code generation techniquesfor embedded processors. The exploitation of specialized instruction set characteristics is as important as the development of new optimizations for embedded application domains. Cost criteria for the entire code generation and optimization process include runtime, timing predictability, energy dissipation, code size and others. Since today's embedded devices frequently consist of a multi-processor system-on-chip, the scope of this workshop is not limited to single-processor systems but in particular covers compilation techniques for MPSoC architectures. >SCOPES 2007 is the 10th workshop in a series of workshops initially called "International Workshop on Code Generation for Embedded Processors". The name SCOPES has been used since the 4th workshop in 1999. Since then, SCOPES has been held in St. Goar, Germany in 2001; Berlin, Germany in 2002; Vienna, Austria in 2003; Amsterdam, The Netherlands in 2004; Dallas, USA in 2005; and now in Nice, France. This year, SCOPES is held as a Friday Workshop of theEuropean Design, Automation and Test conference (DATE) for the very first time. By bringing SCOPES and DATE together, SCOPES attracts a high degree of visibility, and the DATE conference as premier European design automation event explicitly emphasizes the importance of embedded software and compilers. >In response to the call for papers, 30 very strong papers were submitted from all over the world. All submitted papers were reviewed by at least three experts to ensure the quality of the workshop. In the end, the program committee selected 12 papers for presentation at the workshop. These papers are divided into the following categories: "Stream- and data-flow based computing", "Memory-aware compilation", "Multiprocessors and link-time optimization" and "Recent advances in static single-assignment representations".