Project

General

Profile

Revision 8e6cab20 src/optimize_machine.ml

View differences:

src/optimize_machine.ml
612 612
      machine_code
613 613
  in
614 614
  
615
  (* Salsa optimize machine code *)
616
  (*
617
  let machine_code = 
618
    if !Options.salsa_enabled then
619
      begin
620
	check_main ();
621
	Log.report ~level:1 (fun fmt -> fprintf fmt ".. salsa machines optimization: optimizing floating-point accuracy with Salsa@,");
622
	(* Selecting float constants for Salsa *)
623
	let constEnv = List.fold_left (
624
	  fun accu c_topdecl ->
625
	    match c_topdecl.top_decl_desc with
626
	    | Const c when Types.is_real_type c.const_type  ->
627
	      (c.const_id, c.const_value) :: accu
628
	    | _ -> accu
629
	) [] (Corelang.get_consts prog) 
630
	in
631
	List.map 
632
	  (Machine_salsa_opt.machine_t2machine_t_optimized_by_salsa constEnv) 
633
	  machine_code 
634
      end
635
    else
636
      machine_code
637
  in
638
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@ "
639
    (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
640
    machine_code);
641
  *)
642

  
643 615

  
644 616
    machine_code  
645 617
    

Also available in: Unified diff