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