Whole-program Optimization for Embedded Systems

(Exjobbet är tillsatt. Men om du är intresserad av ett exjobb i ämnet, kontakta mig (Sven-Olof Nyström). Jag kan kanske ordna fler exjobb.) Compiling for embedded systems offers some unusual prospects. In an embedded system, memory is usually quite expensive, so compiler optimizations that reduce memory use are very attractive. Programs for embedded systems are often quite small, which helps when we try to find practical algorithms for whole-program optimization.

In the WPO project, we explore optimization techniques that become feasible when the entire program is available to the compiler. We focus on optimizations that reduce memory use, for example code compression and memory allocation, but we are also interested in other techniques for inter-procedural analysis and optimization.

Publications and reports

• Johan Runeson and Sven-Olof Nyström, Retargetable Graph-coloring Register Allocation for Irregular Architectures. Presented at SCOPES 2003.
• Johan Runeson and Sven-Olof Nyström, Generalizing Chaitin's Algorithm: Graph-Coloring Register Allocation for Irregular Architectures. Technical report, May 2002.
• Jan Sjodin and Carl von Platen, "Storage Allocation for Embedded Processors", CASES 2001.
• J. Runeson, S. Nyström, J. Sjödin. Optimizing Code Size through Procedural Abstraction. Proceedings of Workshop on Languages, Compilers, and Tools for Embedded Systems, June 2000.
• J. Runeson. Code compression through procedural abstraction before register allocation Master's thesis, March 2000.
• J. Sjödin, B. Frödeberg, T. Lindgren. Static Allocation of Global Data Objects in On-Chip RAM. In Proc. Workshop on Compiler and Architectural Support for Embedded Computer Systems (CASES'98), December 1998.
• T. Lindgren, J. Sjödin, B. Frödeberg, Stack removal. Draft (local access only) (must be polished a bit before release). April 1998.

Personnel

Previous members

Our benchmarks

Literature lists

• Alias analysis. Until 1998.
• Analysis and optimization of object-oriented languages. Until 1998.
• Interprocedural analysis. Mostly about alias analysis.
• Integer range analysis. Determine the possible values of integer variables and relations between them.

Related projects