diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-12 17:22:46 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-12 17:22:46 +0100 |
commit | 8f337598016aa49ff6554085b406b7e6026bfc3d (patch) | |
tree | 16337be33b8a5c8897191c1f1e651b807099aa01 /mppa_k1c | |
parent | 0e6e9bd0f68c5f628510603221463ed6b9fa2d54 (diff) | |
download | compcert-kvx-8f337598016aa49ff6554085b406b7e6026bfc3d.tar.gz compcert-kvx-8f337598016aa49ff6554085b406b7e6026bfc3d.zip |
-fpostpass-ilp
Diffstat (limited to 'mppa_k1c')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 20e10bf0..3dee7622 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -685,8 +685,10 @@ let print_bb oc bb = let do_schedule bb = let problem = build_problem bb - (* can also use cascaded_scheduler *) - in let solution = validated_scheduler list_scheduler problem + in let solution = validated_scheduler + (if !Clflags.option_fpostpass_ilp + then cascaded_scheduler + else list_scheduler) problem in match solution with | None -> failwith "Could not find a valid schedule" | Some sol -> let bundles = bundlize_solution bb sol in |