diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-29 17:26:08 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-29 17:26:08 +0200 |
| commit | 92da04b18cf8067624ae6d3c118de91fbb4b90b2 (patch) | |
| tree | 5aac83d4c18c8837e0bc35eedb12b6aa027f6093 /mppa_k1c/PostpassSchedulingOracle.ml | |
| parent | bb7f6223911e354720709d623c5d9510319fb8b3 (diff) | |
| download | compcert-kvx-92da04b18cf8067624ae6d3c118de91fbb4b90b2.tar.gz compcert-kvx-92da04b18cf8067624ae6d3c118de91fbb4b90b2.zip | |
[BROKEN] Fixed the dumb scheduler, not yet properly integrated
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
| -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 decb5722..bd804fd6 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -756,10 +756,11 @@ let print_bb oc bb = let do_schedule bb = let problem = build_problem bb - in let solution = validated_scheduler + (* in let solution = validated_scheduler (if !Clflags.option_fpostpass_ilp then cascaded_scheduler - else dumb_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 |