diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-08-29 17:22:11 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-08-29 17:22:11 +0200 |
commit | fcc8418db10cc0f6abe63e78e1fdca948d872c2d (patch) | |
tree | 4b7e215573dfa5b3562f55aa3c6e0b499131b98c /test/mppa/coverage.sh | |
parent | d9f2d0e8a6420f4f1da8c693960a55c38747d6eb (diff) | |
download | compcert-kvx-fcc8418db10cc0f6abe63e78e1fdca948d872c2d.tar.gz compcert-kvx-fcc8418db10cc0f6abe63e78e1fdca948d872c2d.zip |
Updated test/mppa/coverage.sh to check which instruction isn't tested yet
Diffstat (limited to 'test/mppa/coverage.sh')
-rwxr-xr-x[-rw-r--r--] | test/mppa/coverage.sh | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/test/mppa/coverage.sh b/test/mppa/coverage.sh index 0a057ff9..2b3dafc0 100644..100755 --- a/test/mppa/coverage.sh +++ b/test/mppa/coverage.sh @@ -1,17 +1,25 @@ -asmdir=$1 +#!/bin/bash + +asmdir=instr/asm/ to_cover_raw=/tmp/to_cover_raw to_cover=/tmp/to_cover covered_raw=/tmp/covered_raw covered=/tmp/covered -sed -n "s/^.*fprintf oc \" \(.*\) .*/\1/p" ../../mppa_k1c/TargetPrinter.ml > $to_cover_raw -sed -n "s/^.*fprintf oc \" \(.*\)\\n.*/\1/p" ../../mppa_k1c/TargetPrinter.ml >> $to_cover_raw -python2.7 coverage_helper.py $to_cover_raw > $to_cover +# Stop at any error +set -e +# Pipes do not mask errors +set -o pipefail + +sed -n "s/^.*fprintf oc \" \([^.].*\) .*/\1/p" ../../mppa_k1c/TargetPrinter.ml | sort -u > $to_cover_raw +sed -n "s/^.*fprintf oc \" \([^.].*\)\\n.*/\1/p" ../../mppa_k1c/TargetPrinter.ml | sort -u >> $to_cover_raw +python2.7 coverage_helper.py $to_cover_raw | sort -u > $to_cover rm -f $covered_raw -for asm in $(ls $asmdir/*.s); do - bash asm_coverage/asm-coverage.sh $asm >> $covered_raw +for asm in $(ls $asmdir/*.ccomp.s); do + grep -v ":" $asm | sed -n "s/^\s*\([a-z][a-z0-9.]*\).*/\1/p" | sort -u >> $covered_raw done -python2.7 coverage_helper.py $covered_raw > $covered +python2.7 coverage_helper.py $covered_raw | sort -u > $covered vimdiff $to_cover $covered + |