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 /test/regression/Results/interop1 | |
parent | 11cd0ace897752ef7ca33609aa1250ca1597185b (diff) | |
download | compcert-kvx-d075968e1e516ab80460afce57c9bcc15d206c19.tar.gz compcert-kvx-d075968e1e516ab80460afce57c9bcc15d206c19.zip |
added -fdiv-i32 and -fdiv-i64 options
Diffstat (limited to 'test/regression/Results/interop1')
0 files changed, 0 insertions, 0 deletions