Changeset 734 for src/LIN


Ignore:
Timestamp:
Apr 1, 2011, 4:14:28 PM (9 years ago)
Author:
mulligan
Message:

Fixed lin2asm.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r723 r734  
    3434    [ Joint_St_Sequential instr' _ ⇒
    3535        match instr' with
    36         [ Joint_Instr_Goto lbl ⇒ set_insert ? lbl (set_empty ?)
    37         | Joint_Instr_CostLabel lbl ⇒ set_insert ? lbl (set_empty ?)
     36        [ Joint_Instr_CostLabel lbl ⇒ set_insert ? lbl (set_empty ?)
    3837        | Joint_Instr_CondAcc lbl ⇒ set_insert ? lbl (set_empty ?)
    3938        | _ ⇒ set_empty ?
    4039        ]
     40    | Joint_St_Goto lbl ⇒ set_insert ? lbl (set_empty ?)
    4141    | Joint_St_Return ⇒ set_empty ?
    4242    ] in
     
    8989  match statement with
    9090  [ Joint_St_Return ⇒ Instruction (RET ?)
    91   | Joint_St_Sequential instr _⇒
     91  | Joint_St_Goto lbl ⇒ Jmp lbl
     92  | Joint_St_Sequential instr _ ⇒
    9293    match instr with
    93     [ Joint_Instr_Goto lbl ⇒ Jmp lbl
    94     | Joint_Instr_Comment comment ⇒ Comment comment
     94    [ Joint_Instr_Comment comment ⇒ Comment comment
    9595    | Joint_Instr_CostLabel lbl ⇒ Cost lbl
    9696    | Joint_Instr_Pop ⇒ Instruction (POP ? accumulator_address)
Note: See TracChangeset for help on using the changeset viewer.