aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-aes
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-23 06:35:16 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-23 06:35:16 +0100
commit8ab3aa33f54fa5b5bc05823c1eb5f91571ab2b0f (patch)
tree1d376ae1c5c853230dc31d110cb547cbaac6f763 /test/monniaux/bitsliced-aes
parent97f88fff542a88e74ceac85ca886de06443769f4 (diff)
downloadcompcert-kvx-8ab3aa33f54fa5b5bc05823c1eb5f91571ab2b0f.tar.gz
compcert-kvx-8ab3aa33f54fa5b5bc05823c1eb5f91571ab2b0f.zip
system for comparing speeds
Diffstat (limited to 'test/monniaux/bitsliced-aes')
-rwxr-xr-xtest/monniaux/bitsliced-aes/one_file/compare.sh12
1 files changed, 12 insertions, 0 deletions
diff --git a/test/monniaux/bitsliced-aes/one_file/compare.sh b/test/monniaux/bitsliced-aes/one_file/compare.sh
new file mode 100755
index 00000000..276a95ee
--- /dev/null
+++ b/test/monniaux/bitsliced-aes/one_file/compare.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+ROOT=/home/monniaux/work/Kalray/CompCert
+SRC=bitsliced-aes.c
+k1-mbr-gcc -Werror=implicit -Werror=uninitialized -O3 $SRC $ROOT/test/monniaux/clock.gcc.k1c.o -o bitsliced-aes.gcc.k1c &&
+$ROOT/ccomp -O3 -fno-unprototyped -O3 $SRC $ROOT/test/monniaux/clock.gcc.k1c.o -o bitsliced-aes.ccomp.k1c &&
+gcc -Werror=implicit -Werror=uninitialized -O3 $SRC $ROOT/test/monniaux/clock.gcc.host.o -o bitsliced-aes.gcc.host &&
+valgrind ./bitsliced-aes.gcc.host &&
+k1-cluster -- ./bitsliced-aes.gcc.k1c > ./bitsliced-aes.gcc.k1c.out &&
+k1-cluster -- ./bitsliced-aes.ccomp.k1c > ./bitsliced-aes.ccomp.k1c.out &&
+grep cycles ./bitsliced-aes.gcc.k1c.out | sed -e 's/cycles: //' > ./bitsliced-aes.gcc.k1c.cycles &&
+grep cycles ./bitsliced-aes.ccomp.k1c.out | sed -e 's/cycles: //' > ./bitsliced-aes.ccomp.k1c.cycles &&
+test $(cat ./bitsliced-aes.ccomp.k1c.cycles) -gt $(expr 2 '*' $(cat ./bitsliced-aes.gcc.k1c.cycles))