From 4764b4e2cf2fedb6165e4bf31d549f1df4e4a347 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 22 Oct 2020 13:38:45 +0200 Subject: -mtune= --- driver/Clflags.ml | 2 ++ driver/Driver.ml | 4 +++- 2 files changed, 5 insertions(+), 1 deletion(-) (limited to 'driver') diff --git a/driver/Clflags.ml b/driver/Clflags.ml index d5f3aca5..a817b56a 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -42,6 +42,8 @@ let option_funrollsingle = ref 0 (* unroll a single iteration of innermost loops let option_funrollbody = ref 0 (* unroll the body of innermost loops of size n *) (* Scheduling *) +let option_mtune = ref "" + let option_fprepass = ref false let option_fprepass_sched = ref "list" diff --git a/driver/Driver.ml b/driver/Driver.ml index e5fc78f8..62e586f0 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -204,7 +204,8 @@ Processing options: -fcse3-glb Refine CSE3 information using greatest lower bounds [on] -fmove-loop-invariants Perform loop-invariant code motion [off] -fredundancy Perform redundancy elimination [on] - -fprepass Perform prepass scheduling (only for K1 architecture) [off] + -mtune= Type of CPU (for scheduling on some architectures) + -fprepass Perform prepass scheduling (only on some architectures) [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] @@ -420,6 +421,7 @@ let cmdline_actions = @ f_opt "cse3-glb" option_fcse3_glb @ f_opt "move-loop-invariants" option_fmove_loop_invariants @ f_opt "redundancy" option_fredundancy + @ [ Exact "-mtune", String (fun s -> option_mtune := s) ] @ f_opt "prepass" option_fprepass @ f_opt "postpass" option_fpostpass @ [ Exact "-ftailduplicate", Integer (fun n -> option_ftailduplicate := n) ] -- cgit