Revision 8d164031 src/plugins/mpfr/mpfr.ml
src/plugins/mpfr/mpfr.ml | ||
---|---|---|
16 | 16 |
open Normalization |
17 | 17 |
open Machine_code_common |
18 | 18 |
|
19 |
let report = Log.report ~plugin:"MPFR" |
|
20 |
|
|
19 | 21 |
let mpfr_module = mktop (Open(false, "mpfr_lustre")) |
20 | 22 |
let cpt_fresh = ref 0 |
21 | 23 |
|
... | ... | |
99 | 101 |
| "!=" -> "MPFRNeq" |
100 | 102 |
(* Conv functions *) |
101 | 103 |
| "int_to_real" -> "MPFRint_to_real" |
104 |
| "real_to_int" -> "MPFRreal_to_int" |
|
105 |
| "_floor" -> "MPFRfloor" |
|
106 |
| "_ceil" -> "MPFRceil" |
|
107 |
| "_round" -> "MPFRround" |
|
108 |
| "_Floor" -> "MPFRFloor" |
|
109 |
| "_Ceiling" -> "MPFRCeiling" |
|
110 |
| "_Round" -> "MPFRRound" |
|
111 |
|
|
102 | 112 |
(* Math library functions *) |
103 | 113 |
| "acos" -> "MPFRacos" |
104 | 114 |
| "acosh" -> "MPFRacosh" |
... | ... | |
128 | 138 |
| _ -> raise Not_found |
129 | 139 |
|
130 | 140 |
let inject_op id = |
131 |
Format.eprintf "trying to inject mpfr into function %s@." id;
|
|
141 |
report ~level:3 (fun fmt -> Format.fprintf fmt "trying to inject mpfr into function %s@." id);
|
|
132 | 142 |
try |
133 | 143 |
base_inject_op id |
134 | 144 |
with Not_found -> id |
Also available in: Unified diff