Remove now unused debug function

1 files changed, 0 insertions, 26 deletions

diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml
index 9acdc364..7e0e5838 100644
--- a/scheduling/MyRTLpathScheduleraux.ml
+++ b/scheduling/MyRTLpathScheduleraux.ml
@@ -896,32 +896,6 @@ let print_schedule schedule =
   flush_all ();
 ;;
 
-let inspect_scheduling sb code =
-  let old_debug_flag = !debug_flag in
-  debug_flag := true;
-  debug "Unscheduled ";
-  print_schedule sb.instructions;
-  debug "\n"; flush_all ();
-
-  debug "With liveness ";
-  let (sb_liveness, _) =
-    RTLpathScheduleraux.schedule_superblock sb code
-    |> Option.value ~default:(sb.instructions, -1)
-  in
-  print_schedule sb_liveness;
-  debug "\n"; flush_all ();
-
-  let sb' = {sb with liveins = PTree.map (fun n _regs -> Regset.empty) sb.liveins} in
-  let (sb_no_liveness, _) =
-    RTLpathScheduleraux.schedule_superblock sb' code
-    |> Option.value ~default:(sb.instructions,-1)
-  in
-  debug "WithOUT liveness ";
-  print_schedule sb_no_liveness;
-  debug "\n"; flush_all ();
-  debug_flag := old_debug_flag;
-;;
-
 (* Walk through sb and find those register which possibly take on different values
  * i.e. which are written to twice. *)
 let find_mutated_registers (sb : superblock) code input_regs : Regset.t =