Register allocation for programs in SSA Form
Sebastian Hack · Repository KITopen (Karlsruhe Institute of Technology) · 2007
This book investigates register allocation for programs in static single-assignment form. \t\t\t\t\t\tIts main result is that the interference graphs of SSA-form programs are chordal. \t\t\t\t\t\tThis gives the compiler precise knowledge over the register demand and allows for separating spilling, assignment and coalescing. \t\t\t\t\tFor each of these phases, we present methods specially tailored to the SSA setting and provide a first evaluation.