aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/zlib-1.2.11/Makefile
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-06-07 18:51:02 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-06-07 18:51:02 +0200
commitff07cea79ffb71356d7bf799eb415333599a0ae5 (patch)
tree8dd5405720ca230a6e6a20167369f4b301a79299 /test/monniaux/zlib-1.2.11/Makefile
parente42a1e080e2b19d46435c3693b7e2dd9db7c4ee8 (diff)
downloadcompcert-kvx-ff07cea79ffb71356d7bf799eb415333599a0ae5.tar.gz
compcert-kvx-ff07cea79ffb71356d7bf799eb415333599a0ae5.zip
zlib-1.2.11
Diffstat (limited to 'test/monniaux/zlib-1.2.11/Makefile')
-rw-r--r--test/monniaux/zlib-1.2.11/Makefile35
1 files changed, 35 insertions, 0 deletions
diff --git a/test/monniaux/zlib-1.2.11/Makefile b/test/monniaux/zlib-1.2.11/Makefile
new file mode 100644
index 00000000..933ac56a
--- /dev/null
+++ b/test/monniaux/zlib-1.2.11/Makefile
@@ -0,0 +1,35 @@
+ALL_CFLAGS = -D_POSIX_C_SOURCE=2 -D_LARGEFILE64_SOURCE=1 -U__STRICT_ANSI__
+
+include ../rules.mk
+
+src=$(wildcard *.c)
+
+PRODUCTS?=minigzip.gcc.host minigzip.ccomp.host minigzip.gcc.k1c minigzip.gcc.o1.k1c minigzip.ccomp.k1c
+PRODUCTS_OUT=$(addsuffix .out,$(PRODUCTS))
+
+all: $(PRODUCTS)
+
+.PHONY:
+run: measures.csv
+
+
+minigzip.gcc.host: $(src:.c=.gcc.host.o) ../clock.gcc.host.o
+ $(CC) $(CFLAGS) $+ -lm -o $@
+minigzip.ccomp.host: $(src:.c=.ccomp.host.o) ../clock.gcc.host.o
+ $(CCOMP) $(CCOMPFLAGS) $+ -lm -o $@
+minigzip.gcc.k1c: $(src:.c=.gcc.k1c.o) ../clock.gcc.k1c.o
+ $(K1C_CC) $(K1C_CFLAGS) $+ -lm -o $@
+minigzip.gcc.o1.k1c: $(src:.c=.gcc.o1.k1c.o) ../clock.gcc.k1c.o
+ $(K1C_CC) $(K1C_CFLAGS_O1) $+ -lm -o $@
+minigzip.ccomp.k1c: $(src:.c=.ccomp.k1c.o) ../clock.gcc.k1c.o
+ $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -lm -o $@
+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)>> $@
+
+.SECONDARY:
+
+.PHONY:
+clean:
+ rm -f *.o *.s *.k1c *.csv
+