Changeset 622 for Deliverables/D2.2/8051/src/ASM

Timestamp:

Mar 2, 2011, 6:10:52 PM (10 years ago)

Author:

mulligan

Message:

Started fixing assert false problem.

File:

• Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) (1 diff)

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

@@ -985 +985 @@
       | `Cost _ -> []
       | `WithLabel i ->
-          let addr_of (`Label s) =
-           let addr = StringTools.Map.find s labels in
-            (* NOT IMPLEMENTED YET; NEEDS SMART ALGORITHM *)
-            `REL (assert false) (*addr*)
-          in
-           assembly1 (assembly_jump addr_of i)
+         let translation = assert false (*
+           match i with
+             `JC (`Label a) -> (*
+               let offset = vect_of_int 2 `Eight in
+               let address = StringTools.Map.find a labels in *)
+                 assert false
+           | `JNC a ->
+               (* let offset = vect_of_int 2 `Eight in *)
+                 assert false
+           | `JB (b, a) ->
+               (* let offset = vect_of_int 3 `Eight in *)
+                 assert false
+           | `JNB (b, a) ->
+               (* let offset = vect_of_int 3 `Eight in *)
+                 assert false
+           | `JBC (b, a) ->
+               (* let offset = vect_of_int 2 `Eight in *)
+                 assert false
+           | `JZ a ->
+               (* let offset = vect_of_int 2 `Eight in *)
+                 assert false
+           | `JNZ a ->
+               (* let offset = vect_of_int 2 `Eight in *)
+                 assert false
+           | `CJNE (args, a) ->
+               (* let offset = vect_of_int 3 `Eight in *)
+                 assert false
+           | `DJNZ ((`DIRECT, `REL _), a) ->
+               (* let offset = vect_of_int 3 `Eight in *)
+                 assert false
+           | `DJNZ ((`REG _, `REL _), a) ->
+               (* let offset = vect_of_int 2 `Eight in *)
+                 assert false *)
+         in
+           List.flatten (List.map assembly1 translation)
       | `Mov (`DPTR,s) ->
           let addrr16 = StringTools.Map.find s datalabels in