1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
\section{Labels}
\newdef{Labels} are used as symbolic names for address.
The structure \mlrischref{instructions/labels.sml}{Label}
defines the label datatype. The following operations are defined
on labels:
\begin{itemize}
\item \sml{newLabel : string -> label} -- Generate a new label with
a given name. If the name is \sml{""}, a new name is generated.
\item \sml{nameOf : label -> string} -- Returns the name of
a label
\item \sml{id : label -> int} -- Return the unique id of a label
\item \sml{reset : unit -> unit} -- Return the label id counter to 0.
\end{itemize}
For machine code generation, the following two additional methods are
defined.
\begin{itemize}
\item \sml{addrOf : label -> int} -- Return the address associated with
a label
\item \sml{setAddr : label * int -> unit} -- Set the address associated
with a label
\end{itemize}
See also \href{labelexp.html}{Label Expressions}.
|
