Register allocation for programs in SSA Form
Abstract:
This book investigates register allocation for programs in static single-assignment form.
Its main result is that the interference graphs of SSA-form programs are chordal.
This gives the compiler precise knowledge over the register demand and allows for separating spilling, assignment and coalescing.
For each of these phases, we present methods specially tailored to the SSA setting and provide a first evaluation.
Its main result is that the interference graphs of SSA-form programs are chordal.
This gives the compiler precise knowledge over the register demand and allows for separating spilling, assignment and coalescing.
For each of these phases, we present methods specially tailored to the SSA setting and provide a first evaluation.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 2007 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-86644-180-4 urn:nbn:de:0072-71663 KITopen-ID: 1000007166 |
| Verlag | Universitätsverlag Karlsruhe |
| Umfang | XVI, 123 S. |
| Art der Arbeit | Dissertation |
| Fakultät | Fakultät für Informatik (INFORMATIK) |
| Institut | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Prüfungsdaten | 31.10.2006 |
| Schlagwörter | Compiler, Übersetzerbau, Register <Informatik>, Codeoptimierung, Codegenerierung, Graphfärbung, Registerzuteilung, SSA Form, Compiler, Register Allocation, Codegeneration, SSA Form, Graph Coloring |
| Nachgewiesen in | OpenAlex |
| Referent/Betreuer | Goos, G. |