Changeset 2875 for driver


Ignore:
Timestamp:
Mar 15, 2013, 1:32:50 AM (7 years ago)
Author:
sacerdot
Message:

Pretty printing of object code integrated too.
A couple of axioms make execution via the preclassified_system
raise assert false.

Location:
driver
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • driver/backendPrinter.ml

    r2868 r2875  
    221221
    222222let print_program pass (program : Extracted.Preamble.__) =
     223 let beprint pcs =
     224  print_graph (pcs (Extracted.Types.fst (Obj.magic program))) in
    223225 let lines =
    224226  match pass with
    225227   | Extracted.Compiler.Rtl_separate_pass ->
    226       Extracted.RTL_printer.print_RTL_program rTL_printing_params
     228      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
    227229   | Extracted.Compiler.Rtl_uniq_pass ->
    228       Extracted.RTL_printer.print_RTL_program rTL_printing_params
     230      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
    229231   | Extracted.Compiler.Ertl_pass ->
    230       Extracted.ERTL_printer.print_ERTL_program eRTL_printing_params
     232      beprint (Extracted.ERTL_printer.print_ERTL_program eRTL_printing_params)
    231233   | Extracted.Compiler.Ertlptr_pass ->
    232       Extracted.ERTLptr_printer.print_ERTLptr_program eRTLptr_printing_params
     234      beprint
     235       (Extracted.ERTLptr_printer.print_ERTLptr_program eRTLptr_printing_params)
    233236   | Extracted.Compiler.Ltl_pass ->
    234       Extracted.LTL_printer.print_LTL_program joint_LTL_LIN_printing_params
    235    | _ -> (fun _ -> Extracted.List.Nil)
     237      beprint
     238       (Extracted.LTL_printer.print_LTL_program joint_LTL_LIN_printing_params)
     239   | Extracted.Compiler.Object_code_pass ->
     240      ASMPrinter.print_program (Extracted.ASM.oc (Obj.magic program))
     241   | _ -> ""
    236242 in
    237   "\n" ^ print_graph (lines (Extracted.Types.fst (Obj.magic program))) ^ "\n"
     243  "\n" ^ lines ^ "\n"
  • driver/build

    r2856 r2875  
    1212ocamlc -I ../Deliverables/D2.2/8051/lib -c -g error.ml
    1313ocamlc -I ../Deliverables/D2.2/8051/lib -c -g *.ml
    14 ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo IntelHex.cmo clightPrinter.cmo backendPrinter.cmo ASMPrinter.cmo error.cmo cerco.cmo -o cerco
     14ocamlc -custom -g -I ../Deliverables/D2.2/8051/lib extracted.cmo  ../Deliverables/D2.2/8051/lib/libcparser.a ../Deliverables/D2.2/8051/lib/cparser.cma clightFromC.cmo clightParser.cmo IntelHex.cmo clightPrinter.cmo ASMPrinter.cmo backendPrinter.cmo error.cmo cerco.cmo -o cerco
  • driver/cerco.ml

    r2874 r2875  
    2929 | Extracted.Compiler.Ltl_pass                   -> "Ltl_pass"
    3030 | Extracted.Compiler.Lin_pass                   -> "Lin_pass"
     31 | Extracted.Compiler.Assembly_pass              -> "Assembly_pass"
     32 | Extracted.Compiler.Object_code_pass           -> "Object_code_pass"
    3133;;
    3234
Note: See TracChangeset for help on using the changeset viewer.