\section{Register Allocator}

The MLRISC register allocator implements the iterated-coalescing algorithm
described in POPL '96 [George, Appel].  The details are described in these
papers
\begin{enumerate}
\item \externhref{http://cm.bell-labs.com/cm/cs/what/smlnj/compiler-notes/new-ra.ps}{A New MLRISC Register Allocator}
\end{enumerate}