Changeset 627 for Deliverables/D2.2/8051

Timestamp:

Mar 3, 2011, 1:57:38 PM (10 years ago)

Author:

mulligan

Message:

Fixed bug in ASMInterpret.ml. Added pretty printing module.

Location:

Deliverables/D2.2/8051/src/ASM

Files:

• ASMInterpret.ml (modified) (1 diff)
• Pretty.ml (added)
• Pretty.mli (added)

Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml

@@ -999 +999 @@
            | `JNC (`Label a) ->
                let address = StringTools.Map.find a labels in
-               let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
+               let reconstructed = `JNC (`REL (vect_of_int 2 `Eight)) in
                  5, address, reconstructed
            | `JB (b, `Label a) ->
                let address = StringTools.Map.find a labels in
-               let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
+               let reconstructed = `JB (b, `REL (vect_of_int 2 `Eight)) in
                  5, address, reconstructed
            | `JNB (b, `Label a) ->
                let address = StringTools.Map.find a labels in
-               let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
+               let reconstructed = `JNB (b, `REL (vect_of_int 2 `Eight)) in
                  5, address, reconstructed
            | `JBC (b, `Label a) ->
                let address = StringTools.Map.find a labels in
-               let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
+               let reconstructed = `JBC (b, `REL (vect_of_int 2 `Eight)) in
                  5, address, reconstructed
            | `JZ (`Label a) ->
                let address = StringTools.Map.find a labels in
-               let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
+               let reconstructed = `JZ (`REL (vect_of_int 2 `Eight)) in
                  5, address, reconstructed
            | `JNZ (`Label a) ->
                let address = StringTools.Map.find a labels in
-               let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
+               let reconstructed = `JNZ (`REL (vect_of_int 2 `Eight)) in
                  5, address, reconstructed
            | `CJNE (args, `Label a) ->
                let address = StringTools.Map.find a labels in
-               let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
+               let reconstructed = `CJNE (args, `REL (vect_of_int 2 `Eight)) in
                  5, address, reconstructed
            | `DJNZ (args, `Label a) ->
                let address = StringTools.Map.find a labels in
-               let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
+               let reconstructed = `DJNZ (args, `REL (vect_of_int 2 `Eight)) in
                  5, address, reconstructed
          in