diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-03-17 15:12:06 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-03-17 15:12:06 +0100 |
| commit | fb43d1078c0b0824132b30d7dd9bfe6b0ac47122 (patch) | |
| tree | b51287fed668d9fd06ab98f19dfe454d4c6a27b4 /driver/Clflags.ml | |
| parent | aa2e3d776cb82ce01c4afdbacc52951e60ff2104 (diff) | |
| download | compcert-kvx-fb43d1078c0b0824132b30d7dd9bfe6b0ac47122.tar.gz compcert-kvx-fb43d1078c0b0824132b30d7dd9bfe6b0ac47122.zip | |
Desactivating branch predictions by default
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 8054eb5b..6986fb96 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -28,7 +28,7 @@ let option_fconstprop = ref true let option_fcse = ref true let option_fcse2 = ref true let option_fredundancy = ref true -let option_fduplicate = ref 0 +let option_fduplicate = ref (-1) let option_finvertcond = ref true let option_ftracelinearize = ref false let option_fpostpass = ref true |