diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-09 15:02:40 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-09 15:02:40 +0200 |
| commit | acbba77eafdfdee435147c3578171edfcdf5f780 (patch) | |
| tree | 7a3b856673e45a6d9e358c742411374bc3910a20 | |
| parent | 4138208d452b18f3d12926ff9cba9097e926558b (diff) | |
| download | compcert-kvx-acbba77eafdfdee435147c3578171edfcdf5f780.tar.gz compcert-kvx-acbba77eafdfdee435147c3578171edfcdf5f780.zip | |
All CompCert tests can be compiled
| -rw-r--r-- | test/c/Makefile | 4 | ||||
| -rw-r--r-- | test/regression/floats-basics.c | 2 | ||||
| -rw-r--r-- | test/regression/floats.c | 2 |
3 files changed, 4 insertions, 4 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/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" |