diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-17 11:46:55 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-17 11:46:55 +0200 |
commit | 9c9b7071fcd714281383156d75adf5a4d762c6ba (patch) | |
tree | 2047fbec4432fb49f828f6b3a5abf0ae85850615 | |
parent | 0f4dd76853a33bc9764a759355028906c908aee5 (diff) | |
download | compcert-kvx-9c9b7071fcd714281383156d75adf5a4d762c6ba.tar.gz compcert-kvx-9c9b7071fcd714281383156d75adf5a4d762c6ba.zip |
Make specifying of prepass past side exits heuristic optional
-rw-r--r-- | driver/Driver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index a2801ee1..83671d90 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -442,6 +442,7 @@ let cmdline_actions = @ [ Exact "-funrollbody", Integer (fun n -> option_funrollbody := n) ] @ [ Exact "-flooprotate", Integer (fun n -> option_flooprotate := n) ] @ [ 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" "move_stores" option_prepass_past_side_exits option_prepass_past_side_exits_sched @ f_opt "tracelinearize" option_ftracelinearize @ f_opt_str "prepass" "regpress" option_fprepass option_fprepass_sched |