diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-26 17:03:19 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-26 18:09:22 +0200 |
commit | 546ca4827a033210d8cd94fe72721c7b0b364e11 (patch) | |
tree | abdcfd10402003a192ae7cc0d9b5e00de59ba538 /debug/Dwarfgen.ml | |
parent | f047fcb7852ff58c0c62f10d41f91f3f88552780 (diff) | |
download | compcert-546ca4827a033210d8cd94fe72721c7b0b364e11.tar.gz compcert-546ca4827a033210d8cd94fe72721c7b0b364e11.zip |
ARM: Fix expansion of FP conditional move
The "vmov" instruction (Advanced SIMD) cannot be conditional.
The "vmov.f64" instruction (VFPv2) can be conditional.
Diffstat (limited to 'debug/Dwarfgen.ml')
0 files changed, 0 insertions, 0 deletions