disable debug printing in scheduler

1 files changed, 4 insertions, 4 deletions

diff --git a/scheduling/RTLpathScheduleraux.ml b/scheduling/RTLpathScheduleraux.ml
index 88f777a5..66910bdf 100644
--- a/scheduling/RTLpathScheduleraux.ml
+++ b/scheduling/RTLpathScheduleraux.ml
@@ -110,11 +110,11 @@ let schedule_superblock sb code =
   if not !Clflags.option_fprepass
   then sb.instructions
   else
-    let old_flag = !debug_flag in
+    (* let old_flag = !debug_flag in
     debug_flag := true;
     print_endline "ORIGINAL SUPERBLOCK";
     print_superblock sb code;
-    debug_flag := old_flag;
+    debug_flag := old_flag; *)
     let nr_instr = Array.length sb.instructions in
     let trailer_length =
       match PTree.get (sb.instructions.(nr_instr-1)) code with
@@ -138,11 +138,11 @@ let schedule_superblock sb code =
          Array.append 
            (Array.map (fun i -> sb.instructions.(i)) order)
            (Array.sub sb.instructions (nr_instr-trailer_length) trailer_length) in
-       Printf.printf "REORDERED SUPERBLOCK %d\n" (Array.length ins');
+       (* Printf.printf "REORDERED SUPERBLOCK %d\n" (Array.length ins');
        debug_flag := true;
        print_instructions (Array.to_list ins') code;
        debug_flag := old_flag;
-       flush stdout;
+       flush stdout; *)
        assert ((Array.length sb.instructions) = (Array.length ins'));
        (*sb.instructions; *)
        ins';;