Project

General

Profile

« Previous | Next » 

Revision aaa8e454

Added by LĂ©lio Brun 7 months ago

it works

View differences:

src/lustre_live.ml
80 80
      let asg = inter (assigned asg eq) vars in
81 81
      let noc = no_occur_after i in
82 82
      let liv = diff asg noc in
83
      Format.printf "asg %i: %a@." (i+1) pp_iset asg;
84
      Format.printf "noc %i: %a@." (i+1) pp_iset noc;
85
      Format.printf "liv %i: %a@." (i+1) pp_iset liv;
86 83
      Live.add (i + 1) liv l, asg, i + 1)
87 84
      (Live.add 0 empty Live.empty, empty, 0) sorted_eqs in
88
  Format.(printf "@;%a@." (pp_print_list ~pp_open_box:pp_open_vbox0
89
                           (fun fmt (i, l) -> fprintf fmt "%i : %a" i pp_iset l))
90
                           (Live.bindings l));
85
  Log.report ~level:6 (fun fmt ->
86
      Format.(fprintf fmt "Live variables of %s: %a@;@;" nid
87
                (pp_print_list ~pp_open_box:pp_open_vbox0
88
                   (fun fmt (i, l) -> fprintf fmt "%i: %a" i pp_iset l))
89
                (Live.bindings l)));
91 90
  Hashtbl.add live nid l
92 91

  
93 92
let live_i nid i =

Also available in: Unified diff