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 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 -> |