diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-08 17:09:55 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-08 17:10:36 +0100 |
commit | e1d482316c4de30ee7b7d06c0f793d2c43bac5a1 (patch) | |
tree | f9d615782537df3c562d05fe752a6a8f92cfc051 /test/c | |
parent | d99603803b21d4371a3019f72d01db2d9c098976 (diff) | |
download | compcert-kvx-e1d482316c4de30ee7b7d06c0f793d2c43bac5a1.tar.gz compcert-kvx-e1d482316c4de30ee7b7d06c0f793d2c43bac5a1.zip |
Modified test/c/Makefile for CompCert tests (remove all the float tests with division)
Diffstat (limited to 'test/c')
-rw-r--r-- | test/c/Makefile | 9 | ||||
-rw-r--r-- | test/c/aes.c | 2 |
2 files changed, 6 insertions, 5 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 51a8f105..63d1964a 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -10,10 +10,11 @@ LIBS=$(LIBMATH) TIME=xtime -o /dev/null -mintime 2.0 # Xavier's hack #TIME=time >/dev/null # Otherwise -PROGS=fib integr qsort fft fftsp fftw sha1 sha3 aes almabench \ - lists binarytrees fannkuch knucleotide mandelbrot nbody \ - nsieve nsievebits spectral vmach \ - bisect chomp perlin siphash24 +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 all: $(PROGS:%=%.compcert) diff --git a/test/c/aes.c b/test/c/aes.c index 0aa02595..28d51a78 100644 --- a/test/c/aes.c +++ b/test/c/aes.c @@ -39,7 +39,7 @@ typedef unsigned int u32; #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" |