diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 11:43:29 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 11:43:29 +0200 |
| commit | d075968e1e516ab80460afce57c9bcc15d206c19 (patch) | |
| tree | a5da5b20f193058ae85aafadcffea6b3b2b9f9a5 /driver/Clflags.ml | |
| parent | 11cd0ace897752ef7ca33609aa1250ca1597185b (diff) | |
| download | compcert-kvx-d075968e1e516ab80460afce57c9bcc15d206c19.tar.gz compcert-kvx-d075968e1e516ab80460afce57c9bcc15d206c19.zip | |
added -fdiv-i32 and -fdiv-i64 options
Diffstat (limited to 'driver/Clflags.ml')
| -rw-r--r-- | driver/Clflags.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index b1afab6f..fd5f0e68 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -71,3 +71,6 @@ let option_fglobaladdrtmp = ref false let option_fglobaladdroffset = ref false let option_fxsaddr = ref true let option_coalesce_mem = ref true + +let option_div_i32 = ref "stsud" +let option_div_i64 = ref "stsud" |