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 /test/raytracer/eval.h | |
parent | 822a6a12316aa043eea7f6aed4d730bc10a73d7b (diff) | |
download | compcert-91381b65f5aa76e5195caae9ef331b3f5f95afaf.tar.gz compcert-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 'test/raytracer/eval.h')
0 files changed, 0 insertions, 0 deletions