diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-13 13:44:55 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-13 13:44:55 +0100 |
commit | 0c28f0900dae418d5beed6a82f7c72f88de83567 (patch) | |
tree | 6c95e204da837b6b4e0e369bcdf7a122fd3db01a /test | |
parent | d15b2c014daf547e10504278ae42d4651dc71319 (diff) | |
download | compcert-kvx-0c28f0900dae418d5beed6a82f7c72f88de83567.tar.gz compcert-kvx-0c28f0900dae418d5beed6a82f7c72f88de83567.zip |
Lancement des tests à partir d'un même script
Diffstat (limited to 'test')
-rwxr-xr-x | test/mppa/check.sh | 6 | ||||
-rw-r--r-- | test/mppa/do_test.sh | 33 | ||||
-rw-r--r-- | test/mppa/instr/Makefile (renamed from test/mppa/Makefile) | 2 | ||||
-rw-r--r-- | test/mppa/mmult/.gitignore | 6 | ||||
-rw-r--r-- | test/mppa/prng/.gitignore | 5 | ||||
-rw-r--r-- | test/mppa/sort/.gitignore | 18 | ||||
-rwxr-xr-x | test/mppa/test.sh | 6 |
7 files changed, 61 insertions, 15 deletions
diff --git a/test/mppa/check.sh b/test/mppa/check.sh new file mode 100755 index 00000000..8db50f1b --- /dev/null +++ b/test/mppa/check.sh @@ -0,0 +1,6 @@ +#!/bin/bash +# Tests the execution of the binaries produced by CompCert + +source do_test.sh + +do_test check diff --git a/test/mppa/do_test.sh b/test/mppa/do_test.sh new file mode 100644 index 00000000..ee7cbcf7 --- /dev/null +++ b/test/mppa/do_test.sh @@ -0,0 +1,33 @@ +do_test () { +cat << EOF + +## +# PRNG tests +## +EOF +(cd prng && make $1 -j8) + +cat << EOF + +## +# Matrix Multiplication tests +## +EOF +(cd mmult && make $1 -j8) + +cat << EOF + +## +# List sort tests +## +EOF +(cd sort && make $1 -j8) + +cat << EOF + +## +# Instruction unit tests +## +EOF +(cd instr && make $1 -j8) +} diff --git a/test/mppa/Makefile b/test/mppa/instr/Makefile index 148b16b3..4744ba23 100644 --- a/test/mppa/Makefile +++ b/test/mppa/instr/Makefile @@ -5,7 +5,7 @@ CFLAGS ?= -O2 SIMU ?= k1-cluster TIMEOUT ?= 10s -DIR=instr +DIR=./ SRCDIR=$(DIR) OUTDIR=$(DIR)/out BINDIR=$(DIR)/bin diff --git a/test/mppa/mmult/.gitignore b/test/mppa/mmult/.gitignore index 5883d367..4d68861b 100644 --- a/test/mppa/mmult/.gitignore +++ b/test/mppa/mmult/.gitignore @@ -1,3 +1,3 @@ -mmult-test-k1c -mmult-test-x86 -test-ccomp +mmult-test-ccomp-k1c +mmult-test-gcc-k1c +mmult-test-gcc-x86 diff --git a/test/mppa/prng/.gitignore b/test/mppa/prng/.gitignore index 1879eaee..0792a78b 100644 --- a/test/mppa/prng/.gitignore +++ b/test/mppa/prng/.gitignore @@ -1,2 +1,3 @@ -prng-test-k1c -prng-test-x86 +prng-test-ccomp-k1c +prng-test-gcc-x86 +prng-test-gcc-k1c diff --git a/test/mppa/sort/.gitignore b/test/mppa/sort/.gitignore index c8f4f4e5..a8d6921c 100644 --- a/test/mppa/sort/.gitignore +++ b/test/mppa/sort/.gitignore @@ -1,9 +1,9 @@ -insertion-test-k1c -insertion-test-x86 -merge-test-k1c -selection-test-k1c -test-k1c -merge-test-x86 -selection-test-x86 -test-x86 -test-ccomp +main-test-ccomp-k1c +main-test-gcc-k1c +main-test-gcc-x86 +merge-test-gcc-k1c +merge-test-gcc-x86 +selection-test-gcc-k1c +selection-test-gcc-x86 +insertion-test-gcc-k1c +insertion-test-gcc-x86 diff --git a/test/mppa/test.sh b/test/mppa/test.sh new file mode 100755 index 00000000..dfeb153a --- /dev/null +++ b/test/mppa/test.sh @@ -0,0 +1,6 @@ +#!/bin/bash +# Tests the validity of the tests + +source do_test.sh + +do_test test |