Changeset 2086


Ignore:
Timestamp:
Jun 15, 2012, 11:39:17 AM (5 years ago)
Author:
boender
Message:
  • spell-check
Location:
src/ASM/CPP2012-policy
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2012-policy/algorithm.tex

    r2085 r2086  
    148148        \item a function $labels$ that associates a label to its pseudo-address;
    149149        \item $old\_sigma$, the $\sigma$ function returned by the previous
    150                 iteration of the fixed point calculcation;
     150                iteration of the fixed point calculation;
    151151        \item $instr$, the instruction currently under consideration;
    152152        \item $ppc$, the pseudo-address of $instr$;
  • src/ASM/CPP2012-policy/problem.tex

    r2085 r2086  
    2222With this optimisation, however, comes increased complexity and hence
    2323increased possibility for error. We must make sure that the jumps are encoded
    24 correctly, otherwise the assembled program will behave impredictably.
     24correctly, otherwise the assembled program will behave unpredictably.
    2525
    2626\section{The branch displacement optimisation problem}
     
    8383Generally, in the code that is sent to the assembler as input, the only
    8484difference made between jump instructions is by semantics, not by span. This
    85 means that a distinction is made between the inconditional jump and the several
     85means that a distinction is made between the unconditional jump and the several
    8686kinds of conditional jump, but not between their short, absolute or long
    8787variants.
     
    128128longer depends only on the distance between the jump and its target: in order
    129129for an absolute jump to be possible, they need to be in the same segment (for
    130 the MCS-51, this means that the first 5 bytes of their addesses have to be
     130the MCS-51, this means that the first 5 bytes of their addresses have to be
    131131equal). It is therefore entirely possible for two jumps with the same span to
    132132be encoded in different ways (absolute if the jump and its target are in the
Note: See TracChangeset for help on using the changeset viewer.