diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 20:41:20 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 20:41:20 +0200 |
| commit | 8c090e72d2737673926a9f32bec348e43f72e731 (patch) | |
| tree | d52ed9cf981928a0275795e51d85402bb6d1081f /test/monniaux/pcre2-10.32/pcre2test.c | |
| parent | 25d1f635c42f59f9f076ef137fe6bf277a396d6f (diff) | |
| download | compcert-kvx-8c090e72d2737673926a9f32bec348e43f72e731.tar.gz compcert-kvx-8c090e72d2737673926a9f32bec348e43f72e731.zip | |
Makefile for timing.
We are 12% slower than gcc.
Diffstat (limited to 'test/monniaux/pcre2-10.32/pcre2test.c')
| -rw-r--r-- | test/monniaux/pcre2-10.32/pcre2test.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/monniaux/pcre2-10.32/pcre2test.c b/test/monniaux/pcre2-10.32/pcre2test.c index 10d47469..25a7c4a1 100644 --- a/test/monniaux/pcre2-10.32/pcre2test.c +++ b/test/monniaux/pcre2-10.32/pcre2test.c @@ -66,6 +66,8 @@ it references only the enabled library functions. */ #include <locale.h> #include <errno.h> +/* DM */ +#include "../clock.h" int fileno(FILE *stream); #if defined NATIVE_ZOS @@ -8109,6 +8111,10 @@ char *arg_subject = NULL; char *arg_pattern = NULL; char *arg_error = NULL; +/* DM */ + clock_prepare(); + clock_start(); + /* The offsets to the options and control bits fields of the pattern and data control blocks must be the same so that common options and controls such as "anchored" or "memory" can work for either of them from a single table entry. @@ -8785,6 +8791,9 @@ FREECONTEXTS; yield = SS$_NORMAL; /* Return values via DCL symbols */ #endif + clock_stop(); + print_total_clock(); + return yield; } |