diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-07 19:55:35 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-07 19:55:35 +0200 |
| commit | 8ff3b057eae4584dc893186707edf1f07e38f2c7 (patch) | |
| tree | a492fd919ec3851b5a07cdc6a54b788c0717e8e9 /test/monniaux/zlib-1.2.11/Makefile | |
| parent | ff07cea79ffb71356d7bf799eb415333599a0ae5 (diff) | |
| download | compcert-kvx-8ff3b057eae4584dc893186707edf1f07e38f2c7.tar.gz compcert-kvx-8ff3b057eae4584dc893186707edf1f07e38f2c7.zip | |
for zlib
Diffstat (limited to 'test/monniaux/zlib-1.2.11/Makefile')
| -rw-r--r-- | test/monniaux/zlib-1.2.11/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/monniaux/zlib-1.2.11/Makefile b/test/monniaux/zlib-1.2.11/Makefile index 933ac56a..202f2ea4 100644 --- a/test/monniaux/zlib-1.2.11/Makefile +++ b/test/monniaux/zlib-1.2.11/Makefile @@ -1,3 +1,4 @@ +ALL_CCOMPFLAGS = -faddx ALL_CFLAGS = -D_POSIX_C_SOURCE=2 -D_LARGEFILE64_SOURCE=1 -U__STRICT_ANSI__ include ../rules.mk @@ -27,6 +28,23 @@ measures.csv: $(PRODUCTS_OUT) echo "benches, gcc host,ccomp host,gcc k1c,gcc o1 k1c,ccomp k1c" > $@ echo "zlib ", $$(grep 'cycles' minigzip.gcc.host.out | cut -d':' -f2), $$(grep 'cycles' minigzip.ccomp.host.out | cut -d':' -f2), $$(grep 'cycles' minigzip.gcc.k1c.out | cut -d':' -f2), $$(grep 'cycles' minigzip.gcc.o1.k1c.out | cut -d':' -f2), $$(grep 'cycles' minigzip.ccomp.k1c.out | cut -d':' -f2)>> $@ +SAMPLE_FILE=zlib.h + +minigzip.gcc.host.out minigzip.gcc.host.output: minigzip.gcc.host + ./$< < $(SAMPLE_FILE) > $<.output 2> $@ + +minigzip.ccomp.host.out minigzip.ccomp.host.output: minigzip.ccomp.host + ./$< < $(SAMPLE_FILE) > $<.output 2> $@ + +minigzip.gcc.k1c.out minigzip.gcc.k1c.output: minigzip.gcc.k1c + $(EXECUTE_CYCLES) $< < $(SAMPLE_FILE) > $<.output 2> $@ + +minigzip.gcc.o1.k1c.out minigzip.gcc.o1.k1c.output: minigzip.gcc.o1.k1c + $(EXECUTE_CYCLES) $< < $(SAMPLE_FILE) > $<.output 2> $@ + +minigzip.ccomp.k1c.out minigzip.ccomp.k1c.output: minigzip.ccomp.k1c + $(EXECUTE_CYCLES) $< < $(SAMPLE_FILE) > $<.output 2> $@ + .SECONDARY: .PHONY: |