diff options
Diffstat (limited to 'aarch64/PrepassSchedulingOracle.ml')
-rw-r--r-- | aarch64/PrepassSchedulingOracle.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/aarch64/PrepassSchedulingOracle.ml b/aarch64/PrepassSchedulingOracle.ml index db62287d..ff7fbf56 100644 --- a/aarch64/PrepassSchedulingOracle.ml +++ b/aarch64/PrepassSchedulingOracle.ml @@ -1092,12 +1092,13 @@ let schedule_sequence (seqa : (instruction*Regset.t) array) None | Some solution -> let positions = Array.init nr_instructions (fun i -> i) in + let final_time = solution.(nr_instructions) in Array.sort (fun i j -> let si = solution.(i) and sj = solution.(j) in if si < sj then -1 else if si > sj then 1 else i - j) positions; - Some positions + Some (positions, final_time) end with (Failure s) -> Printf.printf "failure in prepass scheduling: %s\n" s; |