Changeset 2758 for driver


Ignore:
Timestamp:
Mar 1, 2013, 7:55:27 PM (7 years ago)
Author:
campbell
Message:

Adapt prototype's Clight printer.
Doesn't use cost map yet.

Location:
driver
Files:
2 added
3 edited

Legend:

Unmodified
Added
Removed
  • driver/build

    r2744 r2758  
    1414ocamlc -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 error.cmo exec.cmo -o exec
    1515ocamlc -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 error.cmo frontend.cmo -o frontend
    16 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 error.cmo compiler.cmo -o compiler
     16ocamlc -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 clightPrinter.cmo error.cmo compiler.cmo -o compiler
  • driver/clightFromC.ml

    r2648 r2758  
    126126let idGenerator = ref (Extracted.Identifiers.new_universe Extracted.PreIdentifiers.SymbolTag)
    127127let idTable = Hashtbl.create 47
     128let symTable = Hashtbl.create 47
    128129let make_id s =
    129130  try
     
    133134    idGenerator := g;
    134135    Hashtbl.add idTable s id;
     136    Hashtbl.add symTable id s;
    135137    id
    136138
  • driver/compiler.ml

    r2747 r2758  
    2424let cl = ClightParser.process Sys.argv.(1) in
    2525let OK {Extracted.Types.fst = oc; snd = acl} = Extracted.Compiler.compile cl in
    26 ()
     26let {Extracted.Types.dpi1 = labelled; Extracted.Types.dpi2 = l_costmap} = acl in
     27print_endline (ClightPrinter.print_program labelled)
    2728(*
    2829let OK mid = Extracted.Compiler.front_end cl in
Note: See TracChangeset for help on using the changeset viewer.