Changeset 2778 for driver/compiler.ml


Ignore:
Timestamp:
Mar 5, 2013, 11:34:38 PM (7 years ago)
Author:
sacerdot
Message:

Code to pretty-print the IntelHex? output.
At the moment the glue code between the trusted and untrusted code
pass through Matita's base 1 integers. Thus the computation is just too
slow.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/compiler.ml

    r2776 r2778  
    2424
    2525let cl = ClightParser.process Sys.argv.(1) in
    26 let OK output (*{Extracted.Types.fst = oc; snd = acl}*) = Extracted.Compiler.compile cl in
     26let OK output = Extracted.Compiler.compile cl in
    2727let labelled = output.Extracted.Compiler.c_labelled_clight in
    2828let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
     
    3434  | x -> failwith ("I have no idea what " ^ x ^ " means")
    3535in
    36 print_endline (ClightPrinter.print_program style labelled)
     36print_endline (ClightPrinter.print_program style labelled);
     37print_newline ();
     38print_endline (ASMPrinter.print_program (Extracted.ASM.oc (Extracted.Compiler.c_labelled_object_code output)));
    3739(*
    3840let OK mid = Extracted.Compiler.front_end cl in
Note: See TracChangeset for help on using the changeset viewer.