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 /test/regression/Results | |
| parent | 7cdd676d002e33015b496f609538a9e86d77c543 (diff) | |
| download | compcert-kvx-27167c6226bbdd2856b8bb6c290b31b5e8534ba9.tar.gz compcert-kvx-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 'test/regression/Results')
| -rw-r--r-- | test/regression/Results/floats-lit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regression/Results/floats-lit b/test/regression/Results/floats-lit new file mode 100644 index 00000000..6cde72fb --- /dev/null +++ b/test/regression/Results/floats-lit @@ -0,0 +1,2 @@ +--- Double-precision test +--- Single-precision test |