Add scripts for getting coverage numbers

srg-imperial · Aug 5, 2010 · 079deee · 079deee
1 parent 5619111
commit 079deee
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 0 deletions.
diff --git a/coverage-perfile-dynamic b/coverage-perfile-dynamic
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+cat "$@" | grep '^SSE instr:' | grep -vw cvRound | sort | uniq | wc -l
diff --git a/coverage-perfile-static b/coverage-perfile-static
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+. $(dirname "$0")/Makefile.config
+
+$KLEE_BUILD_PATH/bin/simd-count -o - $1 | wc -l
diff --git a/coverage-perfunc-dynamic b/coverage-perfunc-dynamic
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+cat "$@" | grep '^SSE instr:' | sort | uniq | cut -d' ' -f9 | sort | uniq -c
diff --git a/coverage-perfunc-static b/coverage-perfunc-static
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+. $(dirname "$0")/Makefile.config
+
+$KLEE_BUILD_PATH/bin/simd-count -o - $1 | cut -d, -f1 | sort | uniq -c
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		#!/bin/sh

		cat "$@" \| grep '^SSE instr:' \| grep -vw cvRound \| sort \| uniq \| wc -l
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		#!/bin/sh

		cat "$@" \| grep '^SSE instr:' \| sort \| uniq \| cut -d' ' -f9 \| sort \| uniq -c