KIT | KIT-Bibliothek | Impressum | Datenschutz

Register allocation for programs in SSA Form

Hack, Sebastian

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.


Volltext §
DOI: 10.5445/KSP/1000007166
Die gedruckte Version dieser Publikation können Sie hier kaufen.
Cover der Publikation
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
Referent/Betreuer Goos, G.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page