aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/binary_search
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/binary_search
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/binary_search')
-rw-r--r--test/monniaux/binary_search/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/test/monniaux/binary_search/Makefile b/test/monniaux/binary_search/Makefile
index 7739e4ca..ea34f1bc 100644
--- a/test/monniaux/binary_search/Makefile
+++ b/test/monniaux/binary_search/Makefile
@@ -2,6 +2,7 @@ include ../rules.mk
PRODUCTS=binary_search.gcc.host.out binary_search.ccomp.host.out \
binary_search.gcc.k1c.out binary_search.ccomp.k1c.out \
+ binary_search.gcc.o1.k1c.out \
binary_search.gcc.k1c.s binary_search.ccomp.k1c.s
all: $(PRODUCTS)
@@ -17,6 +18,9 @@ binary_search.gcc.host: binary_search.gcc.host.o ../clock.gcc.host.o
binary_search.gcc.k1c: binary_search.gcc.k1c.o ../clock.gcc.k1c.o
$(K1C_CC) $(K1C_CFLAGS) $+ -o $@
+binary_search.gcc.o1.k1c: binary_search.gcc.o1.k1c.o ../clock.gcc.k1c.o
+ $(K1C_CC) $(K1C_CFLAGS_O1) $+ -o $@
+
binary_search.ccomp.k1c: binary_search.ccomp.k1c.o ../clock.gcc.k1c.o
$(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@