Project

General

Profile

« Previous | Next » 

Revision 8e6cab20

Added by Pierre-Loïc Garoche about 5 years ago

Tuning the pretty printing of Salsa plugin

View differences:

src/plugins/salsa/salsa_plugin.ml
22 22 
    if !salsa_enabled then
23 23 
      begin
24 24 
	Compiler_common.check_main ();
25 
	Log.report ~level:1 (fun fmt -> fprintf fmt ".. salsa machines optimization (phase 3)@ ");
25 
	Log.report ~level:1 (fun fmt -> fprintf fmt ".. @[<v 0>salsa machines optimization@ ");
26 26 
	(* Selecting float constants for Salsa *)
27 27 
	let constEnv = List.fold_left (
28 28 
	  fun accu c_topdecl ->
......
32 32 
	    | _ -> accu
33 33 
	) [] (Corelang.get_consts prog)
34 34 
	in
35 
	List.map
36 
	  (Machine_salsa_opt.machine_t2machine_t_optimized_by_salsa constEnv)
37 
	  machine_code
35 
	let res =
36 
	  List.map
37 
	    (Machine_salsa_opt.machine_t2machine_t_optimized_by_salsa constEnv)
38 
	    machine_code
39 
	in
40 
	Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ ");
41 
	res
38 42 
      end
39 43 
    else
40 44 
      machine_code

Also available in: Unified diff