aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/coverage.sh
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-08-29 17:22:11 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-08-29 17:22:11 +0200
commitfcc8418db10cc0f6abe63e78e1fdca948d872c2d (patch)
tree4b7e215573dfa5b3562f55aa3c6e0b499131b98c /test/mppa/coverage.sh
parentd9f2d0e8a6420f4f1da8c693960a55c38747d6eb (diff)
downloadcompcert-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.sh22
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
+