From fb77ce264f957a1ee3f87e537b55afbb10785ecf Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Fri, 3 May 2019 10:43:53 +0200 Subject: Renaming "dumb" scheduling into "greedy" --- mppa_k1c/PostpassSchedulingOracle.ml | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) (limited to 'mppa_k1c/PostpassSchedulingOracle.ml') diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 033cf943..cf1d8e55 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -770,13 +770,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 = "dumb" then - dumb_scheduler else failwith ("Invalid scheduler:" ^ !Clflags.option_fpostpass_sched)) problem - (* in let solution = validated_scheduler - (if !Clflags.option_fpostpass_ilp - then cascaded_scheduler - else dumb_scheduler) problem *) - (* in let solution = dumb_scheduler problem *) + else if !Clflags.option_fpostpass_sched = "greedy" then + greedy_scheduler else failwith ("Invalid scheduler:" ^ !Clflags.option_fpostpass_sched)) problem in match solution with | None -> failwith "Could not find a valid schedule" | Some sol -> let bundles = bundlize_solution bb sol in -- cgit