diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-05 11:54:13 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-05 11:54:13 +0200 |
commit | a724c959659d94425b8dd4a0dc2e343ecdba3edc (patch) | |
tree | c995640e023f88edfc2c1239c53c558c6cf9412c /test/mppa | |
parent | ebf476c1c9bebaf9b108302ed4c1a5a8da0243a3 (diff) | |
download | compcert-kvx-a724c959659d94425b8dd4a0dc2e343ecdba3edc.tar.gz compcert-kvx-a724c959659d94425b8dd4a0dc2e343ecdba3edc.zip |
MPPA - forgot check.sh in last commit
Diffstat (limited to 'test/mppa')
-rw-r--r-- | test/mppa/check.sh | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/test/mppa/check.sh b/test/mppa/check.sh new file mode 100644 index 00000000..813796d9 --- /dev/null +++ b/test/mppa/check.sh @@ -0,0 +1,29 @@ + +while [ $# -gt 0 ]; do + elffile="$1" + + 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" + shift; continue + fi + + k1-cluster -- $elffile > $out + echo $? >> $out + + if ! diff $exp $out; then + >&2 echo "ERROR: $exp and $out differ" + shift; continue + fi + + echo "PASSED: $elf" + shift +done |