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