Institute of Computer Languages
Compilers and Languages Group
über
| Datum: | Freitag, 27. Mai 2011 |
|---|---|
| Zeit: | 15:00 c.t. |
| Ort: | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
In recent years register allocation regained lots of attention. A major insight, triggering several exciting developments, was the fact that Static Single Assignment form (SSA) provides many favorable properties that promise to simplify register allocation by splitting the problem into three separate subphases: spilling, assignment, and coalescing.
This talk will focus on the spilling problem, i.e., the problem of evicting variables to temporary locations in memory in order to limit the number of required registers. The main problem here is the placement of load and store instructions such that execution time and code size are minimized. We propose a new exact spilling model based on Integer Linear Programming (ILP) in order to gain further insights of the problem for the development of new spilling heuristics. Our experiments show that existing heuristics and even previous "optimal" formulations still leave headroom for improvements.
Florian Brandner is currently a INRIA post-doc researcher at the Ecole
Normale Supérieure de Lyon (France). He graduated from the Vienna
University of Technology (Austria) in 2004 and received his PhD from
the same university in 2009. His research is focused on the
interaction between architecture design and compiler
development. During his PhD he developed a processor modeling and
exploration system, which allows to automatically generate software
development tools such as a compiler and instruction set simulators
from concise processor specifications. His current research focus is
on exploiting Static Single Assignment form (SSA) in code generation
algorithms such as register allocation, spilling, and instruction
selection.
(http://perso.ens-lyon.fr/florian.brandner/)
Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.