diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-13 14:04:18 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-13 14:04:18 +0100 |
commit | 2559349ef1b5a3aa967122026b0b30a0a2ebfca9 (patch) | |
tree | cc53007ff5c618e7ab4fd5668cc8cca4b85ad19e /test/monniaux/BearSSL | |
parent | eb56a0fcc6f9f91064b6b0707e92c3b734457ccd (diff) | |
download | compcert-kvx-2559349ef1b5a3aa967122026b0b30a0a2ebfca9.tar.gz compcert-kvx-2559349ef1b5a3aa967122026b0b30a0a2ebfca9.zip |
with timing
Diffstat (limited to 'test/monniaux/BearSSL')
-rw-r--r-- | test/monniaux/BearSSL/conf/KalrayCompCert.mk | 2 | ||||
-rw-r--r-- | test/monniaux/BearSSL/test/test_crypto.c | 7 |
2 files changed, 7 insertions, 2 deletions
diff --git a/test/monniaux/BearSSL/conf/KalrayCompCert.mk b/test/monniaux/BearSSL/conf/KalrayCompCert.mk index e2bef9d8..ad5bd2da 100644 --- a/test/monniaux/BearSSL/conf/KalrayCompCert.mk +++ b/test/monniaux/BearSSL/conf/KalrayCompCert.mk @@ -54,7 +54,7 @@ LDDLLOUT = -o # Static linker. LD = $(CC) -LDFLAGS = +LDFLAGS = ../clock.gcc.k1c.o LDOUT = -o # C# compiler; we assume usage of Mono. diff --git a/test/monniaux/BearSSL/test/test_crypto.c b/test/monniaux/BearSSL/test/test_crypto.c index c6c534d6..a4f33ac0 100644 --- a/test/monniaux/BearSSL/test/test_crypto.c +++ b/test/monniaux/BearSSL/test/test_crypto.c @@ -27,6 +27,7 @@ #include <string.h> #include "bearssl.h" #include "inner.h" +#include "../../clock.h" /* * Decode an hexadecimal string. Returned value is the number of decoded @@ -9458,7 +9459,9 @@ main(int argc, char *argv[]) printf(" %s\n", tfns[u].name); } } else { - for (u = 0; tfns[u].name; u ++) { + clock_prepare(); + clock_start(); + for (u = 0; tfns[u].name; u ++) { int i; for (i = 1; i < argc; i ++) { @@ -9470,6 +9473,8 @@ main(int argc, char *argv[]) } } } + clock_stop(); + print_total_clock(); } return 0; } |