Technical Report: Towards Register Allocation for Programs in SSA-Form

In this technical report, we present an architecture for register allocation the SSA-form. We show, how the properties of SSA-form programs and their interference graphs can be exploited to develop new methods for spilling, coloring and coalescing. We present heuristic and optimal solution methods for these three subtasks.