Changeset 2901


Ignore:
Timestamp:
Mar 19, 2013, 1:22:22 AM (4 years ago)
Author:
sacerdot
Message:
  1. backendPrinter renamed to printer
  2. Clight printing branched into the printer
Location:
driver
Files:
2 edited
2 moved

Legend:

Unmodified
Added
Removed
  • driver/build

    r2875 r2901  
    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 ASMPrinter.cmo backendPrinter.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 printer.cmo error.cmo cerco.cmo -o cerco
  • driver/cerco.ml

    r2900 r2901  
    4444  let rec infinity = Extracted.Nat.S infinity in
    4545  (fun pass prog ->
    46     print_string (BackendPrinter.print_program pass prog);
     46    print_string (Printer.print_program pass prog);
    4747    Extracted.Semantics.run_and_print pass prog infinity
    4848     (fun p -> print_endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)
  • driver/printer.ml

    r2898 r2901  
    201201    (fun n ->string_of_int (Extracted.Glue.int_of_matitanat (Obj.magic n)))
    202202 ; print_call_dest = (fun _ -> "")
    203  ; print_ext_seq = (fun ltl_lin_seq -> assert false )
     203 ; print_ext_seq = (fun ltl_lin_seq -> "TO BE IMPLEMENTED" )
    204204 }
    205205
     
    225225 let lines =
    226226  match pass with
     227   | Extracted.Compiler.Clight_pass
     228   | Extracted.Compiler.Clight_switch_removed_pass
     229   | Extracted.Compiler.Clight_label_pass
     230   | Extracted.Compiler.Clight_simplified_pass ->
     231      ClightPrinter.print_program ClightPrinter.Cost_plain (Obj.magic program)
    227232   | Extracted.Compiler.Rtl_separate_pass ->
    228233      beprint (Extracted.RTL_printer.print_RTL_program rTL_printing_params)
Note: See TracChangeset for help on using the changeset viewer.