aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-tea
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-04-26 16:35:30 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-04-26 16:35:30 +0200
commit24e97bd87918f2c487416744ba12a78aba35a9e5 (patch)
tree839da3cc5ca3ca9976a9e4002e27754501e7fe11 /test/monniaux/bitsliced-tea
parent6d1223d053f1ff10792d5ed5d00d3830ff61e9d7 (diff)
downloadcompcert-kvx-24e97bd87918f2c487416744ba12a78aba35a9e5.tar.gz
compcert-kvx-24e97bd87918f2c487416744ba12a78aba35a9e5.zip
Changes to include a -O1 -fschedule-insns2 gcc run as well
Diffstat (limited to 'test/monniaux/bitsliced-tea')
-rw-r--r--test/monniaux/bitsliced-tea/Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/test/monniaux/bitsliced-tea/Makefile b/test/monniaux/bitsliced-tea/Makefile
index 4751a280..3d5fd540 100644
--- a/test/monniaux/bitsliced-tea/Makefile
+++ b/test/monniaux/bitsliced-tea/Makefile
@@ -1,6 +1,6 @@
include ../rules.mk
-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
+PRODUCTS=bstea.gcc.host.out bstea.ccomp.host.out bstea.gcc.o1.k1c.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)
@@ -15,6 +15,9 @@ bstea.gcc.k1c.s bstea.ccomp.k1c.s bstea_run.gcc.k1c.s: bstea.h
bstea.gcc.k1c: bstea.gcc.k1c.o bstea_run.gcc.k1c.o ../clock.gcc.k1c.o
$(K1C_CC) $(K1C_CFLAGS) $+ -o $@
+bstea.gcc.o1.k1c: bstea.gcc.o1.k1c.o bstea_run.gcc.o1.k1c.o ../clock.gcc.k1c.o
+ $(K1C_CC) $(K1C_CFLAGS_O1) $+ -o $@
+
bstea.ccomp.k1c: bstea.ccomp.k1c.o bstea_run.gcc.k1c.o ../clock.gcc.k1c.o
$(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@