Project

General

Profile

Revision 8d164031 src/backends/C/c_backend_common.ml

View differences:

src/backends/C/c_backend_common.ml
723 723
    pp_file fmt "i" var_id
724 724
  )
725 725
  else if Types.is_real_type unclocked_t then
726
    let _ =
727
      if !Options.mpfr then
728
        fprintf fmt "_put_double(\"%s\", mpfr_get_d(%s, %s), %i);@ " name var_id (Mpfr.mpfr_rnd ()) !Options.print_prec_double
729
      else
730
        fprintf fmt "_put_double(\"%s\", %s, %i);@ " name var_id !Options.print_prec_double
731
    in
732
    pp_file fmt ".*f" ((string_of_int !Options.print_prec_double) ^ ", " ^ var_id)
726
    
727
      if !Options.mpfr then (
728
        fprintf fmt "_put_double(\"%s\", mpfr_get_d(%s, %s), %i);@ " name var_id (Mpfr.mpfr_rnd ()) !Options.print_prec_double;
729
        pp_file fmt ".*f" ((string_of_int !Options.print_prec_double) ^ ", mpfr_get_d(" ^ var_id ^ ", MPFR_RNDN)")
730
      )
731
      else (
732
        fprintf fmt "_put_double(\"%s\", %s, %i);@ " name var_id !Options.print_prec_double;
733
        pp_file fmt ".*f" ((string_of_int !Options.print_prec_double) ^ ", " ^ var_id)
734
      )
735
    
733 736
  else
734 737
    (Format.eprintf "Impossible to print the _put_xx for type %a@.@?" Types.print_ty var_type; assert false)
735 738

  

Also available in: Unified diff