Ignore:
Timestamp:
Jun 12, 2012, 3:49:27 PM (7 years ago)
Author:
boender
Message:
  • progress
File:
1 edited

Legend:

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

    r1889 r2049  
    99address. Mostly this occurs with jump instructions; for example, in the
    1010x86-64 instruction set there are eleven different forms of the unconditional
    11 jump instruction, all with different ranges and semantics (only six are valid
    12 in 64-bit mode, for example). Some examples are shown in
     11jump instruction, all with different ranges, instruction sizes and semantics
     12(only six are valid in 64-bit mode, for example). Some examples are shown in
    1313figure~\ref{f:x86jumps}:
    1414
     
    7575\subsection*{Adding medium jumps}
    7676
    77 In both the canonical solutions presented, the encoding of a jump is only
    78 dependent on the distance between the jump and its target: below a certain
    79 value a short jump can be used; above this value the jump must be encoded
    80 as a long jump.
     77In both papers mentioned above, the encoding of a jump is only dependent on the
     78distance between the jump and its target: below a certain value a short jump
     79can be used; above this value the jump must be encoded as a long jump.
    8180
    8281Here, termination of the smallest fixpoint algorithm is easy to prove. All
Note: See TracChangeset for help on using the changeset viewer.