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.
Keywords
Compiler; Register Allocation; Graph Coloring; Graphfärbung; Registerzuteilung; SSA Form; Codegeneration; Codegenerierung; Übersetzerbau; Register <Informatik>; CodeoptimierungISBN
9783866441804Publisher
KIT Scientific PublishingPublisher website
http://www.ksp.kit.edu/Publication date and place
2007Classification
Computer science