In this technical report, we present an architecture for
register allocation on 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.