diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-25 09:42:41 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-25 09:42:41 +0200 |
commit | 9ac49c465f9c8969fba00e6242da0c188a6a3080 (patch) | |
tree | f982a810c29fcc4c0ea178edf01b55a9d8d0339e | |
parent | dfa09586ae40c70769eeda688a0e7f59f611749f (diff) | |
download | compcert-kvx-9ac49c465f9c8969fba00e6242da0c188a6a3080.tar.gz compcert-kvx-9ac49c465f9c8969fba00e6242da0c188a6a3080.zip |
Changed printfs into debugs
-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) |