Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/Doc/latex/labels.tex
ViewVC logotype

View of /sml/trunk/src/MLRISC/Doc/latex/labels.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 547 - (download) (as text) (annotate)
Fri Feb 25 23:54:34 2000 UTC (19 years, 8 months ago) by leunga
File size: 914 byte(s)

New documentation files for MLRISC.  This version includes MLTREE extensions.
\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}.

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0