diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-14 11:56:00 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-14 11:56:00 +0200 |
commit | 80760a9c21eb83c9807a569b0fb07216420cc721 (patch) | |
tree | aff254f2be117275a69c68287e7d681787e18546 /driver/Driver.ml | |
parent | eb1b7367a5b5296c5a6a82042e047a2d493a4716 (diff) | |
download | compcert-kvx-80760a9c21eb83c9807a569b0fb07216420cc721.tar.gz compcert-kvx-80760a9c21eb83c9807a569b0fb07216420cc721.zip |
-O0 desactivates -fpredict and -ftracelinearize
Diffstat (limited to 'driver/Driver.ml')
-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 fae1524f..7ab80540 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -276,6 +276,7 @@ let dump_mnemonics destfile = let optimization_options = [ option_ftailcalls; option_fifconversion; option_fconstprop; option_fcse; option_fcse2; option_fcse3; + option_fpredict; option_ftracelinearize; option_fpostpass; option_fredundancy; option_finline; option_finline_functions_called_once; ] |