diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-11 21:54:18 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-11 21:54:18 +0200 |
commit | 66ee59d3dc8a861b468cfaf0ff46fc71dfb8fec2 (patch) | |
tree | ce2b6bb7c0dc8d00eac6adf7f66388528bfe650a /driver/Clflags.ml | |
parent | 17a8d91a82f67d7f62f8cbad41ba76a4b0b82a30 (diff) | |
download | compcert-kvx-66ee59d3dc8a861b468cfaf0ff46fc71dfb8fec2.tar.gz compcert-kvx-66ee59d3dc8a861b468cfaf0ff46fc71dfb8fec2.zip |
option -faddx (off by default until questions cleared)
Diffstat (limited to 'driver/Clflags.ml')
-rw-r--r-- | driver/Clflags.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index b1afab6f..651d644e 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -70,4 +70,5 @@ let use_standard_headers = ref Configuration.has_standard_headers let option_fglobaladdrtmp = ref false let option_fglobaladdroffset = ref false let option_fxsaddr = ref true -let option_coalesce_mem = ref true +let option_faddx = ref false +let option_fcoalesce_mem = ref true |