diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-30 11:29:17 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-30 11:29:17 +0200 |
commit | 7962808d192f2b4d88e8ff1135e3f6e75cf8dea9 (patch) | |
tree | 06d41e630aaa47e20d20e65acf3795869c5add51 /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | 7b0b080b118c097c84d5fb57a353cddf8c96b3ef (diff) | |
parent | e570597b2f80a2a86b8672a40387dc63fd31b555 (diff) | |
download | compcert-kvx-7962808d192f2b4d88e8ff1135e3f6e75cf8dea9.tar.gz compcert-kvx-7962808d192f2b4d88e8ff1135e3f6e75cf8dea9.zip |
Merge branch 'dumb-scheduling' into mppa-work
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index f931b64b..b63dcb6c 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -767,10 +767,17 @@ let print_bb oc bb = let do_schedule bb = let problem = build_problem bb - in let solution = validated_scheduler + in let solution = (if !Clflags.option_fpostpass_sched = "ilp" then + validated_scheduler cascaded_scheduler + else if !Clflags.option_fpostpass_sched = "list" then + validated_scheduler list_scheduler + else if !Clflags.option_fpostpass_sched = "dumb" then + dumb_scheduler else failwith ("Invalid scheduler:" ^ !Clflags.option_fpostpass_sched)) problem + (* in let solution = validated_scheduler (if !Clflags.option_fpostpass_ilp then cascaded_scheduler - else list_scheduler) problem + else dumb_scheduler) problem *) + (* in let solution = dumb_scheduler problem *) in match solution with | None -> failwith "Could not find a valid schedule" | Some sol -> let bundles = bundlize_solution bb sol in |