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 /VERSION | |
| 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 'VERSION')
0 files changed, 0 insertions, 0 deletions