Changeset 627 for Deliverables/D2.2/8051
- Timestamp:
- Mar 3, 2011, 1:57:38 PM (10 years ago)
- 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 999 999 | `JNC (`Label a) -> 1000 1000 let address = StringTools.Map.find a labels in 1001 let reconstructed = `J C (`REL (vect_of_int 2 `Eight)) in1001 let reconstructed = `JNC (`REL (vect_of_int 2 `Eight)) in 1002 1002 5, address, reconstructed 1003 1003 | `JB (b, `Label a) -> 1004 1004 let address = StringTools.Map.find a labels in 1005 let reconstructed = `J C (`REL (vect_of_int 2 `Eight)) in1005 let reconstructed = `JB (b, `REL (vect_of_int 2 `Eight)) in 1006 1006 5, address, reconstructed 1007 1007 | `JNB (b, `Label a) -> 1008 1008 let address = StringTools.Map.find a labels in 1009 let reconstructed = `J C (`REL (vect_of_int 2 `Eight)) in1009 let reconstructed = `JNB (b, `REL (vect_of_int 2 `Eight)) in 1010 1010 5, address, reconstructed 1011 1011 | `JBC (b, `Label a) -> 1012 1012 let address = StringTools.Map.find a labels in 1013 let reconstructed = `J C (`REL (vect_of_int 2 `Eight)) in1013 let reconstructed = `JBC (b, `REL (vect_of_int 2 `Eight)) in 1014 1014 5, address, reconstructed 1015 1015 | `JZ (`Label a) -> 1016 1016 let address = StringTools.Map.find a labels in 1017 let reconstructed = `J C(`REL (vect_of_int 2 `Eight)) in1017 let reconstructed = `JZ (`REL (vect_of_int 2 `Eight)) in 1018 1018 5, address, reconstructed 1019 1019 | `JNZ (`Label a) -> 1020 1020 let address = StringTools.Map.find a labels in 1021 let reconstructed = `J C(`REL (vect_of_int 2 `Eight)) in1021 let reconstructed = `JNZ (`REL (vect_of_int 2 `Eight)) in 1022 1022 5, address, reconstructed 1023 1023 | `CJNE (args, `Label a) -> 1024 1024 let address = StringTools.Map.find a labels in 1025 let reconstructed = ` JC (`REL (vect_of_int 2 `Eight)) in1025 let reconstructed = `CJNE (args, `REL (vect_of_int 2 `Eight)) in 1026 1026 5, address, reconstructed 1027 1027 | `DJNZ (args, `Label a) -> 1028 1028 let address = StringTools.Map.find a labels in 1029 let reconstructed = ` JC (`REL (vect_of_int 2 `Eight)) in1029 let reconstructed = `DJNZ (args, `REL (vect_of_int 2 `Eight)) in 1030 1030 5, address, reconstructed 1031 1031 in
Note: See TracChangeset
for help on using the changeset viewer.