From e103d60c26fc9d72067eb82088c699e15485bf37 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= Date: Sat, 14 Jul 2012 14:31:46 +0200 Subject: [PATCH] Removed eprintf in schedule_interf eprintf -> Interference.print_debug --- compiler/minils/transformations/schedule_interf.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/minils/transformations/schedule_interf.ml b/compiler/minils/transformations/schedule_interf.ml index 30332d1..48f3479 100644 --- a/compiler/minils/transformations/schedule_interf.ml +++ b/compiler/minils/transformations/schedule_interf.ml @@ -65,7 +65,7 @@ let number_uses x uses = (*if Interference.World.is_memory x then 1 else 0*) let add_uses uses env x = - Format.eprintf "Adding %d uses for %a@." (number_uses x uses) print_ident x; + Interference.print_debug "Adding %d uses for %a@." (number_uses x uses) print_ident x; Env.add x (number_uses x uses) env let decr_uses env x = @@ -98,7 +98,7 @@ struct (** Initialize the costs data structure. *) let init_cost uses inputs = - Format.eprintf "Init cost@."; + Interference.print_debug "Init cost@."; let env = IdentSet.fold (fun x env -> add_uses uses env x) !Interference.World.memories Env.empty in let inputs = List.map (fun vd -> vd.v_ident) inputs in List.fold_left (add_uses uses) env inputs @@ -123,7 +123,7 @@ struct let nb_def_vars = List.length (Mls_utils.Vars.def [] eq) in let b = bonus eq in (*if Interference.verbose_mode then *) - Format.eprintf "(%d,%d,%d)%a@." nb_killed_vars nb_def_vars b Mls_printer.print_eq eq; + Interference.print_debug "(%d,%d,%d)%a@." nb_killed_vars nb_def_vars b Mls_printer.print_eq eq; nb_def_vars - nb_killed_vars + b in