diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 09:10:00 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 09:10:00 +0100 |
| commit | 0fe569d24b99a34fb3b9ad6c0cb86876cc86a31d (patch) | |
| tree | 039008bcd6deea37d72e5976c5c678b7f1084974 | |
| parent | 1eaa5dadb71eaaad8ba6e6f8293ee9dbb7e0a03d (diff) | |
| download | compcert-kvx-0fe569d24b99a34fb3b9ad6c0cb86876cc86a31d.tar.gz compcert-kvx-0fe569d24b99a34fb3b9ad6c0cb86876cc86a31d.zip | |
disable debug printing in scheduler
| -rw-r--r-- | aarch64/PrepassSchedulingOracle.ml | 8 | ||||
| -rw-r--r-- | scheduling/RTLpathScheduleraux.ml | 8 |
2 files changed, 9 insertions, 7 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 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';; |