Revision 790765c0
Added by Xavier Thirioux over 10 years ago
| src/scheduling.ml | ||
|---|---|---|
| 166 | 166 |
if !Options.print_reuse |
| 167 | 167 |
then |
| 168 | 168 |
begin |
| 169 |
Log.report ~level:0 |
|
| 170 |
(fun fmt -> |
|
| 171 |
Format.fprintf fmt |
|
| 172 |
"OPT:%B@." (try (Hashtbl.iter (fun s1 v2 -> if s1 = v2.var_id then raise Not_found) reuse; false) with Not_found -> true) |
|
| 173 |
); |
|
| 169 | 174 |
Log.report ~level:0 |
| 170 | 175 |
(fun fmt -> |
| 171 | 176 |
Format.fprintf fmt |
Also available in: Unified diff
modified optimization info printout (option -print_reuse)
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@385 041b043f-8d7c-46b2-b46e-ef0dd855326e