diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-06 16:54:17 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-07 09:08:40 +0200 |
commit | f92ca339e9d1851fa4d469cdc867bfe1719c42a1 (patch) | |
tree | a452b98f72a802972217b2615f4ce983a88e2f89 /test/regression/bitfields5.c | |
parent | b3bfdc3655479f7f8f1c5e3a7571473a72b421cb (diff) | |
download | compcert-f92ca339e9d1851fa4d469cdc867bfe1719c42a1.tar.gz compcert-f92ca339e9d1851fa4d469cdc867bfe1719c42a1.zip |
x86: operators Ointoffloat and Ointofsingle are total
This matches the semantics of the corresponding machine instructions,
and will help with branchless code.
Diffstat (limited to 'test/regression/bitfields5.c')
0 files changed, 0 insertions, 0 deletions