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 /lib/FSetAVLplus.v | |
parent | f92ca339e9d1851fa4d469cdc867bfe1719c42a1 (diff) | |
download | compcert-36ae0cba3a8cdec08b0f1f426b3ab27f8819afbe.tar.gz compcert-36ae0cba3a8cdec08b0f1f426b3ab27f8819afbe.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 'lib/FSetAVLplus.v')
0 files changed, 0 insertions, 0 deletions