Forgotten change

(return expected final time from prepass scheduling)

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;