Changeset 3023


Ignore:
Timestamp:
Mar 28, 2013, 9:58:41 PM (7 years ago)
Author:
sacerdot
Message:

Typo fixed. It made all GOTOs jump to random positions in the ASM code.

Files:
2 edited

Legend:

Unmodified
Added
Removed

  • extracted/lINToASM.ml

    r3019 r3023  
    10081008       (identifier_of_label globals lbl) (fun lbl' ->
    10091009       Monad.m_return0 (Monad.smax_def State.state_monad) (ASM.Jmp
    1010          (ASM.toASM_ident PreIdentifiers.LabelTag lbl)))
     1010         (ASM.toASM_ident PreIdentifiers.LabelTag lbl')))
    10111011   | Joint.RETURN ->
    10121012     Monad.m_return0 (Monad.smax_def State.state_monad) (ASM.Instruction

  • src/LIN/LINToASM.ma

    r3017 r3023  
    172172    [ GOTO lbl ⇒
    173173      ! lbl' ← Identifier_of_label … lbl ;
    174       return Jmp (toASM_ident ? lbl)
     174      return Jmp (toASM_ident ? lbl')
    175175    | RETURN ⇒ return Instruction (RET ?)
    176176    | TAILCALL abs _ _ ⇒ Ⓧabs
Note: See TracChangeset for help on using the changeset viewer.