diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-29 13:14:08 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-29 13:14:34 +0200 |
commit | bb1846ac557ae603cb203badca4678e1ddd0dad2 (patch) | |
tree | 61fc0362f852238427392973173630e1c9720748 | |
parent | ae0bd7c18ced4375613804277d31b7ebcae1ee41 (diff) | |
download | compcert-kvx-bb1846ac557ae603cb203badca4678e1ddd0dad2.tar.gz compcert-kvx-bb1846ac557ae603cb203badca4678e1ddd0dad2.zip |
Disable debug info for `intra_path_dependencies` by default
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index d4979052..fbda7a31 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -410,6 +410,7 @@ let next_free_reg = (* Assumes the path is in local single assignment form *) let intra_path_dependencies (sb : superblock) (code : code) = let old_debug_flag = !debug_flag in + debug_flag := false; (* Directly taken from RTLpathScheduleraux *) let nr_instr = Array.length sb.instructions in @@ -435,8 +436,6 @@ let intra_path_dependencies (sb : superblock) (code : code) = | None -> Regset.empty) ) in let latency_constraints = PrepassSchedulingOracle.get_simple_dependencies opweights seqa in - debug_flag := false; - flush_all (); debug "intra_path_dependencies for superblock:\n"; print_superblock sb code; debug "\nlatency_constraints:\n\n"; |