From b51c29223115edbf70d80b08e06fe538d5a7751e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= Date: Thu, 7 Jun 2018 11:51:06 +0200 Subject: [PATCH] Allow use of simple scheduler after control synthesis code generation The -simple-scheduler option now imply the use of simple scheduler both before and after control synthesis code generation. --- compiler/minils/main/mls_compiler.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/compiler/minils/main/mls_compiler.ml b/compiler/minils/main/mls_compiler.ml index 37275e2..13a06b3 100644 --- a/compiler/minils/main/mls_compiler.ml +++ b/compiler/minils/main/mls_compiler.ml @@ -126,10 +126,14 @@ let compile_program p log_c = (* Re-scheduling after generation *) let p = - if not !Compiler_options.use_old_scheduler then + match !Compiler_options.use_old_scheduler, + !Compiler_options.use_simple_scheduler with + | false, false -> pass "Scheduling (with minimization of interferences)" ctrl Schedule_interf.program p pp - else + | true, false -> pass "Scheduling" ctrl Schedule.program p pp + | _, true -> + pass "Scheduling (simple)" ctrl Schedule_simple.program p pp in (* Memory allocation *)