Ignore:
Timestamp:
Mar 19, 2013, 8:42:43 AM (7 years ago)
Author:
sacerdot
Message:

Semantics of ASM in place (up to return values and function call names).
The test example badly diverges in ASM after being ok in LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semantics.ml

    r2902 r2905  
    447447  (fun x ->
    448448    Joint_fullexec.joint_preclassified_system LIN_semantics.lIN_semantics)
    449 | Compiler.Assembly_pass -> (Obj.magic ()) (*CSC: dummy, not used yet*)
     449| Compiler.Assembly_pass ->
     450  (fun prog ->
     451    let { Types.fst = eta32145; Types.snd = policy } = Obj.magic prog in
     452    let { Types.fst = code; Types.snd = sigma } = eta32145 in
     453    Interpret2.aSM_preclassified_system code sigma policy)
    450454| Compiler.Object_code_pass ->
    451455  (fun prog -> Interpret2.oC_preclassified_system (Obj.magic prog))
     
    457461    Types.unit0 **)
    458462let run_and_print pass prog n print_pass print_event print_error print_exit =
    459   (*CSC: temporary until Assembly implemented *)
    460   if pass = Assembly_pass then print_error List.Nil else
    461463  let pcs = preclassified_system_of_pass pass prog in
    462464  let prog0 = prog in
Note: See TracChangeset for help on using the changeset viewer.