diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-10 18:18:29 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-10 18:18:29 +0200 |
| commit | 20acec967714f7f024816992c53c6371d3b124af (patch) | |
| tree | 05f9831a9a533f12d4924083737529505897bdda /test | |
| parent | bd7b90becac15d549912883d414ff37b14d4ad21 (diff) | |
| parent | 049c3f1a34e5af8d9c59b54bd3270dca863f5366 (diff) | |
| download | compcert-kvx-20acec967714f7f024816992c53c6371d3b124af.tar.gz compcert-kvx-20acec967714f7f024816992c53c6371d3b124af.zip | |
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
Diffstat (limited to 'test')
| -rw-r--r-- | test/c/Makefile | 4 | ||||
| -rw-r--r-- | test/regression/Makefile | 3 | ||||
| -rw-r--r-- | test/regression/floats-basics.c | 2 | ||||
| -rw-r--r-- | test/regression/floats.c | 2 |
4 files changed, 6 insertions, 5 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 63d1964a..46670ec6 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -13,8 +13,8 @@ TIME=xtime -o /dev/null -mintime 2.0 # Xavier's hack PROGS=fib qsort fftw sha1 sha3 aes \ lists binarytrees fannkuch \ nsieve nsievebits vmach \ - chomp perlin siphash24 -# FIXME - Omitted tests: integr fft fftsp almabench knucleotide mandelbrot nbody spectral bisect + chomp perlin siphash24\ + integr fft fftsp almabench knucleotide mandelbrot nbody spectral bisect all: $(PROGS:%=%.compcert) diff --git a/test/regression/Makefile b/test/regression/Makefile index 760ee570..0bcbcc1f 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -22,8 +22,9 @@ TESTS=int32 int64 floats floats-basics \ TESTS_COMP=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \ bitfields5 bitfields6 bitfields7 bitfields8 \ - builtins-$(ARCH) packedstruct1 packedstruct2 alignas \ + builtins-$(ARCH) alignas \ varargs1 varargs2 varargs3 sections alias aligned +# FIXME K1C : packedstruct1 packedstruct2 # Can run, both in compiled mode and in interpreter mode, # but produce processor-dependent results, so no reference output in Results diff --git a/test/regression/floats-basics.c b/test/regression/floats-basics.c index a7ba3623..a0225181 100644 --- a/test/regression/floats-basics.c +++ b/test/regression/floats-basics.c @@ -7,7 +7,7 @@ #if defined(__ppc__) || defined(__PPC__) || defined(__ARMEB__) #define ARCH_BIG_ENDIAN #elif defined(__i386__) || defined(__x86_64__) || defined(__ARMEL__) \ - || defined(__riscv) + || defined(__riscv) || defined(__K1C__) #undef ARCH_BIG_ENDIAN #else #error "unknown endianness" diff --git a/test/regression/floats.c b/test/regression/floats.c index 84c4e062..55c9fd26 100644 --- a/test/regression/floats.c +++ b/test/regression/floats.c @@ -6,7 +6,7 @@ #if defined(__ppc__) || defined(__PPC__) || defined(__ARMEB__) #define ARCH_BIG_ENDIAN #elif defined(__i386__) || defined(__x86_64__) || defined(__ARMEL__) \ - || defined(__riscv) + || defined(__riscv) || defined(__K1C__) #undef ARCH_BIG_ENDIAN #else #error "unknown endianness" |