1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
\section{Regmap}
A \newdef{regmap}
is a mapping from virtual register to virtual or physical
register, and is used by MLRISC register allocators to
represent the current binding of virtual registers. Regmaps are implemented
as \mlrischref{library/intmap.sml}{Intmap}
in MLRISC, and are defined in the
\href{cells.html}{CELLS} interface.
Regmaps are used in phases such as
\href{asm.html}{assembly generation} and
\href{mc.html}{machine code}. MLRISC program representations such
\href{cluster.html}{clusters} and \href{mlrisc-ir.html}{IR}
each contains a global regmap per compilation unit. Representations
such as \href{hyperblock.html}{hyperblock} may contain its own
regmap, which overrides the global regmap.
|
