Changeset 1402 for Deliverables/D4.2-4.3


Ignore:
Timestamp:
Oct 18, 2011, 1:30:43 PM (8 years ago)
Author:
mulligan
Message:

more added

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.2-4.3/reports/D4-3.tex

    r1400 r1402  
    199199\texttt{pair\_reg} & Various different `move' instructions have been merged into a single move instruction in the joint language.  A value can either be moved to or from the accumulator in some languages, or moved to and from an arbitrary pseudoregister in others.  This type encodes how we should move data around the registers and accumulators. \\
    200200\texttt{generic\_reg} & The representation of generic registers (i.e. those that are not devoted to a specific task). \\
    201 \texttt{call\_args} & \\
     201\texttt{call\_args} & The number of arguments to a function.  For some languages this is irrelevant. \\
    202202\texttt{call\_dest} & \\
    203203\texttt{extend\_statements} & Instructions that are specific to a particular intermediate language, and which cannot be abstracted into the joint language.
     
    322322For instance, in the semantics of RTLabs, we make use of the error monad to signal bad final states:
    323323\begin{lstlisting}
    324 XXX better example
    325324\end{lstlisting}
    326325\item
Note: See TracChangeset for help on using the changeset viewer.