diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-23 07:25:57 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-23 07:25:57 +0200 |
| commit | 7a30a72809448535785cd47d26d9415f6ada93e3 (patch) | |
| tree | b13a678fad9259d87e2a44858e016d0fedcf2aaa /driver | |
| parent | 9718c8244b561b6f81a7a5a7dd0fb3ff1d570344 (diff) | |
| download | compcert-kvx-7a30a72809448535785cd47d26d9415f6ada93e3.tar.gz compcert-kvx-7a30a72809448535785cd47d26d9415f6ada93e3.zip | |
make sure phases are aligned
Diffstat (limited to 'driver')
| -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 6986fb96..467d41aa 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -79,6 +79,6 @@ let option_fglobaladdroffset = ref false let option_fxsaddr = ref true let option_faddx = ref false let option_fcoalesce_mem = ref true -let option_fforward_moves = ref true +let option_fforward_moves = ref false let option_all_loads_nontrap = ref false let option_inline_auto_threshold = ref 0 |