Project

General

Profile

« Previous | Next » 

Revision 65de9931

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

New feature to specify the number of digits to be printed

View differences:

src/backends/C/c_backend_common.ml
646 646
    aux [] fmt (List.hd inputs).value_type
647 647
  end
648 648

  
649

  
650
(*** Common functions for main ***)
651

  
652
let print_put_var fmt file_suffix name var_type var_id =
653
  match (Types.unclock_type var_type).Types.tdesc with
654
  | Types.Tint -> fprintf fmt "_put_int(f_out%s, \"%s\", %s)" file_suffix name var_id
655
  | Types.Tbool -> fprintf fmt "_put_bool(f_out%s, \"%s\", %s)" file_suffix name var_id
656
  | Types.Treal when !Options.mpfr -> fprintf fmt "_put_double(f_out%s, \"%s\", mpfr_get_d(%s, %s), %i)" file_suffix name var_id (Mpfr.mpfr_rnd ()) !Options.print_prec_double
657
  | Types.Treal -> fprintf fmt "_put_double(f_out%s, \"%s\", %s, %i)" file_suffix name var_id !Options.print_prec_double
658
  | _ -> Format.eprintf "Impossible to print the _put_xx for type %a@.@?" Types.print_ty var_type; assert false
659

  
649 660
(* Local Variables: *)
650 661
(* compile-command:"make -C ../../.." *)
651 662
(* End: *)

Also available in: Unified diff