Changeset 622


Ignore:
Timestamp:
Mar 2, 2011, 6:10:52 PM (9 years ago)
Author:
mulligan
Message:

Started fixing assert false problem.

Location:
Deliverables/D2.2/8051
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/myocamlbuild_config.ml

    r619 r622  
    1 let parser_lib = "/home/ayache/Downloads/Bol/Deliverables/D2.2/8051/lib"
     1let parser_lib = "/home/dpm/Projects/Cerco/Deliverables/D2.2/8051/lib"
  • Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml

    r619 r622  
    985985      | `Cost _ -> []
    986986      | `WithLabel i ->
    987           let addr_of (`Label s) =
    988            let addr = StringTools.Map.find s labels in
    989             (* NOT IMPLEMENTED YET; NEEDS SMART ALGORITHM *)
    990             `REL (assert false) (*addr*)
    991           in
    992            assembly1 (assembly_jump addr_of i)
     987         let translation = assert false (*
     988           match i with
     989             `JC (`Label a) -> (*
     990               let offset = vect_of_int 2 `Eight in
     991               let address = StringTools.Map.find a labels in *)
     992                 assert false
     993           | `JNC a ->
     994               (* let offset = vect_of_int 2 `Eight in *)
     995                 assert false
     996           | `JB (b, a) ->
     997               (* let offset = vect_of_int 3 `Eight in *)
     998                 assert false
     999           | `JNB (b, a) ->
     1000               (* let offset = vect_of_int 3 `Eight in *)
     1001                 assert false
     1002           | `JBC (b, a) ->
     1003               (* let offset = vect_of_int 2 `Eight in *)
     1004                 assert false
     1005           | `JZ a ->
     1006               (* let offset = vect_of_int 2 `Eight in *)
     1007                 assert false
     1008           | `JNZ a ->
     1009               (* let offset = vect_of_int 2 `Eight in *)
     1010                 assert false
     1011           | `CJNE (args, a) ->
     1012               (* let offset = vect_of_int 3 `Eight in *)
     1013                 assert false
     1014           | `DJNZ ((`DIRECT, `REL _), a) ->
     1015               (* let offset = vect_of_int 3 `Eight in *)
     1016                 assert false
     1017           | `DJNZ ((`REG _, `REL _), a) ->
     1018               (* let offset = vect_of_int 2 `Eight in *)
     1019                 assert false *)
     1020         in
     1021           List.flatten (List.map assembly1 translation)
    9931022      | `Mov (`DPTR,s) ->
    9941023          let addrr16 = StringTools.Map.find s datalabels in
Note: See TracChangeset for help on using the changeset viewer.