From eea5640e55890538fa43c3d5672853a0ae015b9c Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sat, 11 Jul 2020 11:00:15 +0200 Subject: command line selection of prepass scheduler --- driver/Driver.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'driver/Driver.ml') diff --git a/driver/Driver.ml b/driver/Driver.ml index 6accc22b..fef9c166 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -205,6 +205,8 @@ Processing options: -fmove-loop-invariants Perform loop-invariant code motion [off] -fredundancy Perform redundancy elimination [on] -fprepass Perform prepass scheduling (only for K1 architecture) [off] + -fprepass= Perform postpass scheduling with the specified optimization [list] + (=list: list scheduling, =ilp: ILP, =greedy: just packing bundles) -fpostpass Perform postpass scheduling (only for K1 architecture) [on] -fpostpass= Perform postpass scheduling with the specified optimization [list] (=list: list scheduling, =ilp: ILP, =greedy: just packing bundles) @@ -425,6 +427,7 @@ let cmdline_actions = @ [ Exact "-fduplicate", Integer (fun n -> option_fduplicate := n) ] @ f_opt "invertcond" option_finvertcond @ f_opt "tracelinearize" option_ftracelinearize + @ f_opt_str "prepass" option_fprepass option_fprepass_sched @ f_opt_str "postpass" option_fpostpass option_fpostpass_sched @ f_opt "inline" option_finline @ f_opt "inline-functions-called-once" option_finline_functions_called_once -- cgit