diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-07-10 15:50:56 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-17 09:26:44 +0200 |
| commit | 91381b65f5aa76e5195caae9ef331b3f5f95afaf (patch) | |
| tree | 10edc33f95570e08c2fbaf825bf9cf44c9e3ff46 /extraction | |
| parent | 822a6a12316aa043eea7f6aed4d730bc10a73d7b (diff) | |
| download | compcert-kvx-91381b65f5aa76e5195caae9ef331b3f5f95afaf.tar.gz compcert-kvx-91381b65f5aa76e5195caae9ef331b3f5f95afaf.zip | |
Another way to derive floatofintu from floatofint
It supports a branch-free implementation of floatofintu.
Not used yet in any of the ports.
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions