diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-14 11:49:34 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-14 11:49:34 +0100 |
| commit | a220a09ae6ce52400a563ea6ee65aa36b2ea9dfb (patch) | |
| tree | 680798b800e104d0e766a3ab7a0f39469b2671fa /test/mppa/check.sh | |
| parent | 0b86431038c1e874d7d7030ab41a8f56b0a9991f (diff) | |
| parent | 154230f3d9cad4f8de59e8fcaa9d0fe4ae151a98 (diff) | |
| download | compcert-kvx-a220a09ae6ce52400a563ea6ee65aa36b2ea9dfb.tar.gz compcert-kvx-a220a09ae6ce52400a563ea6ee65aa36b2ea9dfb.zip | |
Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c
Conflicts:
mppa_k1c/Asm.v
mppa_k1c/Asmexpand.ml
mppa_k1c/TargetPrinter.ml
test/mppa/Makefile
test/mppa/builtins/clzll.c
test/mppa/generate.sh
Diffstat (limited to 'test/mppa/check.sh')
| -rwxr-xr-x[-rw-r--r--] | test/mppa/check.sh | 34 |
1 files changed, 4 insertions, 30 deletions
diff --git a/test/mppa/check.sh b/test/mppa/check.sh index dd9691be..8db50f1b 100644..100755 --- a/test/mppa/check.sh +++ b/test/mppa/check.sh @@ -1,32 +1,6 @@ -# $1: binary file to check -# $2: output check token +#!/bin/bash +# Tests the execution of the binaries produced by CompCert -elffile="$1" -token="$2" +source do_test.sh -if [ ! -f $elffile ]; then - >&2 echo "ERROR: $elffile not found" - shift; continue -fi - -dir="$(dirname $elffile)" -elf="$(basename $elffile)" - -exp="$dir/../output/$elf.exp" -out="$dir/../output/$elf.out" -if [ ! -f $exp ]; then - >&2 echo "ERROR: $exp not found" - exit -fi - -k1-cluster -- $elffile > $out -echo $? >> $out - -if ! diff $exp $out; then - >&2 echo "ERROR: $exp and $out differ" - exit -fi - -echo "PASSED: $elf" -touch $token -#shift +do_test check |