diff options
-rw-r--r-- | scheduling/InstructionScheduler.ml | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index 99002c36..e2413bc0 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -735,14 +735,13 @@ let reg_pres_scheduler_bis (problem : problem) : solution option = problem.instruction_usages with | -1 -> advance_time() | i -> ( - Printf.printf "ISSUED: %d\nREADY: " i; - InstrSet.iter (fun i -> Printf.printf "%d " i) + DebugPrint.debug "ISSUED: %d\nREADY: " i; + InstrSet.iter (fun i -> DebugPrint.debug "%d " i) ready.(!current_time); - Printf.printf "\nSUCC: "; - List.iter (fun (i, l) -> Printf.printf "%d " i) + DebugPrint.debug "\nSUCC: "; + List.iter (fun (i, l) -> DebugPrint.debug "%d " i) successors.(i); - Printf.printf "\n\n"; - flush stdout; + DebugPrint.debug "\n\n"; assert(times.(i) < 0); times.(i) <- !current_time; ready.(!current_time) |