diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-08 11:19:15 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-08 11:19:15 +0200 |
commit | 27167c6226bbdd2856b8bb6c290b31b5e8534ba9 (patch) | |
tree | c86f37c29392a65e6fbf5135bd11fb6621b3b906 /x86/Conventions1.v | |
parent | 7cdd676d002e33015b496f609538a9e86d77c543 (diff) | |
download | compcert-27167c6226bbdd2856b8bb6c290b31b5e8534ba9.tar.gz compcert-27167c6226bbdd2856b8bb6c290b31b5e8534ba9.zip |
Test for the compilation of floating-point literals
With special emphasis on the use of the AArch64 fmov #imm instruction.
Diffstat (limited to 'x86/Conventions1.v')
0 files changed, 0 insertions, 0 deletions