diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-12 18:03:22 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-12 18:03:22 +0100 |
commit | 50f25f57749d3eb46d859350719c9324fb75afa2 (patch) | |
tree | 5779e86079d0498ef987c97c7bea3861e4ffb92d /mppa_k1c | |
parent | 60c0b75a8dcf475d3fb443e0dac50dac34e01d12 (diff) | |
download | compcert-kvx-50f25f57749d3eb46d859350719c9324fb75afa2.tar.gz compcert-kvx-50f25f57749d3eb46d859350719c9324fb75afa2.zip |
Added cascaded_scheduler but the flag does not work
Diffstat (limited to 'mppa_k1c')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 4d448df3..c339702e 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -684,7 +684,7 @@ let print_bb oc bb = in List.iter (print_inst oc) asm_instructions let do_schedule bb = - let scheduler = match Compopts.optim_pp_optimizer () with 1 -> list_scheduler | _ -> failwith "No scheduler provided" + let scheduler = match Compopts.optim_pp_optimizer () with 1 -> list_scheduler | 2 -> cascaded_scheduler | _ -> failwith "No scheduler provided" in let problem = build_problem bb in let solution = validated_scheduler scheduler problem in match solution with |