aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/InstructionScheduler.ml
diff options
context:
space:
mode:
Diffstat (limited to 'mppa_k1c/InstructionScheduler.ml')
-rw-r--r--mppa_k1c/InstructionScheduler.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/mppa_k1c/InstructionScheduler.ml b/mppa_k1c/InstructionScheduler.ml
index c64628ff..e182804b 100644
--- a/mppa_k1c/InstructionScheduler.ml
+++ b/mppa_k1c/InstructionScheduler.ml
@@ -449,7 +449,9 @@ let schedule_reversed (scheduler : problem -> solution option)
let nr_instructions = get_nr_instructions problem in
let makespan = max_scheduled_time solution in
let ret = Array.init (nr_instructions + 1)
- (fun i -> makespan-solution.(nr_instructions-i)) in
+ (fun i -> makespan-solution.(nr_instructions-i)) in
+ ret.(nr_instructions) <- max ((max_scheduled_time ret) + 1)
+ (ret.(nr_instructions));
Some ret;;
(** Schedule the problem using a greedy list scheduling algorithm, from the end. *)