aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/micro-bunzip
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-26 11:06:26 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-26 11:06:26 +0100
commit86629431ce8f49d192bd5b55c7ff346e1a1d98cb (patch)
tree0bb65058aed6acfe264ee37c45a7afdd19efa6cd /test/monniaux/micro-bunzip
parent2dfb832981583f16abd6ba17bc8a714a2803c67f (diff)
downloadcompcert-kvx-86629431ce8f49d192bd5b55c7ff346e1a1d98cb.tar.gz
compcert-kvx-86629431ce8f49d192bd5b55c7ff346e1a1d98cb.zip
micro bunzip
Diffstat (limited to 'test/monniaux/micro-bunzip')
-rw-r--r--test/monniaux/micro-bunzip/Makefile41
-rw-r--r--test/monniaux/micro-bunzip/micro-bunzip.c13
2 files changed, 37 insertions, 17 deletions
diff --git a/test/monniaux/micro-bunzip/Makefile b/test/monniaux/micro-bunzip/Makefile
index 2b89c6c1..8916d61f 100644
--- a/test/monniaux/micro-bunzip/Makefile
+++ b/test/monniaux/micro-bunzip/Makefile
@@ -1,24 +1,35 @@
-all: testfile.txt testfile.txt.2
- cmp testfile.txt testfile.txt.2
+all: testfile.txt testfile.txt.2ccomp testfile.txt.2gcc
+ cmp testfile.txt testfile.txt.2ccomp
+ cmp testfile.txt testfile.txt.2gcc
-micro-bunzip.k1c: micro-bunzip.c
- ../../../ccomp -O3 $< -U __SIZEOF_INT128__ -D __SIZE_TYPE__='long long' -o $@
+../clock.gcc.k1c.o : ../clock.c ../cycles.h
+ k1-mbr-gcc -c -Wall -O3 $< -o $@
+
+micro-bunzip.ccomp.k1c: micro-bunzip.c ../clock.gcc.k1c.o
+ ../../../ccomp -Wall -O3 $+ -U __SIZEOF_INT128__ -D __SIZE_TYPE__='unsigned long long' -o $@
+
+# TODO: -O3 buggy??
+micro-bunzip.gcc.k1c: micro-bunzip.c ../clock.gcc.k1c.o
+ k1-mbr-gcc -Wall -O2 $+ -o $@
testfile.txt: micro-bunzip.c
cat micro-bunzip.c > $@
sha1sum micro-bunzip.c >> $@
cat micro-bunzip.c >> $@
md5sum micro-bunzip.c >> $@
- cat micro-bunzip.c >> $@
- sha224sum micro-bunzip.c >> $@
- cat micro-bunzip.c >> $@
- sha256sum micro-bunzip.c >> $@
- cat micro-bunzip.c >> $@
- sha384sum micro-bunzip.c >> $@
- cat micro-bunzip.c >> $@
- sha512sum micro-bunzip.c >> $@
- cat micro-bunzip.c >> $@
+# cat micro-bunzip.c >> $@
+# sha224sum micro-bunzip.c >> $@
+# cat micro-bunzip.c >> $@
+# sha256sum micro-bunzip.c >> $@
+# cat micro-bunzip.c >> $@
+# sha384sum micro-bunzip.c >> $@
+# cat micro-bunzip.c >> $@
+# sha512sum micro-bunzip.c >> $@
+#x cat micro-bunzip.c >> $@
+
+testfile.txt.2ccomp: testfile.txt micro-bunzip.ccomp.k1c
+ bzip2 <testfile.txt | k1-cluster --cycle-based --syscall=libstd_scalls.so -- micro-bunzip.ccomp.k1c > $@
-testfile.txt.2: testfile.txt micro-bunzip.k1c
- bzip2 <testfile.txt | k1-cluster --syscall=libstd_scalls.so -- micro-bunzip.k1c > $@
+testfile.txt.2gcc: testfile.txt micro-bunzip.gcc.k1c
+ bzip2 <testfile.txt | k1-cluster --cycle-based --syscall=libstd_scalls.so -- micro-bunzip.gcc.k1c > $@
diff --git a/test/monniaux/micro-bunzip/micro-bunzip.c b/test/monniaux/micro-bunzip/micro-bunzip.c
index ef307cef..32a4a7a8 100644
--- a/test/monniaux/micro-bunzip/micro-bunzip.c
+++ b/test/monniaux/micro-bunzip/micro-bunzip.c
@@ -12,6 +12,8 @@
(LGPL) version 2, available at http://www.gnu.org/copyleft/lgpl.html
*/
+#include "../clock.h"
+
#include <setjmp.h>
#include <stdio.h>
#include <stdlib.h>
@@ -84,8 +86,10 @@ static unsigned int get_bits(bunzip_data *bd, char bits_wanted)
while (bd->inbufBitCount<bits_wanted) {
/* If we need to read more data from file into byte buffer, do so */
if(bd->inbufPos==bd->inbufCount) {
+ clock_stop();
if(!(bd->inbufCount = read(bd->in_fd, bd->inbuf, IOBUF_SIZE)))
longjmp(bd->jmpbuf,RETVAL_UNEXPECTED_INPUT_EOF);
+ clock_start();
bd->inbufPos=0;
}
/* Avoid 32-bit overflow (dump bit buffer to top of output) */
@@ -359,8 +363,10 @@ extern int read_bunzip_data(bunzip_data *bd)
extern void flush_bunzip_outbuf(bunzip_data *bd, int out_fd)
{
if(bd->outbufPos) {
+ clock_stop();
if(write(out_fd, bd->outbuf, bd->outbufPos) != bd->outbufPos)
longjmp(bd->jmpbuf,RETVAL_UNEXPECTED_OUTPUT_EOF);
+ clock_start();
bd->outbufPos=0;
}
}
@@ -498,11 +504,13 @@ extern char *uncompressStream(int src_fd, int dst_fd)
bunzip_data *bd;
int i;
+ clock_start();
if(!(i=start_bunzip(&bd,src_fd,0,0))) {
i=write_bunzip_data(bd,dst_fd,0,0);
if(i==RETVAL_LAST_BLOCK && bd->headerCRC==bd->totalCRC) i=RETVAL_OK;
}
flush_bunzip_outbuf(bd,dst_fd);
+ clock_stop();
if(bd->dbuf) free(bd->dbuf);
free(bd);
return bunzip_errors[-i];
@@ -511,6 +519,7 @@ extern char *uncompressStream(int src_fd, int dst_fd)
/* Dumb little test thing, decompress stdin to stdout */
int main(int argc, char *argv[])
{
- char *c=uncompressStream(0,1);
- fprintf(stderr,"\n%s\n", c ? c : "Completed OK");
+ char *c=uncompressStream(0,1);
+ fprintf(stderr, "%s\ncycles=%llu\n", c ? c : "Completed OK", get_total_clock());
+ return 0;
}