diff options
-rw-r--r-- | aarch64/PrepassSchedulingOracle.ml | 3 | ||||
-rw-r--r-- | scheduling/InstructionScheduler.ml | 6 |
2 files changed, 3 insertions, 6 deletions
diff --git a/aarch64/PrepassSchedulingOracle.ml b/aarch64/PrepassSchedulingOracle.ml index e09eea13..03a9e202 100644 --- a/aarch64/PrepassSchedulingOracle.ml +++ b/aarch64/PrepassSchedulingOracle.ml @@ -482,7 +482,8 @@ let schedule_sequence (seqa : (instruction*Regset.t) array) | Icond _ -> true | _ -> false) seqa) with | None -> Printf.printf "no solution in prepass scheduling\n"; - None + Stdlib.exit 1 + (* TODO None *) | Some solution -> let positions = Array.init nr_instructions (fun i -> i) in Array.sort (fun i j -> diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index 9c5c674d..e3a421a5 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -350,7 +350,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 @@ -617,8 +616,7 @@ 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"; + (* Printf.printf "\nNEW\n\n"; *) let nr_instructions = get_nr_instructions problem in let successors = get_successors problem and predecessors = get_predecessors problem @@ -803,11 +801,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 ;; |