Changeset 1402

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

more added

File:
1 edited

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

 r1400 \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. \\ \texttt{generic\_reg} & The representation of generic registers (i.e. those that are not devoted to a specific task). \\ \texttt{call\_args} & \\ \texttt{call\_args} & The number of arguments to a function.  For some languages this is irrelevant. \\ \texttt{call\_dest} & \\ \texttt{extend\_statements} & Instructions that are specific to a particular intermediate language, and which cannot be abstracted into the joint language. For instance, in the semantics of RTLabs, we make use of the error monad to signal bad final states: \begin{lstlisting} XXX better example \end{lstlisting} \item
Note: See TracChangeset for help on using the changeset viewer.