diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-15 17:08:11 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-15 17:08:11 +0200 |
| commit | bf58adcc2f4d73d55cbc90f6eff0f96fe7d30c45 (patch) | |
| tree | 51ea831d5eb0a3107f8f8d281f4ea9709422a412 /test/monniaux/lustrev6-convertible | |
| parent | f72612aed2b9ec147b5e60a53c9e13b94aa71cdb (diff) | |
| download | compcert-kvx-bf58adcc2f4d73d55cbc90f6eff0f96fe7d30c45.tar.gz compcert-kvx-bf58adcc2f4d73d55cbc90f6eff0f96fe7d30c45.zip | |
truly inline function as macro to trigger better instruction selection
(replace x/2 by x*0.5)
Diffstat (limited to 'test/monniaux/lustrev6-convertible')
0 files changed, 0 insertions, 0 deletions