Changeset 734 for src

Timestamp:

Apr 1, 2011, 4:14:28 PM (10 years ago)

Author:

mulligan

Message:

Fixed lin2asm.

File:

• src/LIN/LINToASM.ma (modified) (2 diffs)

src/LIN/LINToASM.ma

@@ -34 +34 @@
     [ Joint_St_Sequential instr' _ ⇒
         match instr' with
-        [ Joint_Instr_Goto lbl ⇒ set_insert ? lbl (set_empty ?)
-        | Joint_Instr_CostLabel lbl ⇒ set_insert ? lbl (set_empty ?)
+        [ Joint_Instr_CostLabel lbl ⇒ set_insert ? lbl (set_empty ?)
         | Joint_Instr_CondAcc lbl ⇒ set_insert ? lbl (set_empty ?)
         | _ ⇒ set_empty ?
         ]
+    | Joint_St_Goto lbl ⇒ set_insert ? lbl (set_empty ?)
     | Joint_St_Return ⇒ set_empty ?
     ] in
@@ -89 +89 @@
   match statement with
   [ Joint_St_Return ⇒ Instruction (RET ?)
-  | Joint_St_Sequential instr _⇒
+  | Joint_St_Goto lbl ⇒ Jmp lbl
+  | Joint_St_Sequential instr _ ⇒
     match instr with
-    [ Joint_Instr_Goto lbl ⇒ Jmp lbl
-    | Joint_Instr_Comment comment ⇒ Comment comment
+    [ Joint_Instr_Comment comment ⇒ Comment comment
     | Joint_Instr_CostLabel lbl ⇒ Cost lbl
     | Joint_Instr_Pop ⇒ Instruction (POP ? accumulator_address)