Changeset 627 for Deliverables/D2.2


Ignore:
Timestamp:
Mar 3, 2011, 1:57:38 PM (9 years ago)
Author:
mulligan
Message:

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

Location:
Deliverables/D2.2/8051/src/ASM
Files:
2 added
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml

    r625 r627  
    999999           | `JNC (`Label a) ->
    10001000               let address = StringTools.Map.find a labels in
    1001                let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
     1001               let reconstructed = `JNC (`REL (vect_of_int 2 `Eight)) in
    10021002                 5, address, reconstructed
    10031003           | `JB (b, `Label a) ->
    10041004               let address = StringTools.Map.find a labels in
    1005                let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
     1005               let reconstructed = `JB (b, `REL (vect_of_int 2 `Eight)) in
    10061006                 5, address, reconstructed
    10071007           | `JNB (b, `Label a) ->
    10081008               let address = StringTools.Map.find a labels in
    1009                let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
     1009               let reconstructed = `JNB (b, `REL (vect_of_int 2 `Eight)) in
    10101010                 5, address, reconstructed
    10111011           | `JBC (b, `Label a) ->
    10121012               let address = StringTools.Map.find a labels in
    1013                let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
     1013               let reconstructed = `JBC (b, `REL (vect_of_int 2 `Eight)) in
    10141014                 5, address, reconstructed
    10151015           | `JZ (`Label a) ->
    10161016               let address = StringTools.Map.find a labels in
    1017                let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
     1017               let reconstructed = `JZ (`REL (vect_of_int 2 `Eight)) in
    10181018                 5, address, reconstructed
    10191019           | `JNZ (`Label a) ->
    10201020               let address = StringTools.Map.find a labels in
    1021                let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
     1021               let reconstructed = `JNZ (`REL (vect_of_int 2 `Eight)) in
    10221022                 5, address, reconstructed
    10231023           | `CJNE (args, `Label a) ->
    10241024               let address = StringTools.Map.find a labels in
    1025                let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
     1025               let reconstructed = `CJNE (args, `REL (vect_of_int 2 `Eight)) in
    10261026                 5, address, reconstructed
    10271027           | `DJNZ (args, `Label a) ->
    10281028               let address = StringTools.Map.find a labels in
    1029                let reconstructed = `JC (`REL (vect_of_int 2 `Eight)) in
     1029               let reconstructed = `DJNZ (args, `REL (vect_of_int 2 `Eight)) in
    10301030                 5, address, reconstructed
    10311031         in
Note: See TracChangeset for help on using the changeset viewer.