Changeset 3353


Ignore:
Timestamp:
Jun 14, 2013, 1:30:16 PM (4 years ago)
Author:
boender
Message:
  • addressed minor corrections by referees
Location:
src/ASM/CPP2012-policy
Files:
3 edited

Legend:

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

    r2098 r3353  
    134134        \State $new\_size \gets \mathrm{instruction\_size}(instr,new\_length)$
    135135        \State $new\_added \gets added+(new\_size-old\_size)$
     136        \State $new\_sigma \gets old\_sigma$
    136137        \State $new\_sigma_1(ppc+1) \gets pc+new\_size$
    137138        \State $new\_sigma_2(ppc) \gets new\_length$ \\
  • src/ASM/CPP2012-policy/problem.tex

    r2099 r3353  
    156156$\mathtt{L}_{0}$ and the branch to it are such that $\mathtt{L}_{0}$ is just
    157157outside the segment that contains this branch. Let us also assume that the
    158 distance between $\mathtt{L}_{0}$ and the branch to it are too large for the
     158distance between $\mathtt{L}_{0}$ and the branch to it is too large for the
    159159branch instruction to be encoded as a short jump.
    160160
  • src/ASM/CPP2012-policy/proof.tex

    r3352 r3353  
    2828Instructions are also stocked in
    2929order: the memory address of the instruction at $ppc$ should be smaller than
    30 the memory address of the instruction at $ppc+1$. There is one exeception to
     30the memory address of the instruction at $ppc+1$. There is one exception to
    3131this rule: the instruction at the very end of the program, whose successor
    3232address can be zero (this is the case where the program size is exactly equal
Note: See TracChangeset for help on using the changeset viewer.