disable debug printing in scheduler

aarch64/PrepassSchedulingOracle.ml

@@ -447,10 +447,12 @@ let schedule_sequence (seqa : (instruction*Regset.t) array) =
     else
       begin
       let nr_instructions = Array.length seqa in
-      Printf.printf "prepass scheduling length = %d\n" (Array.length seqa);
+      (if !Clflags.option_debug_compcert > 6
+       then Printf.printf "prepass scheduling length = %d\n" (Array.length seqa));
       let problem = define_problem opweights seqa in
-      print_sequence stdout (Array.map fst seqa);
-      print_problem stdout problem;
+      (if !Clflags.option_debug_compcert > 7
+       then (print_sequence stdout (Array.map fst seqa);
+             print_problem stdout problem));
       match prepass_scheduler_by_name
               (!Clflags.option_fprepass_sched)
               problem

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';;