# Changeset 3353

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

### Legend:

Unmodified
 r2098 \State $new\_size \gets \mathrm{instruction\_size}(instr,new\_length)$ \State $new\_added \gets added+(new\_size-old\_size)$ \State $new\_sigma \gets old\_sigma$ \State $new\_sigma_1(ppc+1) \gets pc+new\_size$ \State $new\_sigma_2(ppc) \gets new\_length$ \\
 r2099 $\mathtt{L}_{0}$ and the branch to it are such that $\mathtt{L}_{0}$ is just outside the segment that contains this branch. Let us also assume that the distance between $\mathtt{L}_{0}$ and the branch to it are too large for the distance between $\mathtt{L}_{0}$ and the branch to it is too large for the branch instruction to be encoded as a short jump.
 r3352 Instructions are also stocked in order: the memory address of the instruction at $ppc$ should be smaller than the memory address of the instruction at $ppc+1$. There is one exeception to the memory address of the instruction at $ppc+1$. There is one exception to this rule: the instruction at the very end of the program, whose successor address can be zero (this is the case where the program size is exactly equal