Changeset 3023
- Timestamp:
- Mar 28, 2013, 9:58:41 PM (8 years ago)
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/lINToASM.ml
r3019 r3023 1008 1008 (identifier_of_label globals lbl) (fun lbl' -> 1009 1009 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'))) 1011 1011 | Joint.RETURN -> 1012 1012 Monad.m_return0 (Monad.smax_def State.state_monad) (ASM.Instruction -
src/LIN/LINToASM.ma
r3017 r3023 172 172 [ GOTO lbl ⇒ 173 173 ! lbl' ← Identifier_of_label … lbl ; 174 return Jmp (toASM_ident ? lbl )174 return Jmp (toASM_ident ? lbl') 175 175 | RETURN ⇒ return Instruction (RET ?) 176 176 | TAILCALL abs _ _ ⇒ Ⓧabs
Note: See TracChangeset
for help on using the changeset viewer.