aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/PostpassSchedulingOracle.ml
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@univ-grenoble-alpes.fr>2019-04-25 18:33:21 +0200
committerCyril SIX <cyril.six@univ-grenoble-alpes.fr>2019-04-25 18:33:21 +0200
commitbb7f6223911e354720709d623c5d9510319fb8b3 (patch)
treed6e02863c343b67fcce45fd6093faf0e2d3c9b67 /mppa_k1c/PostpassSchedulingOracle.ml
parent6d1223d053f1ff10792d5ed5d00d3830ff61e9d7 (diff)
downloadcompcert-kvx-bb7f6223911e354720709d623c5d9510319fb8b3.tar.gz
compcert-kvx-bb7f6223911e354720709d623c5d9510319fb8b3.zip
[BUGGED] First attempt at a dumb scheduler ("accumulates" instructions)
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r--mppa_k1c/PostpassSchedulingOracle.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml
index 87f34ee6..decb5722 100644
--- a/mppa_k1c/PostpassSchedulingOracle.ml
+++ b/mppa_k1c/PostpassSchedulingOracle.ml
@@ -759,7 +759,7 @@ let do_schedule bb =
in let solution = validated_scheduler
(if !Clflags.option_fpostpass_ilp
then cascaded_scheduler
- else list_scheduler) problem
+ else dumb_scheduler) problem
in match solution with
| None -> failwith "Could not find a valid schedule"
| Some sol -> let bundles = bundlize_solution bb sol in