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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | test/regression/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile index e5b0655e..8e8d8762 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -10,7 +10,7 @@ LIBS=$(LIBMATH) # Can run, both in compiled mode and in interpreter mode, # and have reference output in Results -TESTS=int32 int64 floats floats-basics \ +TESTS=int32 int64 floats floats-basics floats-lit \ expr1 expr6 funptr2 initializers initializers2 initializers3 \ volatile1 volatile2 volatile3 volatile4 \ funct3 expr5 struct7 struct8 struct11 struct12 casts1 casts2 char1 \ |