Project

General

Profile

Revision 8e6cab20 src/plugins/salsa/salsa_plugin.ml

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