diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-28 05:22:35 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-28 05:22:35 +0100 |
commit | 629252b160fd4b909231bcad6edcf6f254aca0d6 (patch) | |
tree | 1654d79e800816bb9fd8f7ab98058e1d790678bd /test/monniaux/bitsliced-aes/one_file/reduce/compare.sh | |
parent | cea4f858490678f6cc1eeddec04f7ed5dc9f5c19 (diff) | |
parent | b753bcb6d10bb1bb68fa42eb5ca9eb7e7f848adf (diff) | |
download | compcert-kvx-629252b160fd4b909231bcad6edcf6f254aca0d6.tar.gz compcert-kvx-629252b160fd4b909231bcad6edcf6f254aca0d6.zip |
merge VLIW proofs
Merge branch 'mppa-mul' into mppa-ternary
Diffstat (limited to 'test/monniaux/bitsliced-aes/one_file/reduce/compare.sh')
-rwxr-xr-x | test/monniaux/bitsliced-aes/one_file/reduce/compare.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/monniaux/bitsliced-aes/one_file/reduce/compare.sh b/test/monniaux/bitsliced-aes/one_file/reduce/compare.sh index e98f4677..a21bb465 100755 --- a/test/monniaux/bitsliced-aes/one_file/reduce/compare.sh +++ b/test/monniaux/bitsliced-aes/one_file/reduce/compare.sh @@ -1,7 +1,7 @@ #!/bin/bash ROOT=/home/monniaux/work/Kalray/CompCert SRC=bitsliced-aes_compute.c -MAIN=bitsliced-aes_main +MAIN=/home/monniaux/work/Kalray/CompCert/test/monniaux/bitsliced-aes/one_file/reduce/bitsliced-aes_main k1-mbr-gcc -Werror=implicit -Werror=uninitialized -O3 $SRC $ROOT/test/monniaux/clock.gcc.k1c.o $MAIN.gcc.k1c.o -o bitsliced-aes.gcc.k1c && $ROOT/ccomp -O3 -fno-unprototyped -O3 $SRC $ROOT/test/monniaux/clock.gcc.k1c.o $MAIN.gcc.k1c.o -o bitsliced-aes.ccomp.k1c && gcc -Werror=implicit -Werror=uninitialized -O3 $SRC $ROOT/test/monniaux/clock.gcc.host.o $MAIN.c -o bitsliced-aes.gcc.host && @@ -12,5 +12,5 @@ grep cycles ./bitsliced-aes.gcc.k1c.out > ./bitsliced-aes.gcc.k1c.cycles && grep cycles ./bitsliced-aes.ccomp.k1c.out > ./bitsliced-aes.ccomp.k1c.cycles && sed -i -e 's/cycles: //' ./bitsliced-aes.gcc.k1c.cycles && sed -i -e 's/cycles: //' ./bitsliced-aes.ccomp.k1c.cycles && -test $(cat ./bitsliced-aes.ccomp.k1c.cycles) -gt 300 && +test $(cat ./bitsliced-aes.gcc.k1c.cycles) -gt 100000 && test $(cat ./bitsliced-aes.ccomp.k1c.cycles) -gt $(expr 2 '*' $(cat ./bitsliced-aes.gcc.k1c.cycles)) |