diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-07 09:06:29 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-07 09:08:40 +0200 |
| commit | 36ae0cba3a8cdec08b0f1f426b3ab27f8819afbe (patch) | |
| tree | 6660cbf48eefbb30f37138f5cebaccfca5be41e4 /runtime | |
| parent | f92ca339e9d1851fa4d469cdc867bfe1719c42a1 (diff) | |
| download | compcert-floatofintu.tar.gz compcert-floatofintu.zip | |
x86 branchless implementation of float -> unsigned int32 conversionfloatofintu
Adapted from Rémi Hutin's pull request #295.
On average it is slightly slower than the old, branch-full implementation,
hence flag -ffavor-branchless selects between the two implementations.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions