diff options
Diffstat (limited to 'aarch64/PrepassSchedulingOracle.ml')
| -rw-r--r-- | aarch64/PrepassSchedulingOracle.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/aarch64/PrepassSchedulingOracle.ml b/aarch64/PrepassSchedulingOracle.ml index 358ee97b..2c3eb14f 100644 --- a/aarch64/PrepassSchedulingOracle.ml +++ b/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 |