diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-19 13:23:40 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-19 13:23:40 +0200 |
commit | cb6103e684ff89a0493d6b2e3af2317df04fede3 (patch) | |
tree | 295aceb9703e89ca144030819e0de8a4199b452f /scheduling/InstructionScheduler.ml | |
parent | 54d15a204d239c0347c504edec1ad2ab9f50d09a (diff) | |
download | compcert-kvx-cb6103e684ff89a0493d6b2e3af2317df04fede3.tar.gz compcert-kvx-cb6103e684ff89a0493d6b2e3af2317df04fede3.zip |
debugprint flag not to true
Diffstat (limited to 'scheduling/InstructionScheduler.ml')
-rw-r--r-- | scheduling/InstructionScheduler.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index 0203d9c8..0eadd5a4 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -349,8 +349,6 @@ let _ = fun x -> priority_list_scheduler INSTRUCTION_ORDER x;; (* A scheduler sensitive to register pressure *) let reg_pres_scheduler (problem : problem) : solution option = - DebugPrint.debug_flag := true; - let nr_instructions = get_nr_instructions problem in if !Clflags.option_debug_compcert > 6 then @@ -615,11 +613,9 @@ let reg_pres_scheduler (problem : problem) : solution option = if target_time > !final_time then final_time := target_time) predecessors.(nr_instructions); times.(nr_instructions) <- !final_time; - DebugPrint.debug_flag := false; Some times with Exit -> DebugPrint.debug "reg_pres_sched failed\n"; - DebugPrint.debug_flag := false; None ;; @@ -628,7 +624,6 @@ let reg_pres_scheduler (problem : problem) : solution option = (********************************************************************) let reg_pres_scheduler_bis (problem : problem) : solution option = - DebugPrint.debug_flag := true; Printf.printf "\nNEW\n\n"; let nr_instructions = get_nr_instructions problem in let successors = get_successors problem @@ -814,11 +809,9 @@ let reg_pres_scheduler_bis (problem : problem) : solution option = if target_time > !final_time then final_time := target_time) predecessors.(nr_instructions); times.(nr_instructions) <- !final_time; - DebugPrint.debug_flag := false; Some times with Exit -> DebugPrint.debug "reg_pres_sched failed\n"; - DebugPrint.debug_flag := false; None ;; |