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 /common/Subtyping.v | |
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 'common/Subtyping.v')
0 files changed, 0 insertions, 0 deletions