diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-30 11:08:38 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-30 11:11:47 +0200 |
commit | e570597b2f80a2a86b8672a40387dc63fd31b555 (patch) | |
tree | 58181eae6696986a8760eb0f2aa0782db159b442 /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | c3003517a048d7469a314fc245118ed72e2158dd (diff) | |
download | compcert-kvx-e570597b2f80a2a86b8672a40387dc63fd31b555.tar.gz compcert-kvx-e570597b2f80a2a86b8672a40387dc63fd31b555.zip |
Setting fpostpass= option
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 25bf99e0..41a5454b 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -761,7 +761,7 @@ let do_schedule bb = else if !Clflags.option_fpostpass_sched = "list" then validated_scheduler list_scheduler else if !Clflags.option_fpostpass_sched = "dumb" then - dumb_scheduler else failwith "No scheduler provided") problem + dumb_scheduler else failwith ("Invalid scheduler:" ^ !Clflags.option_fpostpass_sched)) problem (* in let solution = validated_scheduler (if !Clflags.option_fpostpass_ilp then cascaded_scheduler |