Changeset 2999 for driver/cerco.ml
- Timestamp:
- Mar 28, 2013, 12:47:55 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/cerco.ml
r2993 r2999 34 34 35 35 let argv1 = Sys.argv.(1) in 36 let do_exec,filename ,style=36 let do_exec,filename = 37 37 if argv1 = "-exec" then 38 true,Sys.argv.(2) ,(try Sys.argv.(3) with _ -> "instrumented")38 true,Sys.argv.(2) 39 39 else 40 false,argv1 ,(try Sys.argv.(2) with _ -> "instrumented")in40 false,argv1 in 41 41 let cl = ClightParser.process filename in 42 42 let observe = 43 43 let rec infinity = Extracted.Nat.S infinity in 44 44 (fun pass prog -> 45 if do_exec || pass = Extracted.Compiler.Clight_label_pass || 46 pass = Extracted.Compiler.Object_code_pass then 45 if do_exec || pass = Extracted.Compiler.Object_code_pass then 47 46 Printer.print_program filename pass prog; 48 47 if do_exec then … … 67 66 let l_costmap = output.Extracted.Compiler.c_clight_cost_map in 68 67 let s_costmap = output.Extracted.Compiler.c_stack_cost in 69 let style = 70 match style with 71 | "plain" -> Cost_plain 72 | "numbered" -> Cost_numbered (l_costmap,s_costmap) 73 | "instrumented" -> Cost_instrumented (l_costmap,s_costmap) 74 | x -> failwith ("I have no idea what " ^ x ^ " means") 75 in 76 print_endline (ClightPrinter.print_program style labelled); 77 print_newline (); flush stdout; 78 print_endline (ASMPrinter.print_program (Extracted.ASM.oc (Extracted.Compiler.c_labelled_object_code output))); 68 let style = Cost_instrumented (l_costmap,s_costmap) in 69 let instrumented = ClightPrinter.print_program style labelled in 70 let filename = Filename.chop_extension filename ^ "-instrumented.c" in 71 let och = open_out filename in 72 output_string och instrumented; 73 close_out och
Note: See TracChangeset
for help on using the changeset viewer.