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 /arm/ConstpropOp.vp | |
| 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 'arm/ConstpropOp.vp')
0 files changed, 0 insertions, 0 deletions