diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-12 17:58:48 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-12 17:58:48 +0100 |
commit | 60c0b75a8dcf475d3fb443e0dac50dac34e01d12 (patch) | |
tree | dd551bd367a6cf9a1141a58d2042292fcbc1e69d /mppa_k1c | |
parent | 720caa808c6de6b0e672e69f9bc8395d2b43723e (diff) | |
download | compcert-kvx-60c0b75a8dcf475d3fb443e0dac50dac34e01d12.tar.gz compcert-kvx-60c0b75a8dcf475d3fb443e0dac50dac34e01d12.zip |
Added a flag for changing the scheduler (not any choice available right now)
Diffstat (limited to 'mppa_k1c')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 5 |
1 files changed, 3 insertions, 2 deletions
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 |