diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-16 18:14:48 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-16 18:14:48 +0200 |
commit | 922dd96ce835c9e2dbfdb33b685bc639bbad535d (patch) | |
tree | 11047bc703e89f5f000f6e4dacbbe16d2e96fcaf | |
parent | b777bc2ee4445add18ccf219a5a87b7ead91417f (diff) | |
download | compcert-kvx-922dd96ce835c9e2dbfdb33b685bc639bbad535d.tar.gz compcert-kvx-922dd96ce835c9e2dbfdb33b685bc639bbad535d.zip |
Add hyphens to flags
-rw-r--r-- | driver/Driver.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 20f8c756..6d97c1e8 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -424,8 +424,8 @@ let cmdline_actions = @ f_opt "move-loop-invariants" option_fmove_loop_invariants @ f_opt "redundancy" option_fredundancy @ [ Exact "-mtune", String (fun s -> option_mtune := s) ] - @ f_opt "poormansssa" option_fpoormansssa - @ f_opt "target_inner_loops" option_ftargetinnerloops + @ f_opt "poor-mans-ssa" option_fpoormansssa + @ f_opt "target-inner-loops" option_ftargetinnerloops @ f_opt "prepass" option_fprepass @ f_opt "postpass" option_fpostpass @ [ Exact "-ftailduplicate", Integer (fun n -> option_ftailduplicate := n) ] @@ -433,9 +433,9 @@ let cmdline_actions = @ [ Exact "-funrollsingle", Integer (fun n -> option_funrollsingle := n) ] @ [ Exact "-funrollbody", Integer (fun n -> option_funrollbody := n) ] @ [ Exact "-flooprotate", Integer (fun n -> option_flooprotate := n) ] - @ [ Exact "-fliftif", Integer (fun n -> option_fliftif := n) ] - @ f_opt "prepass_past_side_exits" option_prepass_past_side_exits - @ f_opt_str "prepass_past_side_exits" option_prepass_past_side_exits option_prepass_past_side_exits_sched + @ [ Exact "-flift-if", Integer (fun n -> option_fliftif := n) ] + @ f_opt "prepass-past-side-exits" option_prepass_past_side_exits + @ f_opt_str "prepass-past-side-exits" option_prepass_past_side_exits option_prepass_past_side_exits_sched @ f_opt "tracelinearize" option_ftracelinearize @ f_opt_str "prepass" option_fprepass option_fprepass_sched @ f_opt_str "postpass" option_fpostpass option_fpostpass_sched |