aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-tea
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-05 14:35:47 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-05 14:35:47 +0100
commita95feb6be199554760b54186377936d1c1cfb18f (patch)
treebd71ab36baae9b672e13398ed1822359d4faf11c /test/monniaux/bitsliced-tea
parentf86d2dbedc7841ad25f5dda825877f087dca4986 (diff)
downloadcompcert-kvx-a95feb6be199554760b54186377936d1c1cfb18f.tar.gz
compcert-kvx-a95feb6be199554760b54186377936d1c1cfb18f.zip
comparisons all around
Diffstat (limited to 'test/monniaux/bitsliced-tea')
-rw-r--r--test/monniaux/bitsliced-tea/Makefile22
1 files changed, 18 insertions, 4 deletions
diff --git a/test/monniaux/bitsliced-tea/Makefile b/test/monniaux/bitsliced-tea/Makefile
index 622c8c6a..6f886c64 100644
--- a/test/monniaux/bitsliced-tea/Makefile
+++ b/test/monniaux/bitsliced-tea/Makefile
@@ -1,10 +1,12 @@
CFLAGS=-Wall -O3
+CCOMP=ccomp
+CCOMPFLAGS=-Wall -O3
K1C_CC=k1-mbr-gcc
K1C_CFLAGS=-Wall -O3 -std=c99
K1C_CCOMP=../../../ccomp
K1C_CCOMPFLAGS=-Wall -O3
-PRODUCTS=bstea.host bstea.gcc.k1c.out bstea.ccomp.k1c.out bstea.ccomp.k1c.s bstea.gcc.k1c.s bstea.gcc.k1c bstea.ccomp.k1c
+PRODUCTS=bstea.gcc.host.out bstea.ccomp.host.out bstea.gcc.k1c.out bstea.ccomp.k1c.out bstea.ccomp.k1c.s bstea.gcc.k1c.s bstea.gcc.k1c bstea.ccomp.k1c bstea.gcc.host bstea.ccomp.host
all: $(PRODUCTS)
@@ -20,8 +22,17 @@ all: $(PRODUCTS)
%.ccomp.k1c.o: %.ccomp.k1c.s
$(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@
-bstea.host: bstea.c bstea_run.c bstea.h ../clock.c
- $(CC) $(CFLAGS) bstea.c bstea_run.c ../clock.c -o $@
+%.gcc.gcc.o: %.c
+ $(CC) $(CFLAGS) -c $< -o $@
+
+%.ccomp.k1c.o: %.c
+ $(CCOMP) $(CCOMPFLAGS) -c $< -o $@
+
+bstea.gcc.host: bstea.c bstea_run.c bstea.h ../clock.o
+ $(CC) $(CFLAGS) bstea.c bstea_run.c ../clock.o -o $@
+
+bstea.ccomp.host: bstea.c bstea_run.c bstea.h ../clock.o
+ $(CCOMP) $(CCOMPFLAGS) bstea.c bstea_run.c ../clock.o -o $@
bstea.gcc.k1c.s bstea.ccomp.k1c.s bstea_run.gcc.k1c.s: bstea.h
@@ -34,7 +45,10 @@ bstea.ccomp.k1c: bstea.ccomp.k1c.o bstea_run.gcc.k1c.o ../clock.gcc.k1c.o
%.k1c.out: %.k1c
k1-cluster --cycle-based -- $< | tee $@
+%.host.out: %.host
+ ./$< | tee $@
+
clean:
- $(RM) -f $(PRODUCTS) bstea.gcc.k1c.o bstea.ccomp.k1c.o bstea_run.gcc.k1c.o bstea_run.gcc.k1c.s
+ $(RM) -f *.k1c *.host *.out *.o *.s
.PHONY: clean