diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-21 22:07:28 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-21 22:07:28 +0200 |
| commit | 80295d3c7cc82c34903f7ed92a77a64870f1920f (patch) | |
| tree | af10841d9fb63ea791830d3f1deab5d33d77f7c7 /mppa_k1c/PostpassSchedulingOracle.ml | |
| parent | a52b50bf91bbb11ebb95757b818374d4507ea05d (diff) | |
| download | compcert-kvx-80295d3c7cc82c34903f7ed92a77a64870f1920f.tar.gz compcert-kvx-80295d3c7cc82c34903f7ed92a77a64870f1920f.zip | |
-frevlist
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
| -rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 462e9cd0..19eec3e6 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -912,6 +912,8 @@ let do_schedule bb = validated_scheduler cascaded_scheduler else if !Clflags.option_fpostpass_sched = "list" then validated_scheduler list_scheduler + else if !Clflags.option_fpostpass_sched = "revlist" then + validated_scheduler reverse_list_scheduler else if !Clflags.option_fpostpass_sched = "greedy" then greedy_scheduler else failwith ("Invalid scheduler:" ^ !Clflags.option_fpostpass_sched)) problem in match solution with |