diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-15 09:18:02 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-15 09:18:02 +0100 |
commit | d0326db1105704e02e2b40facc2a85a267a2b9b5 (patch) | |
tree | ce771e8f6df03dc552d534c7d90ea8ded98d1500 /driver/Clflags.ml | |
parent | 192d5f379b3f1efa6f12b45af36f7cfea21d6d50 (diff) | |
download | compcert-kvx-d0326db1105704e02e2b40facc2a85a267a2b9b5.tar.gz compcert-kvx-d0326db1105704e02e2b40facc2a85a267a2b9b5.zip |
by default do not inline much
Diffstat (limited to 'driver/Clflags.ml')
-rw-r--r-- | driver/Clflags.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index ee5e9eeb..8054eb5b 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -81,4 +81,4 @@ let option_faddx = ref false let option_fcoalesce_mem = ref true let option_fforward_moves = ref true let option_all_loads_nontrap = ref false -let option_inline_auto_threshold = ref 30 +let option_inline_auto_threshold = ref 0 |