diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:30:57 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-24 14:34:59 +0200 |
commit | 271a6f98809fbeac6cb04fb29fccbcf9c1e18335 (patch) | |
tree | 219a059313829de5f54cdbff0d99a8652ad9f7e0 /coq | |
parent | abec89a558d952dc1f4f39bda6a8e69a426a8dc0 (diff) | |
download | compcert-kvx-271a6f98809fbeac6cb04fb29fccbcf9c1e18335.tar.gz compcert-kvx-271a6f98809fbeac6cb04fb29fccbcf9c1e18335.zip |
ia32: add support for __builtin_bswap64 + a bit of DWARF for x86-64
__builtin_bswap64 is now available both in 32 and 64-bit mode.
The DWARF bit is the numbering of registers in ia32/Asmexpand.ml.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions