diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-07 09:49:51 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-07 09:49:51 +0200 |
| commit | 02c22aa772338b24fc5797f57e584e428230e563 (patch) | |
| tree | ba7220737823caa1f539db0706ec2ecdb8d0fe14 /test/monniaux/tiff-4.0.10 | |
| parent | 5af2a08cfae5b1ecc21f9be3ddc20648415c3847 (diff) | |
| download | compcert-kvx-02c22aa772338b24fc5797f57e584e428230e563.tar.gz compcert-kvx-02c22aa772338b24fc5797f57e584e428230e563.zip | |
add clocking
Diffstat (limited to 'test/monniaux/tiff-4.0.10')
| -rw-r--r-- | test/monniaux/tiff-4.0.10/ppm2tiff.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/monniaux/tiff-4.0.10/ppm2tiff.c b/test/monniaux/tiff-4.0.10/ppm2tiff.c index 6b4539ec..4fcee53e 100644 --- a/test/monniaux/tiff-4.0.10/ppm2tiff.c +++ b/test/monniaux/tiff-4.0.10/ppm2tiff.c @@ -24,6 +24,10 @@ // VERIMAG #define _POSIX_C_SOURCE 2 +#define VERIMAG 1 +#ifdef VERIMAG +#include "../clock.h" +#endif #include "tif_config.h" @@ -277,6 +281,10 @@ main(int argc, char* argv[]) TIFFSetField(out, TIFFTAG_YRESOLUTION, resolution); TIFFSetField(out, TIFFTAG_RESOLUTIONUNIT, RESUNIT_INCH); } +#ifdef VERIMAG + clock_prepare(); + clock_start(); +#endif for (row = 0; row < h; row++) { if (fread(buf, linebytes, 1, in) != 1) { fprintf(stderr, "%s: scanline %lu: Read error.\n", @@ -286,6 +294,10 @@ main(int argc, char* argv[]) if (TIFFWriteScanline(out, buf, row, 0) < 0) break; } +#ifdef VERIMAG + clock_stop(); + print_total_clock(); +#endif (void) TIFFClose(out); if (buf) _TIFFfree(buf); |