Changeset 523


Ignore:
Timestamp:
Feb 15, 2011, 4:55:48 PM (6 years ago)
Author:
mulligan
Message:

added a small reference to cost labels, along with a pointer to the relevant section where they are explained fully

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r522 r523  
    289289\label{subsect.labels.pseudoinstructions}
    290290
    291 Aside from implementing the core MCS-51 instruction set, we also implemented \emph{pseudoinstructions} and \emph{labels}.
     291Aside from implementing the core MCS-51 instruction set, we also provided \emph{pseudoinstructions}, \emph{labels} and \emph{cost labels}.
     292The purpose of \emph{cost labels} will be explained in Subsection~\ref{subsect.computation.cost.traces}.
     293
    292294Introducing pseudoinstructions had the effect of simplifying a C compiler---another component of the CerCo project---that was being implemented in parallel with our implementation.
    293295To understand why this is so, consider the fact that the MCS-51's instruction set has numerous instructions for unconditional and conditional jumps to memory locations.
Note: See TracChangeset for help on using the changeset viewer.