From 60c0b75a8dcf475d3fb443e0dac50dac34e01d12 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 12 Mar 2019 17:58:48 +0100 Subject: Added a flag for changing the scheduler (not any choice available right now) --- mppa_k1c/PostpassSchedulingOracle.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'mppa_k1c') diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 7b632144..4d448df3 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -684,8 +684,9 @@ let print_bb oc bb = in List.iter (print_inst oc) asm_instructions let do_schedule bb = - let problem = build_problem bb - in let solution = validated_scheduler list_scheduler problem + let scheduler = match Compopts.optim_pp_optimizer () with 1 -> list_scheduler | _ -> failwith "No scheduler provided" + in let problem = build_problem bb + in let solution = validated_scheduler scheduler problem in match solution with | None -> failwith "Could not find a valid schedule" | Some sol -> let bundles = bundlize_solution bb sol in -- cgit