diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 16:41:11 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 16:41:11 +0200 |
commit | 31802695bf6673831674836817456142ab293e6b (patch) | |
tree | df6234b25beeed38a2a80a0a2a366082e026597c /driver/Driver.ml | |
parent | 879b51d3e6166d04ad69e71c44bcfbb502e5f2c9 (diff) | |
download | compcert-kvx-31802695bf6673831674836817456142ab293e6b.tar.gz compcert-kvx-31802695bf6673831674836817456142ab293e6b.zip |
(#142) Desactivating scheduling when using -O1 optimization
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 404271cd..9748ebf6 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -185,7 +185,8 @@ Processing options: {|Optimization options: (use -fno-<opt> to turn off -f<opt>) -O Optimize the compiled code [on by default] -O0 Do not optimize the compiled code - -O1 -O2 -O3 Synonymous for -O + -O1 Perform all optimization passes except scheduling + -O2 -O3 Synonymous for -O -Os Optimize for code size in preference to code speed -ftailcalls Optimize function calls in tail position [on] -fconst-prop Perform global constant propagation [on] @@ -308,6 +309,7 @@ let cmdline_actions = [ Exact "-O0", Unit (unset_all optimization_options); Exact "-O", Unit (set_all optimization_options); + _Regexp "-O1", Self (fun _ -> set_all optimization_options (); option_fpostpass := false); _Regexp "-O[123]$", Unit (set_all optimization_options); Exact "-Os", Set option_Osize; Exact "-fsmall-data", Integer(fun n -> option_small_data := n); |